首页 > 解决方案 > RDFS/OWL 模型限制

问题描述

我正在研究一些关于 RDFS/OWL 模型的问题,并且必须根据模型推断出一些三元组。但是,我没有看到这个模型中的限制,至少是这样写的限制。

:John :worksAt :companyA
:John rdf:type :employee
:John rdf:type [∃⩽1 owl:onProperty :worksAt]

我对此的理解是“员工必须至少有一个:worksAt”,或者换句话说owl:minCardinality是 1。

标签: owl

解决方案


推荐阅读