3

对于我认为是一个非常简单的场景的一些帮助，我将不胜感激。但作为 OWL 和 GraphDB 的新手，我可能犯了一些基本错误。

我有一个非常简单的 Turtle 指定的 OWL 示例，如下所示：

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix demo: <urn:demo> .

demo:Gender a owl:Class .

demo:Male a demo:Gender .
demo:Female a demo:Gender .

demo:Male owl:differentFrom demo:Female .

demo:Person a owl:Class .

demo:hasGender a owl:ObjectProperty, owl:FunctionalProperty;
                rdfs:domain demo:Person;
                rdfs:range demo:Gender .

demo:Per1 a demo:Person;
            demo:hasGender demo:Male;
            demo:hasGender demo:Female .

本质上，我有一个名为 Gender 的类，并断言有 2 个不同的成员男性和女性。

然后我定义了另一个类 Person，它的功能属性 hasGender 的范围是 Gender。

最后，我断言了一个 Person 实例，以及两个单独的断言，即它既是男性又是女性。

现在据我了解，这有点矛盾。我已经断言 hasGender 属性是有效的，因此对于给定的 Person，应该只有一种性别。我还断言男性和女性是不同的，所以当我将它导入 GraphDB 时，我预计它会因此而失败。

但是 GraphDB 很乐意加载这两个断言。我错过了什么吗？

4

1 回答 1

2

创建存储库时：

如果您尝试导入数据，GraphDB 将不得不说：

Could not import data; com.ontotext.trree.consistency.ConsistencyException:
Consistency check eq_diff1_1 failed:
urn:demoMale owl:differentFrom urn:demoMale
urn:demoMale owl:sameAs urn:demoMale

或者，取消选中复选框，导入您的数据，然后执行：

PREFIX sys: <http://www.ontotext.com/owlim/system#>
INSERT DATA { []  sys:consistencyCheckAgainstRuleset "owl2-rl" }

另一种建模方法是创建Male和Female作为 的不相交的子类Person。
与OWL 2 QLowl:FunctionalProperty不同的owl:AllDisjointClasses是。

于 2018-02-25T21:42:46.860 回答