. . "Description logics"@en . _:b7iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b7iddOtlocdOtgovauthoritiessubjectssh2002004491 _:b8iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b7iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b8iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b8iddOtlocdOtgovauthoritiessubjectssh2002004491 "Description logics"@en . _:b11iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b11iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b11iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b11iddOtlocdOtgovauthoritiessubjectssh2002004491 "Logics, Description"@en . _:b11iddOtlocdOtgovauthoritiessubjectssh2002004491 _:b16iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b16iddOtlocdOtgovauthoritiessubjectssh2002004491 _:b17iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b16iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b17iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b17iddOtlocdOtgovauthoritiessubjectssh2002004491 "Logics, Description"@en . "150 $aDescription logics" . _:b22iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b22iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b22iddOtlocdOtgovauthoritiessubjectssh2002004491 "Q387.3" . _:b22iddOtlocdOtgovauthoritiessubjectssh2002004491 . . . "term logic" . . . . "Predicate (Logic)"@en . _:b36iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b36iddOtlocdOtgovauthoritiessubjectssh2002004491 _:b37iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b36iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b37iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b37iddOtlocdOtgovauthoritiessubjectssh2002004491 "Predicate (Logic)"@en . . . . "Knowledge representation (Information theory)"@en . _:b45iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b45iddOtlocdOtgovauthoritiessubjectssh2002004491 _:b46iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b45iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b46iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b46iddOtlocdOtgovauthoritiessubjectssh2002004491 "Knowledge representation (Information theory)"@en . . . "Description logics" . . . "Logica descrittiva"@it . . . "Terminologische Logik" . . . . . "Grimm, Stephan Semantic matchmaking with nonmonotonic description logics" . . . "Hamburger, Henry, 1940- Logic and language models for computer science" . . . "Krötzsch, Markus Description logic rules" . . . "Küsters, Ralf Non-standard inferences in description logics" . . . "Rademaker, Alexandre A proof theory for description logics" . . . "Richards, Dana Logic and language models for computer science" . . "sh2002004491" . . . _:b92iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b92iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b92iddOtlocdOtgovauthoritiessubjectssh2002004491 "Work cat.: 2002023796: The description logic handbook, 2002:" . _:b92iddOtlocdOtgovauthoritiessubjectssh2002004491 "CIP publr. info. (description logics: a family of knowledge representation languages)"@en . _:b92iddOtlocdOtgovauthoritiessubjectssh2002004491 "found" . _:b100iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b100iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b100iddOtlocdOtgovauthoritiessubjectssh2002004491 "Description logics WWW home page, Mar. 12, 2002" . _:b100iddOtlocdOtgovauthoritiessubjectssh2002004491 "(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)"@en . _:b100iddOtlocdOtgovauthoritiessubjectssh2002004491 "found" . _:b108iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b108iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b108iddOtlocdOtgovauthoritiessubjectssh2002004491 "LC database, Mar. 12, 2002" . _:b108iddOtlocdOtgovauthoritiessubjectssh2002004491 "(description logics)"@en . _:b108iddOtlocdOtgovauthoritiessubjectssh2002004491 "found" . _:b116iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b116iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b116iddOtlocdOtgovauthoritiessubjectssh2002004491 "2002-03-12T00:00:00"^^ . _:b116iddOtlocdOtgovauthoritiessubjectssh2002004491 "new"^^ . _:b116iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b116iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b124iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b124iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b124iddOtlocdOtgovauthoritiessubjectssh2002004491 "2002-05-13T09:42:20"^^ . _:b124iddOtlocdOtgovauthoritiessubjectssh2002004491 "revised"^^ . _:b124iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b124iddOtlocdOtgovauthoritiessubjectssh2002004491 . . "Description logics"@en . _:b135iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b135iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b135iddOtlocdOtgovauthoritiessubjectssh2002004491 "Logics, Description"@en . . . "Predicate (Logic)"@en . . . "Knowledge representation (Information theory)"@en . . . "term logic" . . . "Description logics" . . . "Logica descrittiva"@it . . . "Terminologische Logik" . . "Logics, Description"@en . _:b173iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b173iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b173iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b173iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b173iddOtlocdOtgovauthoritiessubjectssh2002004491 "2002-03-12T00:00:00"^^ . _:b173iddOtlocdOtgovauthoritiessubjectssh2002004491 "new"^^ . _:b181iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b181iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b181iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b181iddOtlocdOtgovauthoritiessubjectssh2002004491 . _:b181iddOtlocdOtgovauthoritiessubjectssh2002004491 "2002-05-13T09:42:20"^^ . _:b181iddOtlocdOtgovauthoritiessubjectssh2002004491 "revised"^^ .