An Introduction to Description Logic By: Ian Horrocks, Franz Baader, Carsten Lutz, and 1 more Read more