owl：functionalProperty＆owl：differentFrom

Question

对于我认为是一个非常简单的场景，我会感激一些帮助。 但作为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个不同的成员男性和女性。

然后我定义另一个具有功能属性hasGender的Person，其范围是Gender。

最后，我断言了Person的一个实例，还有两个单独的断言，它们都是男性和女性。

据我了解，这是一个矛盾的事情; 我断言hasGender属性是有用的，因此，对于给定的Person，应该只有一个性别。 我也断言男性和女性是不同的，所以当我将它导入GraphDB时，我期待它因此而失败。

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

Answer 1

创建存储库时 ：

• 选中Check for inconsistencies复选框;
• 选择名为OWL2-RL的规则集 。

如果您尝试导入数据，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:FunctionalProperty不同， owl:AllDisjointClasses由OWL 2 QL涵盖。