Maarten de Rijke Description Logics and Modal Logics. 1998 conf/dlog/1998 Description Logics http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-11/derijke-inv.ps db/conf/dlog/dlog1998.html#Rijke98