next up previous
Next: About this document Up: No Title Previous: References

Appendix: Semantics of DL Elements

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

Volker Haarslev
Fri May 24 16:47:01 MET DST 1996