问题标签 [pellet]

我正在尝试创建一个简单的本体，它有两个类：class1 和 class2，以及两个具有相同名称的简单文本数据属性的实例（hasName: "string1"^^xsd:string 和 hasName "string2"^^ xsd:string 分别）。我想根据正则表达式将这些实例与推理器分类到相应的类（例如，类 1 的限制是 hasName some xsd:string[pattern "string1"]，这样，推理器应该推断 instance1 属于class1，但 instance2 不是）。怎么做到呢？

我在 AllegroGraph 中创建了一个 RDF 三元存储。现在我想使用 Java API 在它上面运行一个推理器。我决定使用 Pellet Reasoner（下载链接）。它适用于 koala.owl (链接)。

将其应用于 AllegroGraph 三重存储时，出现以下错误：

问题是什么？

非常感谢！

编辑

实际上，我的数据库中的每个三元组都遇到了同样的问题。（所有的三元组都是在 TopBraid Composer 中创建的。）

再举几个例子：

我正在使用 graphDB（ontotext 数据库图），我想在 graphDB（.pie 文件）中重现 Pellet reasoner 在 Protege 中的行为。通过这种方式，我想在 graphDB 中获得与在 Protege 中相同的行为。我已经在 GraphDB 中实施了规则，但我不确定如何重现 Pellet 行为。我已经阅读过 OWL-DL 和 DL 语义（Pellet 是基于该语言构建的），但我没有找到实现的规则以及如何在 GraphDB 中重现它。

任何想法重现这种行为？

谢谢

我创建了一个表示产品结构的复杂本体。我定义了描述产品配置的大多数规则（如果您使用 Part A1，则不能使用 Part B1 --> 您必须选择 Part B2 或 Part B3）。

现在我通过将现有的零件实例分配给它来创建一个产品。我想检查是否可以根据配置规则构建产品。c 如果产品包含 A1 和 B1，则无法构建。

我可以配置一个推理器不检查整个本体，而只检查最近添加的产品，从层次最高的产品实例开始？我应该选择哪个推理器来做到这一点？

编辑

对整个数据集进行推理在执行时间方面的成本很高——如果我知道在哪里进行了更改，我可以设置一个“推理范围”和起点来加速流程吗？

我使用 AllegroGraph 并在 Protege 或 TopBraid Composer 中设计 Ontologies 以将其导出到 RDF 中的 AllegroGraph。TopBraid 有一个内置的推理器 (TopSpin)。

谢谢！！！

标题可能有点令人困惑，但基本上这就是问题所在：我正在使用Jena和Pellet 推理器从名为Patient_Doug的资源中生成属性文字。三元组看起来像这样： Patient_Doug-> hasSuggestion-> Literal推断的建议。

问题是 Protege Pellet 推理器为Doug提出了三个建议，因为Doug在医院的情况非常糟糕。Protege 推理器建议Doug需要一张Hi-Lo 床、一个RF ID 带和一张靠近护士站的床。不幸的是，在耶拿，我只能打印Hi-lo 床。只有 3 个文字之一。

这是一些代码。

代码工作正常，但最后的迭代器在无限循环中只打印一个subggestion。

我将不胜感激任何建议。谢谢。

我从网上下载了一个大型 RDF 图（NT 格式包含超过数百万个三元组）。我的目标是通过推理从 RDF 图中找到有趣的信息。我是新来的推理。您能否向我推荐一些推理工具，我可以轻松地将它们与我的 RDF 图一起使用以查找有趣的信息？我已经知道Pellet工具，但不太清楚如何使用它。

我最近获得了计算集群的访问权限（使用 Linux 操作系统）。有没有人有在集群上运行颗粒（ https://github.com/stardog-union/pellet ）的经验？我有一些大型的 ABox 数据集，我想使用颗粒运行。

在我看来，EquivalentTo类的定义在 Protégé 5.2.0 中不能正常工作。希望这是我的误解。

这是示例：链接到一个简单的本体，它给出了意想不到的结果。

当我min在 some 上使用基数条件时会出现问题ObjectProperties。在提供的示例中，（使用 Pellet）的分类SubClassObject不适Object用于 ，hasPart min 2 Part但适用于hasPart min 1 Part。如您所见，定义为element54 。Parts

有没有人遇到过类似的问题？

先感谢您，

将 opellet 2.6.3 添加到包括 Ontapi 的 Maven 项目会引发以下错误：

测试的代码如下：

我的 pom 文件包含以下依赖项：ontapi1 .1.0、jena-arq 3.6.0、openllet-pellint 2.6.3。

我有一个 Virtuoso 服务器 7.20.3217 我上传我的数据。根据 Virtuoso 文档，Virtuoso 支持基本的猫头鹰推理，例如rdfs:subClassOf或rdfs:subPropertyOf。

我应该怎么做才能启用 OWL 2 DL 推理？甚至支持 SWRL 规则？有没有机会将此功能整合到 Virtuoso 中？例如，通过合并像 Pellet 这样的外部推理器？