使用OWL从属性中分配类

Question

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

使用车辆销售本体的示例：

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）。

或者，更具表现力的解决方案可以基于existential quantifications。请点击链接查看示例。