Daniela Berardi Description Logics for e-Service Composition. 2004 conf/dlog/2004 Description Logics http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-104/26Berardi.pdf db/conf/dlog/dlog2004.html#Berardi04