Protege通用类公理范围

Question

我想表达(在Protege 5中的一般类公理中)，如果某个东西被赋值给A，并且B的值在1.0到2.5之间，那么它属于C类(B是一个dataProperty)。但我不知道该怎么做。我会像这样开始

(assignedTo SubclassOf A) and (“具有值B，并且它在1.0到2.5”的范围内)SubclassOf C。

我该如何表达关于B的那部分？我甚至不知道其他的是否能正常工作。

任何帮助都将不胜感激。

Answer 1

是的，这是可以做到的。下面是一个示例本体，它将推断单个x属于C类型。

Datatype: xsd:double 

DataProperty: hasValue
    Range: xsd:double

Class: C
    EquivalentTo: hasValue some xsd:double[>= "1.0"^^xsd:double , <= "2.5"^^xsd:double]

Individual: x
    Facts:  hasValue  "1.2"^^xsd:double