耶拿； listDeclaredProperties 语义

Question

让我们考虑一个

(1) P Domain CSuper
(2) CSub subClassOf CSuper

使用 Jena，我试图列出 CSub 的声明属性。我相信P 不能被列为CSub 的声明属性。我的理由：P 是 CSub 的声明属性，iff CSub 是 P 的域，来自 (1) CSuper 是 P 的域不要暗示CSub 也是一个域； (1) 表示如果(x, y) 是P，那么x 是CSuper，显然x 可能（不） 是CSub。

令人惊讶的是，即使使用 OntModelSpec.OWL_DL_MEM_RULE_INF 或 Pellet，当使用 listDeclaredProperties 方法时，Jena 也将 P 列为 CSub 的声明属性！ 我错过了什么吗？

更新： 某个类的声明属性是什么意思？这是否意味着属性是它们的域的类！

Answer 1

你想要：

theClass.listDeclaredProperties(false);

来自the documentation：

listDeclaredProperties() 相当于调用 listDeclaredProperties(boolean)，默认值 direct = false。

direct - 如果为 true，则将返回的属性限制为与此类直接关联的属性。如果为false，则该类的超类的属性不会列在该类的声明属性中。

我认为您误解了声明的属性。这将返回一个类可能（或必须）具有的属性。假设我们有一个类层次结构：

A > B > C

还有：

P domain B

所有Bs 和Cs 都可能具有P 属性——这并不矛盾。但是，并非所有As 都可能拥有P 属性——not-Bs 是问题所在。