found: Work cat.: 2002023796: The description logic handbook, 2002:CIP publr. info. (description logics: a family of knowledge representation languages)
found: Description logics WWW home page, Mar. 12, 2002(logic-based knowledge representation languages tailored for expressing knowledge about concepts and concept hierarchies; a Tarski style declarative semantics allows them to be seen as a sub-language of predicate logic; basic building blocks are concepts, roles, and individuals)
found: LC database, Mar. 12, 2002(description logics)
