使用OWL从属性中分配类

Question

是否可以用OWL（Web Ontology Language）来表示：特定属性末尾的所有资源都是特定的类。

使用Vehicle Sales Ontology的示例：

vso:height末尾的所有资源也是一个类ex:Height ：

ex:ModelA vso:height [ a ex:SomeRandomClass . ]

Answer 1

最简单的方法是使用rdfs:range来实现这一点。

例如，考虑以下OWL知识库（伪曼彻斯特语法）：

ObjectProperty: has-height
    Range: Height

Class: Height

Individual: heightA

Individual: modelA
    Facts: has-height heightA

当一个推理器在它上面运行时，它将推断出个体heightA具有rdf:type Height （换句话说， heightA a Height ）。

或者，更具表现力的解决方案可以基于存在量化 。 按照链接查看示例。