Let C
be the set of concepts and R
the set of roles in a DL
theory. A model is a set D
and an assignment function 
such
that 
, 
where 
is the powerset
of the domain D
, where 
and
where 
must satisfy the following conditions (concept names are
denoted by c
and role names by r
):
