Introduction to description logic - Baader Franz [...et al] Au. (Cambridge Cambridge University Press UK, 2017)
Keywords: LOGIC; PHILOSOPHY