Daniele Nardi Ronald J. Brachman An Introduction to Description Logics. 1-40 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#NardiB03