问题标签 [reasoner]

我正在将 HermiTv1.3.8.4与 OWLAPI 一起使用，v3.5.6并遇到了一个永远运行的问题reasoner.isSatisfiable(clazz)。

有没有办法检查 HermiT 正在做什么，即获取调试信息的方法？

我目前的设置大致是这样的

我使用 Protege 创建了一个本体，并添加了 SWRL 规则，使用 Hermit Reasoner，一切都很好，但它没有显示推断的 DataProperties。

我尝试使用 Pellet，它能够推断 DataProperties，但是，我创建的所有 SWRL 规则都不再起作用。

这是来自隐士的虫子吗？有解决办法吗？最好的祝福。

使用pellet-2.4.0，在运行我的应用程序时遇到同样的错误：

线程“主”java.lang.NoSuchMethodError 中的异常：org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom.getProperty()Lorg/semanticweb/owlapi/model/OWLPropertyExpression

已尝试打印类路径，但找不到任何差异，

请帮忙，

我的应用程序中打印的类路径是：E:\Pallavi\NetbeansProjects\SemanticCoverage\target\classes; C:\Users\DrKM.m2\repository\com\google\inject\guice\4.1.0\guice-4.1.0.jar；C:\Users\DrKM.m2\repository\javax\inject\javax.inject\1\javax.inject-1.jar；C:\Users\DrKM.m2\repository\aopalliance\aopalliance\1.0\aopalliance-1.0.jar；C:\Users\DrKM.m2\repository\com\google\guava\guava\19.0\guava-19.0.jar；C:\Users\DrKM.m2\repository\com\google\inject\extensions\guice-multibindings\4.0\guice-multibindings-4.0.jar；C:\Users\DrKM.m2\repository\net\sourceforge\owlapi\owlapi-fixers\5.0.1\owlapi-fixers-5.0.1.jar；C:\Users\DrKM.m2\repository\net\sf\trove4j\trove4j\3.0.3\trove4j-3.0.3.jar；C:\Users\DrKM.m2\repository\com\github\ben-manes\caffeine\caffeine\2.1.0\caffeine-2.1.0.jar；C:\用户\DrKM。m2\repository\com\google\inject\extensions\guice-assistedinject\4.0\guice-assistedinject-4.0.jar；C:\Users\DrKM.m2\repository\com\google\code\findbugs\jsr305\2.0.1\jsr305-2.0.1.jar；C:\Users\DrKM.m2\repository\org\slf4j\slf4j-api\1.7.14\slf4j-api-1.7.14.jar；C:\Users\DrKM.m2\repository\commons-io\commons-io\2.4\commons-io-2.4.jar；C:\Users\DrKM.m2\repository\net\sourceforge\owlapi\owlapi-api\5.0.5\owlapi-api-5.0.5.jar；C:\Users\DrKM.m2\repository\org\tukaani\xz\1.5\xz-1.5.jar；C:\Users\DrKM.m2\repository\org\apache\commons\commons-rdf-api\0.1.0-incubating\commons-rdf-api-0.1.0-incubating.jar；C:\Users\DrKM.m2\repository\org\slf4j\slf4j-log4j12\1.7.24\slf4j-log4j12-1.7.24.jar；C:\Users\DrKM.m2\repository\log4j\log4j\1.2.17\log4j-1.2.17.jar；C:\用户\DrKM。m2\repository\net\sourceforge\owlapi\owlapi-osgidistribution\5.0.5\owlapi-osgidistribution-5.0.5.jar；C:\Users\DrKM.m2\repository\com\fasterxml\jackson\core\jackson-core\2.6.3\jackson-core-2.6.3.jar；C:\Users\DrKM.m2\repository\com\fasterxml\jackson\core\jackson-databind\2.6.3\jackson-databind-2.6.3.jar；C:\Users\DrKM.m2\repository\com\fasterxml\jackson\core\jackson-annotations\2.6.3\jackson-annotations-2.6.3.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-model\4.0.2\sesame-model-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-api\4.0.2\sesame-rio-api-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-languages\4.0.2\sesame-rio-languages-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-datatypes\4.0.2\sesame-rio-datatypes-4.0.2.jar；C:\用户\DrKM。m2\repository\org\openrdf\sesame\sesame-rio-binary\4.0.2\sesame-rio-binary-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-n3\4.0.2\sesame-rio-n3-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-nquads\4.0.2\sesame-rio-nquads-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-ntriples\4.0.2\sesame-rio-ntriples-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-rdfjson\4.0.2\sesame-rio-rdfjson-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-rdfxml\4.0.2\sesame-rio-rdfxml-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-trix\4.0.2\sesame-rio-trix-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-rio-turtle\4.0.2\sesame-rio-turtle-4.0.2.jar；C:\用户\DrKM。m2\repository\org\openrdf\sesame\sesame-rio-trig\4.0.2\sesame-rio-trig-4.0.2.jar；C:\Users\DrKM.m2\repository\org\openrdf\sesame\sesame-util\4.0.2\sesame-util-4.0.2.jar；C:\Users\DrKM.m2\repository\com\github\jsonld-java\jsonld-java\0.8.0\jsonld-java-0.8.0.jar；C:\Users\DrKM.m2\repository\org\apache\httpcomponents\httpclient-osgi\4.5.1\httpclient-osgi-4.5.1.jar；C:\Users\DrKM.m2\repository\org\apache\httpcomponents\httpmime\4.5.1\httpmime-4.5.1.jar；C:\Users\DrKM.m2\repository\org\apache\httpcomponents\fluent-hc\4.5.1\fluent-hc-4.5.1.jar；C:\Users\DrKM.m2\repository\org\apache\httpcomponents\httpcore-osgi\4.4.4\httpcore-osgi-4.4.4.jar；C:\Users\DrKM.m2\repository\org\apache\httpcomponents\httpcore-nio\4.4.4\httpcore-nio-4.4.4.jar；C:\Users\DrKM.m2\repository\org\slf4j\jcl-over-slf4j\1.7.13\jcl-over-slf4j-1.7.13.jar；C:\Users\DrKM.m2\repository\org\apache\httpcomponents\httpclient\4.5.1\httpclient-4.5.1.jar；C:\Users\DrKM.m2\repository\org\apache\httpcomponents\httpclient-cache\4.5.1\httpclient-cache-4.5.1.jar；C:\Users\DrKM.m2\repository\org\apache\httpcomponents\httpcore\4.4.4\httpcore-4.4.4.jar；C:\Users\DrKM.m2\repository\commons-codec\commons-codec\1.10\commons-codec-1.10.jar；C:\Users\DrKM.m2\repository\commons-logging\commons-logging\1.2\commons-logging-1.2.jar；C:\Users\DrKM.m2\repository\org\semarglproject\semargl-sesame\0.6.1\semargl-sesame-0.6.1.jar；C:\Users\DrKM.m2\repository\org\semarglproject\semargl-core\0.6.1\semargl-core-0.6.1.jar；C:\Users\DrKM.m2\repository\org\semarglproject\semargl-rdfa\0.6.1\semargl-rdfa-0.6.1.jar；C:\Users\DrKM.m2\repository\org\semarglproject\semargl-rdf\0.6.1\semargl-rdf-0.6.1.jar；C:\Users\DrKM.m2\repository\org\apache\servicemix\bundles\org.apache.servicemix.bundles.javax-inject\1_2\org.apache.servicemix.bundles.javax-inject-1_2.jar；C:\Users\DrKM.m2\repository\org\apache\servicemix\bundles\org.apache.servicemix.bundles.aopalliance\1.0_6\org.apache.servicemix.bundles.aopalliance-1.0_6.jar；C:\Users\DrKM.m2\repository\net\sourceforge\owlapi\org.semanticweb.hermit\1.3.8.510\org.semanticweb.hermit-1.3.8.510.jar；C:\Users\DrKM.m2\repository\org\apache\ws\commons\axiom\axiom-api\1.2.14\axiom-api-1.2.14.jar；C:\Users\DrKM.m2\repository\org\apache\geronimo\specs\geronimo-activation_1.1_spec\1.1\geronimo-activation_1.1_spec-1.1.jar；C:\Users\DrKM.m2\repository\org\apache\geronimo\specs\geronimo-javamail_1.4_spec\1.7.1\geronimo-javamail_1.4_spec-1.7.1.jar；C:\Users\DrKM.m2\repository\jaxen\jaxen\1.1。4\jaxen-1.1.4.jar；C:\Users\DrKM.m2\repository\org\apache\geronimo\specs\geronimo-stax-api_1.0_spec\1.0.1\geronimo-stax-api_1.0_spec-1.0.1.jar；C:\Users\DrKM.m2\repository\org\apache\james\apache-mime4j-core\0.7.2\apache-mime4j-core-0.7.2.jar；C:\Users\DrKM.m2\repository\org\apache\ws\commons\axiom\axiom-c14n\1.2.14\axiom-c14n-1.2.14.jar；C:\Users\DrKM.m2\repository\org\apache\ws\commons\axiom\axiom-impl\1.2.14\axiom-impl-1.2.14.jar；C:\Users\DrKM.m2\repository\org\codehaus\woodstox\woodstox-core-asl\4.1.4\woodstox-core-asl-4.1.4.jar；C:\Users\DrKM.m2\repository\org\codehaus\woodstox\stax2-api\3.1.1\stax2-api-3.1.1.jar；C:\Users\DrKM.m2\repository\org\apache\ws\commons\axiom\axiom-dom\1.2.14\axiom-dom-1.2.14.jar；C:\Users\DrKM.m2\repository\dk\brics\automaton\automaton\1.11-8\automaton-1.11-8.jar；C:\用户\DrKM。m2\repository\net\sourceforge\owlapi\pellet-owlapi-ignazio1977\2.4.0-ignazio1977\pellet-owlapi-ignazio1977-2.4.0-ignazio1977.jar；C:\Users\DrKM.m2\repository\net\sourceforge\owlapi\pellet-core-ignazio1977\2.4.0-ignazio1977\pellet-core-ignazio1977-2.4.0-ignazio1977.jar；C:\Users\DrKM.m2\repository\com\github\ansell\aterms\aterm-java\1.8.2-p1\aterm-java-1.8.2-p1.jar；C:\Users\DrKM.m2\repository\com\github\ansell\jjtraveler\jjtraveler\0.6\jjtraveler-0.6.jar；C:\Users\DrKM.m2\repository\com\github\ansell\aterms\shared-objects\1.4.9-p1\shared-objects-1.4.9-p1.jar；C:\Users\DrKM.m2\repository\org\jgrapht\jgrapht-jdk1.5\0.7.3\jgrapht-jdk1.5-0.7.3.jar；C:\Users\DrKM.m2\repository\xerces\xercesImpl\2.11.0\xercesImpl-2.11.0.jar；C:\Users\DrKM.m2\repository\xml-apis\xml-apis\1.4.01\xml-apis-1.4.01.jar；C:\用户\DrKM。m2\repository\org\apache\jena\jena-arq\2.10.1\jena-arq-2.10.1.jar；C:\Users\DrKM.m2\repository\org\apache\jena\jena-core\2.10.1\jena-core-2.10.1.jar；C:\Users\DrKM.m2\repository\org\apache\jena\jena-iri\0.9.6\jena-iri-0.9.6.jar；C:\Users\DrKM.m2\repository\net\sourceforge\owlapi\pellet-query-ignazio1977\2.4.0-ignazio1977\pellet-query-ignazio1977-2.4.0-ignazio1977.jar；C:\Users\DrKM.m2\repository\net\sourceforge\owlapi\pellet-jena-ignazio1977\2.4.0-ignazio1977\pellet-jena-ignazio1977-2.4.0-ignazio1977.jar；C:\Users\DrKM.m2\repository\org\antlr\antlr-runtime\3.4\antlr-runtime-3.4.jar；C:\Users\DrKM.m2\repository\org\antlr\stringtemplate\3.2.1\stringtemplate-3.2.1.jar；C:\Users\DrKM.m2\repository\antlr\antlr\2.7.7\antlr-2.7.7.jar；C:\Users\DrKM.m2\repository\net\sourceforge\owlapi\owlapi-distribution\4.1。4\owlapi-distribution-4.1.4.jar；C:\Users\DrKM.m2\repository\com\github\jsonld-java\jsonld-java-sesame\0.5.0\jsonld-java-sesame-0.5.0.jar

我在 Neo4j 中创建了一个语义图。有没有可能在 Neo4j 中使用 OWL 推理器？或者任何推理引擎？

虽然这里已经提到过，但我找不到任何解决方案或 API。

感谢您的任何建议！

Ok I have a xml file that stores the superclass "SentenceFromUser" with the subclasses of some random questions (like "what do you do") (done with restrictions:

hasWordOnFirst some what

etc.

(what is an individual)

Then I have defined superclasses called OpenQuestion and ClosedQuestion. In this code I want to see in which of those two superclasses my question would get sorted in. In Protege I can start the Reasoner and instantly get which is which kind of Question. But with Jena the Reasoner doesn't really work with my own (with this code) created questions. I hope somebody can help me... Code:

output function

createHasValue function

saveModel function

OWLReasoner 是否有一种方法可以让您获取具有指定类作为其域的所有对象属性？

例如，给定以下本体

我想要一种执行以下操作的方法：

我在 Protege 中创建了一个本体，其中包含类和属性以及相关实例。考虑到一个对象属性，我想在本体中找到共享相同对象属性的所有实例——为此，我确实遍历了底层属性并获得了每个属性的值，并获得了共享相同属性的个体。

我面临的问题是通过这种方法我无法获得推断属性的值。

为了更清楚，在下图中；对于属性isFrom，我可以得到761的值，这很好，但是对于属性immediateRelation，我希望得到GroupOfPeople2，但我得到了空。因此对于推断关系的参与者和即时关系，我无法获得任何价值。

你能帮我用任何方法让我了解推断属性的值吗？

以下是我用于获取值的代码的一部分。

我打开推理器时得到的部分结果

如何使用推理器获取 owl 中的个体类别

我希望结果是每个人的类别，但推理器没有给出结果。在 protege 中它运行良好，但是当我使用我的本体并尝试使用 owl api 制作它时，我没有得到任何结果

我有一个本体女巫是在 protege 中创建的，在里面：

我有 2 个班级（青少年和成人）。

我有一个拥有 dataProperty hasAge 的个人 John。

在 protege 中，我根据他的年龄获得了 john 的班级。（所以我的本体运行良好）

现在我已经在 java 中加载了我的本体，我尝试获取类成人中的所有个人（比如 protege 中的 John）。所以我做了

但我什么也没有。

那么在 java 中加载我的本体后如何获取特定类的个体？

我正在写关于档案中链接数据的硕士论文，我想知道你是否可以帮助我解决一个问题。我读过这本关于 LD 的书，并想到了这句话：

SPARQL 是 RDF 三元存储的查询语言，但查询语言超越了列表的生成。它还可以用于断言新的 RDF 语句并将它们保存到存储中。

我不太确定我是否理解了它的第二部分。SPARQL 是否真的像推理机一样从 RDF 图中获取新语句（推论？）？或者我应该如何理解上面的句子？