owl - 使用属性链获取OWL本体中的推断知识(Protege)

Question

我已经在本体中建立了以下模型:

俱乐部雇用一些球员，球员具有国籍一些国籍，球员具有国民状态值National_Player，Country等于国籍。

我希望本体论可以推断出:

如果某个玩家具有某个国籍的国籍，并且该玩家具有NationalStatus值National_Player，则Country(与该玩家具有的国籍相同)将雇用该Player。

举个例子:

{Steven_Gerrard}的国籍值为英格兰，{Steven_Gerrard}的国籍值为National_Player，因此{England}使用了[Steven_Gerrard}。

有没有可能将这种知识添加到Protege？

谢谢。

编辑:

错误讯息:

2014年4月1日星期二20:49:24错误42记录

OWLReasonerRuntimeException:非简单对象属性'http://www.semanticweb.org/u1cjd/ontologies/2014/1/untitled-ontology-2#employs'被用作简单对象

和

2014年2月1日星期二20:49:24记录的错误43
ReasonerInternalException:tRole.cpp:243:断言'Ancestor.empty()&& Descendant.empty()'失败

Answer 1

这是可能的，并且实际上与我在上一个问题的答案Adding statements of knowledge to an OWL Ontology in Protege)中提到的技术非常相似，并且此答案的结构几乎与我对最近的answer.semanticweb.com问题OWL property inference from blank node - modelling的回答相同。

您只需要使用一些rolification和属性链公理即可。需要注意的一点是，现有数据具有上方箭头的形式，而所需信息位于下方箭头。

仅赋予雇员子属性(property)hasNationality-1是不够的，因为您要确保玩家具有特定的国家地位。这是您需要熏陶的地方。您希望员工拥有hasNationality-1•p的子属性(property)链，其中p是一种特殊属性，仅将具有国家身份的玩家与自己联系起来。您可以通过旋转来做到这一点。只需声明一个新的对象属性RNationalPlayers并声明公理即可

1. hasNationalStatus value National_Player EquivalentTo R_NationalPlayer some Self
2. inverse(hasNationality) o R_NationalPlayer subPropertyOf employs

在描述逻辑语法中，这些将类似于:

1. =hasNationalStatus.National_Player ≡ ∃R_{NationalPlayer}.Self
2. hasNationality^-1 • R_{NationalPlayer} ⊑ employs

这将在某些推理机中起作用，但是不幸的是，这确实使我们脱离了OWL 2 DL，并进入了完整的OWL。在 this answer的注释中对此进行了详细讨论。正如更新的问题中的错误消息所表明的那样，employees现在是一个非简单属性，并在只应使用简单属性的地方使用。有关使属性变得简单与否的更多信息，请参见 11.1 Property Hierarchy and Simple Object Property Expressions；有关属性的更多信息，请参见 11.2 The Restrictions on the Axiom Closure。

但是，听起来您正在使用支持SWRL规则的推理机，在这种情况下，您可以简单地添加规则:

hasNationality(?player,?country) ∧ hasNationalStatus(?player,National_Player) → employs(?country,?player)