reasoner

owl closing the world with OneOf

由 我们两清 提交于 2020-01-06 07:28:11
问题 In the following Ontology I'm trying to make Boy the complement of Girl by using OneOf however using Fact++ or Hermit I'm unable to get any instances by querying for Boy (Protege 5.2 DL query), any suggestions? :Bob rdf:type owl:NamedIndividual , :Person . :Mike rdf:type owl:NamedIndividual , owl:Thing . :Sarah rdf:type owl:NamedIndividual , :Girl. :Person rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :Bob :Mike :Sarah ) ] . :Girl rdf:type owl:Class ; owl

Consistency checking using Hermit reasoner in Python for an Ontology

由 荒凉一梦 提交于 2019-12-08 10:44:29
问题 I am using owlready2 api for python to load an Ontology and check consistency for that ontology using the sync_reasoner() function. But it seems that it is not checking the consistency for the ontology. Although there is an error, it shows nothing! Any idea how can I check consistency of an ontology in python using owlready2 or any other api. here is my small code: from owlready2 import * onto = get_ontology("test.owl") sync_reasoner() and here is the output I am getting: Owlready2 * Running

How to reason or make inferences in Neo4j?

由 时光怂恿深爱的人放手 提交于 2019-12-01 05:32:05
I created a semantic Graph in Neo4j. Is there any possibility to use an OWL reasoner in Neo4j? Or any inference engine? Though it has been mentioned here i can't find any solution or API for this. Thankful for any advice! Maybe you want to see this: click here I quoted this from that link: Your main task if you want to use reasoners over a neo4j database is going to be to suck data out of neo4j, and format it as a set of RDF triples. You can then put those RDF triples into a Jena Model. When you have that jena model in memory, you can use existing jena APIs to use reasoners with that model My

How to reason or make inferences in Neo4j?

由 喜你入骨 提交于 2019-12-01 03:33:01
问题 I created a semantic Graph in Neo4j. Is there any possibility to use an OWL reasoner in Neo4j? Or any inference engine? Though it has been mentioned here i can't find any solution or API for this. Thankful for any advice! 回答1: Maybe you want to see this: click here I quoted this from that link: Your main task if you want to use reasoners over a neo4j database is going to be to suck data out of neo4j, and format it as a set of RDF triples. You can then put those RDF triples into a Jena Model.
订阅 reasoner