项目

命名

描述逻辑

OWL本体构造符

SWRL规则

概念构造器公理

一般公理

概念层次

rdfs:subClassOf

$B\left(?x\right)\to A\left(?x\right)$

O

Nominals

owl:oneOf

owl:hasValue

$\left(?x,a_{\text{1}},\cdots ,a_n\right)\to A\left(?x\right)$

$R\left(?x,a\right)\to A\left(?x\right)$

N

数量限制

owl:minCardinality

owl:maxCardinality

$R\left(?x,\ge n\right)\to A\left(?x\right)$

$R\left(?x,\le n\right)\to A\left(?x\right)$

S

$\cap$

owl:intersectionOf

$C\left(?x\right)\wedge D\left(?x\right)\to A\left(?x\right)$

$\cup$

owl:unionOf

$C\left(?x\right)\vee D\left(?x\right)\to A\left(?x\right)$

$\exists$

owl:someValueFrom

$\exists \left(R\left(?x,?y\right)\wedge C\left(?y\right)\right)\to A\left(?x\right)$

$\forall$

owl:allValueFrom

$\forall \left(R\left(?x,?y\right)\wedge C\left(?y\right)\right)\to A\left(?x\right)$

$\neg$

owl:complementOf

$\neg C\left(?x\right)\to A\left(?x\right)$

角色构造器公理

S

关系传递

TransitiveProperty

不支持

H

关系层次

rdfs:subPropertyOf

$R\left(?x,?y\right)\to S\left(?x,?y\right)$

I

关系反向

owl:inverseOf

$R\left(?x,?y\right)\to S\left(?y,?x\right)$