Next: About this document Up: No Title Previous: References
Next: About this document
Up: No Title
Previous: References
Let 
be the set of concepts and
the set of roles in a DL theory. A
model is a set 
and an assignment
function 
such that
,
where
is the powerset of the domain
, where
and where
must satisfy the following conditions
(concept names are denoted by 
and role names
by 
):
