Vol-250

© 2007 for the individual papers by the papers' authors. Copying permitted for private and scientific 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⁽¹⁾, Enrico Franconi⁽¹⁾, Volker Haarslev⁽²⁾, Domenico Lembo⁽³⁾,
Boris Motik⁽⁴⁾, Anni-Yasmin Turhan⁽⁵⁾, Sergio Tessaris⁽¹⁾

⁽¹⁾ Free University of Bozen-Bolzano, Italy
⁽²⁾ Concordia University, Canada
⁽³⁾ University of Rome La Sapienza, Italy
⁽⁴⁾ University of Manchester, UK
⁽⁵⁾ Technical University of Dresden, Germany

Complete Proceedings (in PDF)

	Invited Talk Renee J. Miller. Retrospective on Clio: Schema Mapping and Data Exchange in Practice
	Session: DL-Lite Raffaella Bernardi, Diego Calvanese and Camilo Thorne. Expressing DL-Lite Ontologies with Controlled English Diego Calvanese, Evgeny Kharlamov and Werner Nutt. A Proof Theory for DL-Lite R. Kontchakov, F. Wolter and M. Zakharyaschev. Modularity in DL-Lite (poster) D. Calvanese, G. De Giacomo, M. Lenzerini, D. Lembo, A. Poggi and R. Rosati. MASTRO-I: Efficient Integration of relational data through DL ontologies (poster) A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Complexity of Reasoning in Entity Relationship Models (poster) Lina Lubyte and Sergio Tessaris. Extracting Ontologies from Relational Databases (poster) J. Pan, G. Stamou, G. Stoilos and E. Thomas. Expressive Querying over Fuzzy DL-Lite Ontologies (poster) Umberto Straccia and Giulio Visco. DLMedia: an Ontology Mediated Multimedia Information Retrieval System

	Session: DLs and other formalisms Fangkai Yang and Xiaoping Chen. DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription Matthias Knorr, Jose Julio Alferes and Pascal Hitzler. A Well-founded Semantics for Hybrid MKNF Knowledge Bases Shoham Ben-David, Richard Trefler and Grant Weddell. Modal vs. Propositional Reasoning for model checking with Description Logics (poster) Nikolay Shilov, Igor Anureev and Natalia Garanina. Combining Two Formalism for Reasoning about Concepts (poster) Hassan Ait-Kaci. Description Logic vs. Order-Sorted Feature Logic (poster) Francesca Alessandra Lisi. Exploiting Description Logic Reasoners in Inductive Logic (poster) Taufiq Rochaeli and Claudia Eckert. Model Checking of Restricted CTL* formulas using ALCK (poster) Maria Keet. Prospects for and issues with mapping the Object-Role Modeling language into DLRifd (poster) Hector Ceballos and Francisco Cantú Ortíz. Integrating Semantic Annotations in Bayesian Causal Models

	Session: (Conjunctive) Queries Carsten Lutz. Inverse Roles Make Conjunctive Queries Hard Birte Glimm, Ian Horrocks and Ulrike Sattler. Conjunctive Query Entailment for SHOQ T. Eiter, G. Ianni, T. Krennwallner and R. Schindlauer. Exploiting Conjunctive Queries in Description Logic Programs Evgeny Zolin. Modal Logic Applied to Query Answering and the Case for Variable Modalities (poster) Manuel Dioturni and Maurizio Iacovella. Tools for the QuOnto System - Conversion between OWL and DL-Lite with Protégé-OWL Plug-in (poster) Edward Thomas and Jeff Pan. Efficient Query Answering Through Approximation (poster) Florian Fuchs and Michael Berger. Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes (poster) Amineh Fadhil and Volker Haarslev. OntoVQL: A Graphical Query Language for OWL Ontologies

	Session: Multiple Ontologies, ABox reasoning & DL Applications B. Cuenca Grau, I. Horrocks, Y. Kazakov and U. Sattler. Ontology Reuse: Better Safe than Sorry Chiara Ghidini, Luciano Serafini and Sergio Tessaris. On relating heterogeneous elements from different ontologies Jianfeng Du and Yi-Dong Shen. Partitioning ABoxes Based on Converting DL to Plain Datalog Vitaliy Khizder, David Toman and Grant Weddell. Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements (poster) A. Kaya, S. Melzer, R. Möller, S. Espinosa and M. Wessel. Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction (poster) Alex Borgida. On Importing Knowledge from DL Ontologies: some intuitions and problems (poster) G. Colombo, D. Merico, M. Antoniotti, F. De Paoli and G. Mauri. Ontological modelling for neurovascular disease study: issues in the adoption of Description Logic (poster) Martin Homola. Distributed Description Logics Revisited (poster) Antoine Zimmermann. Integrated Distributed Description Logics (poster) Alessandro Mosca and Matteo Palmonari. Action Based ABox Update: an Example from the Chemical Compound Formulation

	Invited Talk Hector Levesque. Some further thoughts on expressiveness and tractability
	Session: EL and DL Extensions Adila Krisnadhi and Carsten Lutz. Data Complexity in the EL family of DLs Riccardo Rosati. On conjunctive query answering in EL Markus Krötzsch and Sebastian Rudolph. Conjunctive Queries for EL with Composition of Roles (poster) Guilin Qi, Jeff Pan and Qiu JI. A Possibilistic Extension of Description Logics (poster) Dave Turner and Jeremy Carroll. Practical Conforming Datatype Groups (poster) Sebastien Ferre and Olivier Ridoux. From Description Logics to Logic Functors, and Back (poster) Hansje Braam. Structural Theory of Science as a systematic framework for the design of DL's and CD's for E-science

	Session: Handling Inconsistency F. Baader, R. Penaloza and B. Suntisrivaraporn. Pinpointing in the Description Logic EL Yue Ma, Guilin Qi, Pascal Hitzler and Zuoquan Lin. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics Domenico Lembo and Marco Ruzzi. Consistent Query Answering over Description Logic Ontologies (poster) Thorsten Liebig, Stephan Scheele and Julian Lambertz. Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods (poster) K. Goczyla, W. Waloszek and A. Waloszek. Contextualization of a DL Knowledge Base (poster) Martins Barinskis and Guntis Barzdins. The Minimal Finite Model Visualization as an Ontology Debugging Tool (poster) Yue Ma, Pascal Hitzler and Zuoquan Lin. Paraconsistent Resolution for Four-valued Description Logics

	Session: Reasoning techniques Franz Baader, Jan Hladik and Rafael Penaloza. Blocking Automata for PSPACE DLs Renate Schmidt and Dmitry Tishkovsky. Deciding ALBO with tableau Yu Ding, Volker Haarslev and Jiewen Wu. A New Mapping from ALCI to ALC Boris Motik, Rob Shearer and Ian Horrocks. A Hypertableau Calculus for SHIQ (poster) Jean-David Roubach, Pascal Yim and Joaquin Rodriguez. Description Logics in the Calculus of Structures (poster) Yu Ding and Volker Haarslev. An ExpTime Tableau Decision Procedure for ALCQI (poster) L. Bozzato, M. Ferrari, C. Fiorentini and G. Fiorino. A constructive semantics for ALC (poster) Heiner Stuckenschmidt. Approximate Subsumption for Complex Description Logics (poster) Rajeev Gore and Linh Anh Nguyen. EXPTIME Tableaux for ALC Using Sound Global Caching (poster) Sebastian Wandelt. Automated Evaluation of Description Logic Reasoning Systems

	Session: (Dis)Similarity J. Pound, L. Stanchev, D. Toman and G. Weddell. On Ordering Descriptions in a Description Logic A. Ragone, T. Di Noia, E. Di Sciascio and F. Donini. DL-based alternating-offers protocol for automated multi-issue bilateral negotiation Meghyn Bienvenu. Consequence Finding in ALC Alain Leger, Christophe Rey and Toumani Farouk. Semantic difference in ALN (poster) B. Benatallah, M. Hacid, A. Leger, C. Rey and F. Toumani. A general framework for covering concepts using terminologies (poster) Rudi Araújo and H. Sofia Pinto. SEMilarity: Towards a Model-Driven Approach to Similarity (poster) Nicola Fanizzi, Claudia d'Amato and Floriana Esposito. Induction of Optimal Semi-distances for Individuals based on Feature Sets (poster) Changli Zhang, Jian Wu and Zhengguo Hu. A Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing

	Invited Talk Alex Borgida. Knowledge Representation Meets Databases – a view of the symbiosys

	Session: Actions and Enhancing reasoning D. Calvanese, G. De Giacomo, M. Lenzerini and R. Rosati. Actions and programs over description logic ontologies Maja Milicic. Planning in Action Formalisms based on DLs: First Results Liang Chang, Zhongzhi Shi, Lirong Qiu and Fen Lin. Dynamic Description Logic: Embracing Actions into Description Logic Anni-Yasmin Turhan and Yusri Bong. Speeding up approximation with nicer concepts Volker Haarslev, Hsueh-Ieng Pai and Nematollaah Shiri. Optimizing tableau reasoning in ALC extended with uncertainty

Submitted to CEUR-WS by Enrico Franconi, 28 May, 2007.