Reasoning on UML Class Diagrams using Description Logic Based Systems
Günther Görz, Volker Haarslev, Carsten Lutz, Ralf Möller, Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Sebastian Brandt, Anni-Yasmin Turhan, Kerstin Bücher, Yves Forkl, Martin Klarner, Bernd Ludwig, Bertrand de Beuvron, Martina Kullmann, François Rous, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli · 2001
Recently, a growing interest in description logics and their applications can be observed. This is mainly due to the development of very expressive description logics and optimized description logic systems which support terminological and/or assertional reasoning for these logics. This workshop intended to gather researchers as well as practitioners who are interested in description logics and their applications. The primary focus of this workshop was on applications of description logics. Ian Horrocks, University of Manchester, gives a tutorial-style talk about latest developments in description logic research. These proceedings can also be found at http://www.CEUR-WS.org.