Normal view
MARC view
- Description logics
Description logics (Topical Term)
Used for/see from:
- Logics, Description
- Betimleme mantığı
- Betimleme mantıkları
See also:
- Broader heading: Knowledge representation (Information theory)
- Broader heading: Predicate (Logic)
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)
TR-AnTOB Op 12.05.2020