Description Logics 2007: Brixen-Bressanone, Italy

Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris (Eds.): Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR Workshop Proceedings 250 CEUR-WS.org 2007 BibTeX

Invited Talk

Renée J. Miller:
Retrospective on Clio: Schema Mapping and Data Exchange in Practice.
Electronic Edition (link) BibTeX

Session: DL-Lite

Raffaella Bernardi, Diego Calvanese, Camilo Thorne:
Expressing DL-Lite Ontologies with Controlled English.
Electronic Edition (link) BibTeX
Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
A Proof Theory for DL-Lite.
Electronic Edition (link) BibTeX
Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Modularity in DL-Lite.
Electronic Edition (link) BibTeX
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati:
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies.
Electronic Edition (link) BibTeX
Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models.
Electronic Edition (link) BibTeX
Lina Lubyte, Sergio Tessaris:
Extracting Ontologies from Relational Databases.
Electronic Edition (link) BibTeX
Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Edward Thomas:
Expressive Querying over Fuzzy DL-Lite Ontologies.
Electronic Edition (link) BibTeX
Umberto Straccia, Giulio Visco:
DLMedia: an Ontology Mediated Multimedia Information Retrieval System.
Electronic Edition (link) BibTeX

Session: DLs and other Formalisms

Fangkai Yang, Xiaoping Chen:
DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription.
Electronic Edition (link) BibTeX
Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
Electronic Edition (link) BibTeX
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell:
Modal vs. Propositional Reasoning for model checking with Description Logics.
Electronic Edition (link) BibTeX
Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina:
Combining Two Formalism for Reasoning about Concepts.
Electronic Edition (link) BibTeX
Hassan Aït-Kaci:
Description Logic vs. Order-Sorted Feature Logic.
Electronic Edition (link) BibTeX
Francesca A. Lisi:
Exploiting Description Logic Reasoners in Inductive Logic.
Electronic Edition (link) BibTeX
Taufiq Rochaeli, Claudia Eckert:
Model Checking of Restricted CTL* Formulas using ALCK.
Electronic Edition (link) BibTeX
C. Maria Keet:
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd.
Electronic Edition (link) BibTeX
Hector G. Ceballos, Francisco J. Cantú Ortiz:
Integrating Semantic Annotations in Bayesian Causal Models.
Electronic Edition (link) BibTeX

Session: (Conjunctive) Queries

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

Session: Multiple Ontologies, ABox reasoning & DL Applications

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry.
Electronic Edition (link) BibTeX
Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
On Relating Heterogeneous Elements from Different Ontologies.
Electronic Edition (link) BibTeX
Jianfeng Du, Yi-Dong Shen:
Partitioning ABoxes Based on Converting DL to Plain Datalog.
Electronic Edition (link) BibTeX
Vitaliy L. Khizder, David Toman, Grant E. Weddell:
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.
Electronic Edition (link) BibTeX
Atila Kaya, Sylvia Melzer, Ralf Möller, Sergio Espinosa, Michael Wessel:
Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction.
Electronic Edition (link) BibTeX
Alexander Borgida:
On Importing Knowledge from DL Ontologies: Some Intuitions and Problems.
Electronic Edition (link) BibTeX
Gianluca Colombo, Daniele Merico, Marco Antoniotti, Flavio De Paoli, Giancarlo Mauri:
Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic.
Electronic Edition (link) BibTeX
Martin Homola:
Distributed Description Logics Revisited.
Electronic Edition (link) BibTeX
Antoine Zimmermann:
Integrated Distributed Description Logics.
Electronic Edition (link) BibTeX
Alessandro Mosca, Matteo Palmonari:
Action Based ABox Update: an Example from the Chemical Compound Formulation.
Electronic Edition (link) BibTeX

Invited Talk

Hector J. Levesque:
Some Further Thoughts on Expressiveness and Tractability.
Electronic Edition (link) BibTeX

Session: EL and DL Extensions

Adila Krisnadhi, Carsten Lutz:
Data Complexity in the EL family of DLs.
Electronic Edition (link) BibTeX
Riccardo Rosati:
On Conjunctive Query Answering in EL.
Electronic Edition (link) BibTeX
Markus Krötzsch, Sebastian Rudolph:
Conjunctive Queries for EL with Composition of Roles.
Electronic Edition (link) BibTeX
Guilin Qi, Jeff Z. Pan, Qiu Ji:
A Possibilistic Extension of Description Logics.
Electronic Edition (link) BibTeX
Dave Turner, Jeremy Carroll:
Practical Conforming Datatype Groups.
Electronic Edition (link) BibTeX
Sébastien Ferré, Olivier Ridoux:
From Description Logics to Logic Functors, and Back.
Electronic Edition (link) BibTeX
Hansje Braam:
Structural Theory of Science as a Systematic Framework for the Design of DL's and CD's for E-science.
Electronic Edition (link) BibTeX

Session: Handling Inconsistency

Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL.
Electronic Edition (link) BibTeX
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin:
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Electronic Edition (link) BibTeX
Domenico Lembo, Marco Ruzzi:
Consistent Query Answering over Description Logic Ontologies.
Electronic Edition (link) BibTeX
Thorsten Liebig, Stephan Scheele, Julian Lambertz:
Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods.
Electronic Edition (link) BibTeX
Krzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek:
Contextualization of a DL Knowledge Base.
Electronic Edition (link) BibTeX
Martins Barinskis, Guntis Barzdins:
The Minimal Finite Model Visualization as an Ontology Debugging Tool.
Electronic Edition (link) BibTeX
Yue Ma, Pascal Hitzler, Zuoquan Lin:
Paraconsistent Resolution for Four-valued Description Logics.
Electronic Edition (link) BibTeX

Session: Reasoning techniques

Franz Baader, Jan Hladik, Rafael Peñaloza:
Blocking Automata for PSPACE DLs.
Electronic Edition (link) BibTeX
Renate A. Schmidt, Dmitry Tishkovsky:
Deciding ALBO with Tableau.
Electronic Edition (link) BibTeX
Yu Ding, Volker Haarslev, Jiewen Wu:
A New Mapping from ALCI to ALC.
Electronic Edition (link) BibTeX
Boris Motik, Rob Shearer, Ian Horrocks:
A Hypertableau Calculus for SHIQ.
Electronic Edition (link) BibTeX
Jean-David Roubach, Pascal Yim, Joaquin Rodriguez:
Description Logics in the Calculus of Structures.
Electronic Edition (link) BibTeX
Yu Ding, Volker Haarslev:
An ExpTime Tableau Decision Procedure for ALCQI.
Electronic Edition (link) BibTeX
Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
A Constructive Semantics for ALC.
Electronic Edition (link) BibTeX
Heiner Stuckenschmidt:
Approximate Subsumption for Complex Description Logics.
Electronic Edition (link) BibTeX
Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux for ALC Using Sound Global Caching.
Electronic Edition (link) BibTeX
Sebastian Wandelt:
Automated Evaluation of Description Logic Reasoning Systems.
Electronic Edition (link) BibTeX

Session: (Dis)Similarity

Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell:
On Ordering Descriptions in a Description Logic.
Electronic Edition (link) BibTeX
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation.
Electronic Edition (link) BibTeX
Meghyn Bienvenu:
Consequence Finding in ALC.
Electronic Edition (link) BibTeX
Alain Léger, Christophe Rey, Farouk Toumani:
Semantic Difference in ALN.
Electronic Edition (link) BibTeX
Boualem Benatallah, Mohand-Said Hacid, Alain Léger, Christophe Rey, Farouk Toumani:
A General Framework for Covering Concepts using Terminologies.
Electronic Edition (link) BibTeX
Rudi Araújo, Helena Sofia Pinto:
SEMilarity: Towards a Model-Driven Approach to Similarity.
Electronic Edition (link) BibTeX
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito:
Induction of Optimal Semi-distances for Individuals based on Feature Sets.
Electronic Edition (link) BibTeX
Changli Zhang, Jian Wu, Zhengguo Hu:
A Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing.
Electronic Edition (link) BibTeX

Invited Talk

Alexander Borgida:
Knowledge Representation Meets Databases - a View of the Symbiosys.
Electronic Edition (link) BibTeX

Session: Actions and Enhancing reasoning

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Actions and Programs over Description Logic Ontologies.
Electronic Edition (link) BibTeX
Maja Milicic:
Planning in Action Formalisms based on DLs: First Results.
Electronic Edition (link) BibTeX
Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin:
Dynamic Description Logic: Embracing Actions into Description Logic.
Electronic Edition (link) BibTeX
Anni-Yasmin Turhan, Yusri Bong:
Speeding up Approximation with Nicer Concepts.
Electronic Edition (link) BibTeX
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
Optimizing Tableau Reasoning in ALC Extended with Uncertainty.
Electronic Edition (link) BibTeX