next up previous
Next: The mapping function Up: OIL-Lite Previous: Slot constraints

Axioms

OIL-Lite includes four kinds of axiom:

disjoint
a list of two or more class expressions that are pairwise disjoint, written $ \mbox{$\parallel$}$$ C_1,\ldots,C_n$   $ \mbox{$\parallel$}$.
covered
a single class expression that is covered by the succeeding list of class expressions, written $ C \sqsubseteq
\ (C_1,\ldots,C_n)$.
disjoint-covered
a single class expression that is covered by the succeeding list of disjoint class expressions, written $ C
\ \sqsubseteq$   $ \mbox{$\parallel$}$$ C_1,\ldots,C_n$   $ \mbox{$\parallel$}$.
equivalent
a list of two or more class expressions that are equivalent, written $ \doteq$ $ (C_1,\ldots,C_n)$.



Ian Horrocks 2000-09-10