** 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 ):

Fri May 24 16:47:01 MET DST 1996