问题标签 [pellet]

我是 Java 和语义世界的新手（来自 PHP 世界）。我打算用颗粒推理器运行耶拿。我的 IDE 是 Intellij，我已经下载了Pellet 包和jena 包，其中包含 owl 和 jena 等文件夹。
我不知道我是否应该从这两个包中导入 jar 文件然后开始编码，或者需要的一切都已经在颗粒包中？事实上，我需要一步一步的教程，但我找不到。

我正在使用 Protege beta 5 并且正在尝试使用 reasoner 。由于颗粒不支持个人之间的传递性，如果有的话，该问题的解决方案是什么？如果没有，是否有任何推理者支持（等价性、传递性、自反性......）获得不一致的本体，这就是解释：

我也在使用来自 Maven 的 HermiT » 1.3.8.1 和来自 maven 的 OWL API 5.0.2。我尝试了将近 2 天来获得推论。我检查了所有示例对我没有用。有这么多版本的推理器和 APIS，真是令人沮丧。`

我有 3 个具有等价关系的类：A、B、C。A 包含 4 个人和 C 2。如果我要求此方法返回 B 的所有实例，它应该返回 6 个实例，因为在这些类中的任何一个中都有等价关系。我做了一个实验，使 B 和 A 的 C 子类等价于 B。A 用推理逻辑获得了 A 和 C 的所有实例。但是等价对隐士不起作用。非常感谢您的帮助！

编辑：我看到我没有通过不调用 Reasoner reasoner = new Reasoner 来使用 Hermit reasoner。我找不到一个例子，它给出了来自一个特定类的所有个人，也推理（equivalentTo，子类）。请提供您正在使用的 owl api 版本隐士或任何其他推理器的版本。带有 depandancies 的 pom 文件也非常棒。只是一个带有 pom 的工作示例。我真的很沮丧，没有一个例子对我有用。

我的pom文件：

我只是从 Protégé 和 OWL 开始。我刚刚在 Protege 中创建了一个类层次结构，例如：

当我启动颗粒推理器时，我希望它能够推断出 A 和 B 的所有子类也是 Thing 的子类，这不会发生。我也期待一个 SPARQL 查询SELECT ?subject WHERE { ?subject rdfs:subClassOf owl:Thing}将导致所有类 A 到 B。但是查询仅返回 A 和 B。

我是在做错什么，还是我只是对我的预期不正确？

我是 Protégé 的新手，所以我有一个非常基本的问题。我有课程Child和Parent. Child有子类Girl。

child1有类型Girl有child2类型Child和anna都peter有 类型Parent. 此外，还有关系，没有进一步的anna isParentOf child1特征peter isParentOf child2。

现在我想定义类ParentOfGirl，使其等价于Parent and isParentOf only Girl. 我希望推理器推断出anna具有这种新类型，但事实并非如此。

我添加了该Inverse functional属性，isParentOf因为父母可以有多个孩子。如果我再添Symmetric加到我得到的anna具有 type的关系ParentOfGirl，但我不想必须isParentOf是对称的。

如果我在没有对称的情况下查看上述语义，我会看到：

ParentOfGirl ≡ {anna, peter} ⋂ { x ∊ owl:Thing | 如果 ∀y (x, y) ∊ isParentOf 那么 y ∊ 女孩}

child1 ∊ 孩子和 child1 ∊ 女孩

isParentOf ≡ {(anna, child1), (peter, child2)}

thenchild1是唯一与 typeChild相关的个体，anna它也有 type Girl。在我看来，在这种情况下，推理器只能从右到左查看关系，因为如果isParentOf是对称的，它会推导出anna。此外，如果它与 child2 无关，我希望它peter也会存在。ParentOfGirl但这也不会发生。

为什么推理器（Pellet 或 HermiT）看不到那anna是 a ParentOfGirl？

在使用 SWRLTab 和 SQWRLTab 在 Protege 中编写新规则时，我们在 SWRL 中定义约束规则，并使用 FaCT++、Pellet 等语义推理器或 Drools 或 Jess 等规则引擎使用 SQWRL 进行查询。但是由于 Protege 限制了它的功能，我们不能使用 Drools/Jess 来定义复杂的本体规则或用他们自己的编程语言编写规则。

我的问题是：当我们无法使用 Drools 和 Jess 的完整功能时，Protege 中的目的是什么？

我正在编写一个程序，给定一个 OWL 本体，通过使用 Pellet 作为推理器来检索查询的所有解释。

为此，OWLAPI 提供了一个名为的类，该类HSTExplanationGenerator实现了 Hitting Set Tree 算法以查找所有解释。

当我想创建一个实例时，HSTExplanationGenerator我应该给出一个实现接口TransactionAwareSingleExpGen的类，实现这个接口的类应该提供一个计算解释的方法。

现在，OWLAPI 提供了两个实现这个接口的类：BlackBoxExplanation和GlassBoxExplanation. 我已经阅读了这两个类的代码。GlassBoxExplanation从 Pellet 获取解释，对其进行修剪，然后将其转换为一组OWLAxiom. 但是，我发现很难理解是什么BlackBoxExplanation。问题是：我应该使用哪一个？这两个类之间的主要区别是什么？

我已经使用 SWRLAPI 的 SWRLBuiltInBridge 组件完成了这项工作： https ://github.com/protegeproject/swrlapi/wiki/SWRLBuiltInBridge

但是，在我的 Java 代码中，我还将 Pellet Reasoner 与 OWLAPI 一起使用。每当我使用推理器时，它会在发现内置未知的 SWRL 规则时生成警告。我知道我可以在推理器中禁用规则检查，并在我想运行规则时使用 SWRLAPI。

但这似乎不切实际......因为在我使用推理器之前，我必须在每次修改本体之后运行规则。

我看过一个深入研究这个问题的博客页面，但可能已经过时： https ://semwebguy.wordpress.com/2011/01/04/how-to-extend-pellet2-2-2s-swrl-built-支持您的自定义内置/

此外，与 SWRLAPI（例如 Abox 对象是一个参数）相比，创建内置的方式（根据博客）是不同的。

还有另一种方法可以做到这一点吗？或者是否可以将 Pellet 与 SWRLBuiltInBridge 连接起来？

我使用 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