TY  - BOOK
AU  - Baader, Franz
TI  - An Introduction To Description Logic
SN  - 9780521695428
U1  - 006.332 
PY  - 2017///
PB  - Cambridge
KW  - Computer Science
ER  -