[CEUR Workshop Proceedings] Vol-250

© 2007 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.


Proceedings of the

DL Home

2007 International Workshop on
Description Logics (
DL2007)


Brixen-Bressanone, near Bozen-Bolzano, Italy
8–10 June, 2007

Edited by
Diego Calvanese (1), Enrico Franconi (1), Volker Haarslev (2), Domenico Lembo (3),
Boris Motik (4), Anni-Yasmin Turhan (5), Sergio Tessaris (1)

(1) Free University of Bozen-Bolzano, Italy
(2) Concordia University, Canada
(3) University of Rome La Sapienza, Italy
(4) University of Manchester, UK
(5) Technical University of Dresden, Germany


Complete Proceedings (in PDF)

Invited Talk
Session: DL-Lite
Session: DLs and other formalisms
Session: (Conjunctive) Queries
Session: Multiple Ontologies, ABox reasoning & DL Applications
Invited Talk
Session: EL and DL Extensions
Session: Handling Inconsistency
Session: Reasoning techniques
Session: (Dis)Similarity
Invited Talk
Session: Actions and Enhancing reasoning

submitted to CEUR-WS.org by Enrico Franconi, 28-May-2007
published on CEUR-WS.org, 28-May-2007
removed link to non-existing paper_66, 11-Oct-2011