DLML: Operators

Design

Description logics are very modular (one constructor can be added
to a logic together with the corresponding inference rules). In DLML,
the syntax of each operator is defined in a single DTD, and its semantics
in a single DSD. Then, a
logic is defined by importing all the
required DTD and DSD.

We provide here the list of constructors given in [Nebel 1990] (but
lrvm and eqrvm which cause minor problems to XML and
can be simulated by using comp combined with rvm and
sameas respectively) and [Donini& 1996]. Please, feel
free to ask for others (with reference, or better, the DTD, I will
acknowledge).
(These operators privide the CDESC and RDESC tokens).