owl - Protege:对象属性限制 1

Question

我正在使用 Protege 4.3 创建我的第一个本体，所以我遇到了一些问题

假设我们有类 Shop、Mall 和 Person 以及属性 works-in 和是的一部分。

所以第一个问题是我们想要:如果一个 Person works-in Shop 和 Shop is-part-of Mall 然后是 Person works-in Mall.

我试图将属性链 works-in o is-part-of 添加到属性 is-part-of 但是当我激活它时 reasoner 死了.

知道如何解决吗？

谢谢。

Answer 1

回答您的第一个问题:您正在寻找属性(property)链。在 Protege 中你可以说 works-in o is-part-of是(链)的子属性 works-in ，这会给你预期的推论

编辑:我做了以下实验:

a) 按照您的描述(曼彻斯特语法)创建通用本体:
Ontology: <http://www.semanticweb.org/o>
ObjectProperty: <http://www.semanticweb.org/o#works-in>
SubPropertyChain:
<http://www.semanticweb.org/o#works-in> o <http://www.semanticweb.org/o#is-part-of>
ObjectProperty: <http://www.semanticweb.org/o#is-part-of>
Domain:
<http://www.semanticweb.org/o#Department> or <http://www.semanticweb.org/o#Shop>
Range:
<http://www.semanticweb.org/o#Mall> or <http://www.semanticweb.org/o#Shop>
Class: <http://www.semanticweb.org/o#Shop>
Class: <http://www.semanticweb.org/o#Mall>
Class: <http://www.semanticweb.org/o#Department>
Class: <http://www.semanticweb.org/o#Person>


b) 将一些个体添加到该本体中以检查推论。在使用 FaCT++ Protege 分类后，显示 person1 通过 works-in 与 mall1 相关。附加公理如下: Individual: <http://www.semanticweb.org/o#shop1>
Types:
<http://www.semanticweb.org/o#Shop>
Facts:
<http://www.semanticweb.org/o#is-part-of> <http://www.semanticweb.org/o#mall1>
Individual: <http://www.semanticweb.org/o#mall1>
Types:
<http://www.semanticweb.org/o#Mall>
Individual: <http://www.semanticweb.org/o#person1>
Types:
<http://www.semanticweb.org/o#Person>
Facts:
<http://www.semanticweb.org/o#works-in> <http://www.semanticweb.org/o#shop1>


c) 添加公理说 Person 在 Shop 中工作，并且 Shop 是 Mall 的一部分到 a) 的本体中。在这种情况下，Person 再次是 WorksInMall 类的一部分，这表明考虑了属性链公理。附加公理是: Class: <http://www.semanticweb.org/o#WorksInMall>
EquivalentTo:
<http://www.semanticweb.org/o#works-in> some <http://www.semanticweb.org/o#Mall>
Class: <http://www.semanticweb.org/o#Person>
SubClassOf:
<http://www.semanticweb.org/o#works-in> some <http://www.semanticweb.org/o#Shop>
Class: <http://www.semanticweb.org/o#Shop>
SubClassOf:
<http://www.semanticweb.org/o#is-part-of> some <http://www.semanticweb.org/o#Mall>