Diego Calvanese Giuseppe De Giacomo Expressive Description Logics. 178-218 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#CalvaneseG03