dataProperty上的OWL限制值vs only vs right

Question

假设我们有一个名为a的类，和一个名为HasRestriction的DataProperty。这些说法有什么区别：

A SubClassOf (hasRestriction value 2)   
A SubClassOf (hasRestriction exactly 2)  
A SubClassOf (hasRestriction only 2) 

Answer 1

读一下AKSW的评论，它们很好，很简洁。

长版本：你的问题是问如何解释Protégé中的类表达式。Protégé使用OWL2曼彻斯特语法来描述类，并且Protégé假设本体是根据OWL2直接语义来解释的。如果属性hasrestriction是Protégé中的DataProperty，那么它意味着hasrestriction表示一组对(x，y)，其中x是个体（话语整体的元素），y是数据值（如数字、字符串、日期）。在Protégé中，类表达式用来表示个体的集合。

在您提供的语句中有三个类表达式：

hasRestriction value 2   
hasRestriction exactly 2  
hasRestriction only 2

第三个hasrestriction only2是语法错误，因为如果hasrestriction是数据类型属性，则必须在关键字only之后使用数据类型表达式。例如，仅限xsd:integer。

在第二种情况下，类a中给定的单个X可能具有属性HasRestriction的已知值。例如，可能有三元组x RDF:typeA、x hasrestriction1、x hasrestriction2，在这种情况下，我们知道x正好有1和2作为hasRestriction的值。另外，如果我们知道x hasRestriction 3，那么就有一个矛盾，因为1、2和3是三个不同的值，而表达式告诉我们必须正好有两个值。