semantic-web - 强制对 OWL 类进行封闭世界假设

Question

我有一个 OWL 类具有以下等价性(曼彻斯特表示法):

A
and not (hasB some
(B
and (hasC some C)
and (hasD some D)
and (hasList some
(OWLList
and (hasContents some
(OWLList
and (hasContents some
(E
and (hasValue some integer[< 200])
and (hasType value "xsd:integer"^^string)))
and (hasNext some EmptyList)))
and (hasNext some EmptyList)))))

我希望对此类实现封闭世界推理，以便任何不满足 not 之后剩余条件的个人声明将成为此类的成员。

为此，我尝试制作 hasC , hasD和 hasList属性的功能使 OWL 知道不可能有这些属性的其他实例附加到此类。

不幸的是，hasB 是可能的属性(property)发生不止一次，所以这不能被限制。为了尝试“关闭”类(class)的这一部分，我添加了一个 oneOf B 中的声明类指定所有可能的个体 B类可以接受。

在我看来，功能属性和 oneOf 的组合声明应该成功地“关闭”类(class)。谁能告诉我我做错了什么？

我正在使用 http://owl-workshop.man.ac.uk/acceptedLong/submission_12.pdf 提出的 OWLList 类和相关属性.

非常感谢。

Answer 1

Stardog有一个名为 Integrity Constraint Validation 的功能它为 OWL 添加了一个封闭世界的解释，以便能够将其用作验证语言。您可以在 detailed breakdown of the semantics 中阅读更多有关如何完成此操作的信息。 .

我不确定验证部分是否符合您的要求，但如果是这样，您可以立即使用 Stardog ICV。如果没有，语义可能会告诉您如何精确地实现您需要的东西。