resources - 在Protégé中使用Geonames本体,OWLReasonerRuntimeException

  显示原文与译文双语对照的内容

为了描述考古发现,我在 Protégé 4中构建了一个本体,我想使用Geonames个人作为发现的地方。 如何在Protégé中添加外部个人? 我是否需要在矿井中导入Geonames本体? 我尝试过:

  1. 导入geonames本体论
  2. 使用geonames完整iri添加新的个人
  3. 添加属性与我的位置和点 2的新个体相同

但是导入Geonames的本体论使reasoner在这个错误消息中消亡:

OWLReasonerRuntimeException: 非简单对象属性'http://www.geonames.org/ontology#featureClass'用作简单对象

如何解决这里问题?

时间: 作者:

使用其他本体论中的个人而不导入它们

通常,导入声明你感兴趣的个人的本体论可能是一个好主意。 然而,在某些情况下,这可能不是最好的选择。 如下所述,to本体不是法律的OWL 2本体,因这里如果尝试将它的导入本体,则会遇到问题。 因此,你不能将Geonames的本体引入你的领域,你应该重新声明你想要在你的本体中的个体。 在Protégé中很容易。 根据 GeoNames本体页面,IRI http://sws.geonames.org/3020251/ 引用了法国的Embrun 。 你只需按照Protégé的常用方式创建个人,但是请检查"忽略实体创建首选项"按钮,以便为个人输入完整的内容:

enter image description here

enter image description here

关于简单属性

关于某些OWL属性如何使用有限制。 如果你有一个错误

OWLReasonerRuntimeException: 非简单对象属性'http://www.geonames.org/ontology#featureClass'用作简单对象

然后,你将正确引用该属性。 在 OWL网络本体语言结构规范和功能样式语法中,存在简单属性( 但我只是在这里加入了一个摘录)的说明:

11.1属性层次结构和简单对象属性表达式

简单地说,简单对象属性表达式没有直接或者间接的子属性,或者由属性层次结构获取。

关于简单属性和非简单属性如何使用的restictions有:

11.2对Axiom闭包的限制。

简单角色的限制。从下面两个列表中的每个类表达式和每个类型的axiom都只包含简单的对象属性。

  • ObjectMinCardinality,ObjectMaxCardinality,ObjectExactCardinality和 ObjectHasSelf 。
  • FunctionalObjectProperty,InverseFunctionalObjectProperty,IrreflexiveObjectProperty,AsymmetricObjectProperty和 DisjointObjectProperties 。

这个限制是保证 OWL 2 DL基本推理问题可以判定性的必要条件。

Geonames不是 OWL 2 DL本体

现在,可以能是本体有一些问题的原则,但它看起来有一些,本体本身。 我下载了版 3.1,并在中打开。 对象属性并不是全部,但是有一个特性类,它具有子属性链 axiom,它被用于类表达式。

enter image description here

由于ObjectExactCardinality类表达式具有属性链,因此它是非简单特性,因为它在类表达式中使用了属性链,因此,它是一个类。

要素类精确 Thing Thing

这意味着GeoNames的本体不是合法的OWL 2 DL本体。

作者:
...