TY  - BOOK
AU  - Baader,Franz
AU  - Horrocks,Ian
AU  - Lutz,Carsten
AU  - Sattler,Ulrike
TI  - An introduction to description logic
SN  - 9780521695428
PY  - 2017///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Description logics
KW  - Knowledge representation (information theory)
KW  - Computer science
KW  - Databases
N1  - References : page 234-251
ER  -