alignment - 使用 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）。

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