Question

我想表达（在Protege 5中的一般类公理中）如果将某个东西分配给A并且其值B在1.0到2.5范围内，则它属于C类（B是一个dataProperty）。但我不知道该怎么做。我会像

一样开始

（赋予一些A）和（“有值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

Protege General Class Axioms Range

1 个答案: