TY  - BOOK
AU  - Baader Franz [...et al] Au.
TI  - Introduction to description logic
SN  - 9780521873611 (hbk)
U1  - R1, Q7 
PY  - 2017///
CY  - Cambridge
PB  - Cambridge University Press UK    
KW  - LOGIC; PHILOSOPHY
ER  -