| LC control no. | sh2002004491 |
|---|---|
| LC classification | Q387.3 |
| Topical heading | Description logics |
| Variant(s) | Logics, Description |
| See also | Knowledge representation (Information theory) Predicate (Logic) |
| Found in | Work cat.: 2002023796: The description logic handbook, 2002: CIP publr. info. (description logics: a family of knowledge representation languages) 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) LC database, Mar. 12, 2002 (description logics) |
 |  |  |