Table 2.

DAML+OIL axioms

Axiom	DL Syntax	Example
subClassOf	C1 ⊆ C2	Human ⊆ Animal ∩ Biped
sameClassAs	C1 ≡ C2	Man ≡ Human ∩ Male
subPropertyOf	P1 ⊆ P2	part_of ⊆ physically_related_to
samePropertyAs	P1 ≡ P2	has_temperature ≡ has_fever
disjointWith	C1 ⊆ ⌝ C2	Vertebrate ⊆ ⌝ Invertebrate
sameIndividualAs	{x1} ≡ {x2}	{heart_attack} ≡ {myocardial_infarction}
differentIndividualFrom	{x1} ⊆ ⌝{x2}	{aspirin} ⊆ ⌝ {tylenol}
inverseOf	P1 ≡ P2−	has_evaluation ≡ evaluation_of
transitiveProperty	P+ ⊆ P	part_of+ ⊆ part_of
uniqueProperty	T ⊆ ≤ 1 P	T ⊆ ≤ 1 has_mother
unambiguousProperty	T ⊆ ≤ 1 P	T ⊆ ≤ 1 is_mother_of−
domain	T ⊆ ∀ P−.C ∃ P.T ⊆ C	T ⊆ ∀ has_evaluation.Finding ∃ evaluation_of.T ⊆ Finding
range	T ⊆ ≡ P.C	T ⊆ ∀ evaluation_of.OrganismAttribute