Table 1.

Semantics of the OWL logical operators. DL, Description Logic.

	DL Syntax	Manchester Syntax	Semantics
$\mathcal{I}$	$C_1\sqcap C_2$	$C_{1}and{C}_2$	${(C_1\sqcap C_2)}^I=(C_1^I\cap C_2^I)$
$\mathcal{U}$	$C_1\bigsqcup C_2$	$C_{1}or{C}_2$	${(C_1\cup C_2)}^I=(C_1^I\cup C_2^I)$
$\mathcal{C}$	$\neg C$	$notC$	${(\neg C)}^I={\Delta }_I\setminus C^I$
$\mathcal{S}$	$\exists R.C$	$RsomeC$	${(\exists R.C)}^I=\{x\mid \exists y.\langle x,y\rangle \in R^I\wedge y\in C^I\}$
$\mathcal{A}$	$\forall R.C$	$RonlyC$	${(\forall R.C)}^I=\{x\mid \forall y.\langle x,y\rangle \in R^I\to y\in C^I\}$
$\mathcal{X}$	$\le nR.C$	$RmaxnC$	${(\ge nR.C)}^I=\{x\mid card\{y.\langle x,y\rangle \in R^I\wedge y\in C^I\}\le n\}$
$\mathcal{M}$	$\ge nR.C$	$RminnC$	${(\le nR.C)}^I=\{x\mid card\{y.\langle x,y\rangle \in R^I\wedge y\in C^I\}\ge n\}$