reasoning

问题 I have a question regarding the owlexplanation project by Matthew Horridge on GitHub. In the README file there is the following code : import org.semanticweb.owl.explanation.api.*; import org.semanticweb.owlapi.model.*; import org.semanticweb.owlapi.reasoner.OWLReasonerFactory; OWLReasonerFactory rf = ; // Get hold of a reasoner factory OWLOntology ont = ; // Reference to an OWLOntology // Create the explanation generator factory which uses reasoners provided by the specified // reasoner

问题 In Clingo guide, there are two modes called cautious and brave introduced as the follows: brave Compute the brave consequences (union of all answer sets) of a logic program. cautious Compute the cautious consequences (intersection of all answer sets) of a logic program. No more information is provided in the guide. I tried some examples and have trouble understanding the issue. I tried to run the following simple ASP program: p :- not q. q :- not p. Running Clingo with no mode parameter will

问题 I'm doing a project in Protege on the ontology related to the university problem. I have some classes and object properties relations between them: As depicted, there are several classes and relations. My issue is, how (and where) to write the condition to obtain the automatic inference that, if all blue-arrow relations are satisfied by the individual, the red-arrow relation must be also satisfied (thus it is inferred then by the reasoner)? I will appreciate any help! Thanks. Hubert 回答1:

问题 I am working on my ontology using owlapi and java, but I cant find a solution in such a case: Here I have a class structure such as: Electronics Radio Handy I created individuals to these classes having the same name as their class. As Electronics class has an individual named electronics. Class: Electronics Equivalent to: keyword some {"electronics"} . Class: Handy Dataproperty: keyword Data property value: "handy" , type:string I use Hermit to search for individuals as keyword some {

问题 Goal: I wan´t to achieve a rule based Mapping between ontologies in order to fulfill a common task of data migration. Way to achieve the goal: To achieve this i developed a abstract data structure which is capable to store all information provided by the xml representation of any datatype. Then i wrote a parser, which constructs a ontology out of targeted document-type definition. Now when i read the data in it is first associated to the abstractDatatype namespace, lets call it aS . The

问题 Goal: I wan´t to achieve a rule based Mapping between ontologies in order to fulfill a common task of data migration. Way to achieve the goal: To achieve this i developed a abstract data structure which is capable to store all information provided by the xml representation of any datatype. Then i wrote a parser, which constructs a ontology out of targeted document-type definition. Now when i read the data in it is first associated to the abstractDatatype namespace, lets call it aS . The

问题 First I know this topic maybe repeated, but actually I have further questions. I'm using Jena to manipulate OWL ontology. Given a class A , I want to find all properties that A is their domain whether this is explicit or inferred. Let's consider the following ontology: A1 subClassOf A; P domain A; P range B; I create an ontology moel with DL rule inference, this is supposed to turn reasoner on. ModelFactory.createOntologyModel(OntModelSpec.OWL_DL_MEM_RULE_INF) A work around introduced two

问题 Assuming two types of classes, one (A) "isManagedBy" by the other (B). The following owl snipped illustrates this scenario. There are multiple classes of type A (which are "managed by" other classes) and multiple classes of B. In fact, there is also a hierarchy between between classes bot of type A and B. <owl:ObjectProperty rdf:about="#isManagedBy"/> <owl:Class rdf:about="#FunctionManagement"> <rdfs:subClassOf rdf:resource="..."/> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf

问题 I'm serving a dataset containing 10-20 named graphs from a TDB dataset in Fuseki 2. I'd like to use a reasoner to do inference on my data. The behaviour I'd like to see is that triples inferred within each graph should appear within those graphs (although it would be fine if the triples appear in the default graph too). Is there a simple way of configuring this? I haven't found any configuration examples that match what I am trying to do. The configuration I've tried is very similar to the

问题 I have a serious problem to get any reasoner up and running. Also the examples from the documentation: https://jena.apache.org/documentation/inference/ does not work here. I transferred the example into a unit test, so that the problem might be easier reproduced. Is reasoning limited to certain environment like a spatial JDK or so on, or am i getting something wrong? Thanks Here the example code (as java unit test): import static org.junit.Assert.assertNotNull; import java.io.PrintWriter;