Hi Lorenz, You say:
"if some individual :x belongs to class :LexicalEntryNoun, then a triple :x wn:part_of_speech wn:noun . can be inferred." , but isn't it also the other way around? "if some individual :x has the property wn:part_of_speech wn:noun, then a triple :x rdfs:type LexicalEntryNoun can be inferred." Regards, Barry -----Original Message----- From: Lorenz Buehmann [mailto:[email protected]] Sent: dinsdag 12 december 2017 16:15 To: [email protected] Subject: Re: OWL reasoner not making deduction for class with value restriction Good evening! I commented already on StackOverflow, but to make it consistent with the mailing list here, please read the comments inline: On 12.12.2017 15:55, Andrew U. Frank wrote: > I have asked on stackoverflow, perhaps somebody here knows the answer > > > > I try to add a bit of ontology to a (public) RDF dataset (wordnet), > specifically I need to differentiate between |LexicalEntries| for > Verbs and Nouns, separated as two subclasses. Following examples on > the web and in the OWL standard, I assumed that > > |:LexicalEntryNoun a owl:Class ; rdfs:subClassOf [ a owl:Restriction ; > owl:onProperty wn:part_of_speech ; owl:hasValue wn:noun ] . | > > should build a class |LexicalEntryNoun|, but the query (in jena > fuseki) What means "build a class"? This axiom states that if some individual :x belongs to class :LexicalEntryNoun, then a triple :x wn:part_of_speech wn:noun . can be inferred. > > |prefix : <http://gerastree.at/2017/litonto#> SELECT * WHERE { ?s a > :LexicalEntryNoun. } | > > gives an empty result. The two URI which should be returned are > included in the class represented by a blank node, which stands for > the restriction, but are not reported as |LexicalEntryNoun| as > reported in other queries. Your query is just looking for subjects of RDF triples that belong to class :LexicalEntryNoun, i.e. that match the pattern ?s rdf:type :LexicalEntryNoun . Neither your data nor the axiom above is "generating" such an individual, at least not by OWL inference. Does this answer your question? Lorenz > > i am new to OWL and do not find many examples of OWL in turtle syntax. > Where is my error? Thank you for help! > > I constructed a very small subset of data which is loaded together > with the OWL reasoner |http://jena.hpl.hp.com/2003/OWLFBRuleReasoner|: > > |@prefix wn31: <http://wordnet-rdf.princeton.edu/wn31> . @prefix > lemon: <http://lemon-model.net/lemon#> . @prefix nlp: > <http://gerastree.at/nlp_2015#> . @prefix rdf: > <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix lit: > <http://gerastree.at/lit_2014#> . @prefix wn: > <http://wordnet-rdf.princeton.edu/ontology#> . @prefix rdfs: > <http://www.w3.org/2000/01/rdf-schema#> . @prefix ns: > <http://www.example.org/ns#> . @prefix owl: > <http://www.w3.org/2002/07/owl#> . @prefix xsd: > <http://www.w3.org/2001/XMLSchema#> . @prefix : > <http://gerastree.at/2017/litonto#> . > <http://wordnet-rdf.princeton.edu/wn31/%27s+Gravenhage-n> a _:b0 , > owl:Thing , rdfs:Resource , lemon:LexicalEntry ; lemon:canonicalForm > <http://wordnet-rdf.princeton.edu/wn31/%27s+Gravenhage-n#CanonicalForm > > > ; lemon:sense > <http://www.lexvo.org/page/wordnet/30/noun/%27s_gravenhage_1_15_00> , > <http://wordnet-rdf.princeton.edu/wn31/%27s+Gravenhage-n#1-n> ; > wn:part_of_speech wn:noun ; owl:sameAs > <http://wordnet-rdf.princeton.edu/wn31/%27s+Gravenhage-n> . > <http://wordnet-rdf.princeton.edu/wn31/%27hood-n> a _:b0 , owl:Thing , > rdfs:Resource , lemon:LexicalEntry ; lemon:canonicalForm > <http://wordnet-rdf.princeton.edu/wn31/%27hood-n#CanonicalForm> ; > lemon:sense > <http://www.lexvo.org/page/wordnet/30/noun/%27hood_1_15_00> , > <http://wordnet-rdf.princeton.edu/wn31/%27hood-n#1-n> ; > wn:part_of_speech wn:noun ; owl:sameAs > <http://wordnet-rdf.princeton.edu/wn31/%27hood-n> . :LexicalEntryNoun > a owl:Class ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty > wn:part_of_speech ; owl:hasValue wn:noun ] . | > This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.
