*This is print out of string.* *(?x http://www.w3.org/1999/02/22-rdf-syntax-ns#type <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> http://www.semanticweb.org/t/ontologies#MasterStudent <http://www.semanticweb.org/t/ontologies#MasterStudent>) ( http://www.semanticweb.org/t/ontologies#MasterStudent <http://www.semanticweb.org/t/ontologies#MasterStudent>) http://www.w3.org/2000/01/rdf-schema#subClassOf <http://www.w3.org/2000/01/rdf-schema#subClassOf> http://www.semanticweb.org/t/ontologies#Student <http://www.semanticweb.org/t/ontologies#Student> ) -> (?x http://www.w3.org/1999/02/22-rdf-syntax-ns#type <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> http://www.semanticweb.org/t/ontologies#Student <http://www.semanticweb.org/t/ontologies#Student> )] *
On Thu, Mar 9, 2017 at 1:54 PM, Lorenz B. < buehm...@informatik.uni-leipzig.de> wrote: > No no no. Print the String of the rule to the command line and show this > one to us. > The current one isn't readable and can't be parsed for sure. And how > should #MasterStudent be resolved? > > And don't us such an old version of Jena! Version 3.2.0 is already > available. > > > The rule error is > > > > Exception in thread "AWT-EventQueue-0" > > com.hp.hpl.jena.reasoner.rulesys.Rule$ParserException: Triple with 1 > nodes! > > > > > > The rule is > > > > > > [rule1:(?x http://www.w3.org/1999/02/22-rdf-syntax-ns#type > > #MasterStudent) " > > > > + "(#MasterStudent http://www.w3.org/2000/01/rdf- > schema#subClassOf > > #Student )" > > > > > > + " -> (?x http://www.w3.org/1999/02/22-rdf-syntax-ns#type > > #Student )]"; > > > > On Thu, Mar 9, 2017 at 11:46 AM, Lorenz B. < > > buehm...@informatik.uni-leipzig.de> wrote: > > > >> That doesn't solve your original problem, please provide the error! > >> > >> RDFS reasoning is enough to cover that kind if inference, please read > >> the documentation (as usual) [1] > >> > >> [1] https://jena.apache.org/documentation/inference/ > >>> Thanks a lot Dave, Lorenz, so it means I dont have to write these rules > >> and > >>> it will be inferred automatically? How it will be executed,? I have > >> default > >>> model with no parameters and then the inferred model. > >>> Should I pass the "OntModelSpec.OWL_MEM_MICRO_RULE_INF " to the > default > >>> model? > >>> > >>> On Thu, Mar 9, 2017 at 10:14 AM, Lorenz B. < > >>> buehm...@informatik.uni-leipzig.de> wrote: > >>> > >>>> 1. That rule is unreadable again - at least for me. See how it is > shown > >>>> to the mailing list: http://jena.markmail.org/thread/akjkia6mysqhsq2i > >>>> 2. Don't show the Java concatenated string but the rule as it's > printed > >>>> to the command line/console. Especially hereby one can see trivial > >>>> syntax errors > >>>> 3. As Dave said, it's totally unclear why you're always omitting > obvious > >>>> details - what kind of exception? > >>>> 4. The rule doesn't make sense, since the second term of the premise > >>>> doesn't contain any variable. It's not clear what you want to achieve > >> here. > >>>> (?x rdf:type :MasterStudent ) (:MasterStudent rdfs:subClassOf > :Student ) > >>>> -> (?x rdf:type :Student ) > >>>> > >>>> That rule would be covered by the rdf:type/rdfs:subClassOf rule in > RDFS: > >>>> > >>>> (?x rdf:type ?C) (?C rdfs:subClassOf ?D) -> (?x rdf:type ?D) > >>>> > >>>> But in your rule the second term doesn't contribute to the reasoning > >>>> process. The result would be the same with > >>>> > >>>> (?x rdf:type :MasterStudent ) -> (?x rdf:type :Student ) > >>>> > >>>> > >>>> > >>>> > >>>> > >>>>> On 08/03/17 13:29, kumar rohit wrote: > >>>>>> Is there any problem in this rule. I am getting error here. > >>>>> What error? > >>>>> > >>>>> It is much easier for us to help if you say explicitly what went > wrong! > >>>>> > >>>>>> I used jena > >>>>>> generic rule reasoner so is it sufficient also for executing rdfs > sub > >>>>>> class > >>>>>> rules? > >>>>>> > >>>>>> *[rule1:(?x http://www.w3.org/1999/02/22-rdf-syntax-ns#type > >>>>>> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> > >>>>>> http://www.semanticweb.org/t/ontologies#MasterStudent > >>>>>> <http://www.semanticweb.org/t/ontologies#MasterStudent>) "* > >>>>>> * + "( http://www.semanticweb.org/t/ontologies#MasterStudent > >>>>>> <http://www.semanticweb.org/t/ontologies#MasterStudent>) > >>>>>> http://www.w3.org/2000/01/rdf-schema#subClassOf > >>>>>> <http://www.w3.org/2000/01/rdf-schema#subClassOf> > >>>>>> http://www.semanticweb.org/t/ontologies#Student > >>>>>> <http://www.semanticweb.org/t/ontologies#Student> )"* > >>>>>> > >>>>>> > >>>>>> * + " -> (?x http://www.w3.org/1999/02/22- > >>>> rdf-syntax-ns#type > >>>>>> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> > >>>>>> http://www.semanticweb.org/t/ontologies#Student > >>>>>> <http://www.semanticweb.org/t/ontologies#Student> )]"* > >>>>> Almost impossible to read but at a glance it looks OK. > >>>>> > >>>>> 1. Please post messages as plain text. Your emailer has done horrid > >>>>> things to the URIs. > >>>>> > >>>>> 2. The rule would be much easier to read if you use prefixes instead > >>>>> of writing out the URIs longhand. > >>>>> > >>>>> 3. It's also possible to use the standard generic RDFS rules. You > >>>>> don't have to write out your own special case rules for each > >>>>> subClassOf relationship. > >>>>> > >>>>> Dave > >>>>> > >>>>> > >>>> -- > >>>> Lorenz Bühmann > >>>> AKSW group, University of Leipzig > >>>> Group: http://aksw.org - semantic web research center > >>>> > >>>> > >>>> > >> -- > >> Lorenz Bühmann > >> AKSW group, University of Leipzig > >> Group: http://aksw.org - semantic web research center > >> > >> > -- > Lorenz Bühmann > AKSW group, University of Leipzig > Group: http://aksw.org - semantic web research center > >
