Description Logics 2007: Brixen-Bressanone, Italy

Invited Talk

• Renée J. Miller:
  Retrospective on Clio: Schema Mapping and Data Exchange in Practice.
  

Session: DL-Lite

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

Session: DLs and other Formalisms

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

Session: (Conjunctive) Queries

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

Session: Multiple Ontologies, ABox reasoning & DL Applications

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

Invited Talk

• Hector J. Levesque:
  Some Further Thoughts on Expressiveness and Tractability.
  

Session: EL and DL Extensions

• Adila Krisnadhi, Carsten Lutz:
  Data Complexity in the EL family of DLs.
  
• Riccardo Rosati:
  On Conjunctive Query Answering in EL.
  
• Markus Krötzsch, Sebastian Rudolph:
  Conjunctive Queries for EL with Composition of Roles.
  
• Guilin Qi, Jeff Z. Pan, Qiu Ji:
  A Possibilistic Extension of Description Logics.
  
• Dave Turner, Jeremy Carroll:
  Practical Conforming Datatype Groups.
  
• Sébastien Ferré, Olivier Ridoux:
  From Description Logics to Logic Functors, and Back.
  
• 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

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

Session: Reasoning techniques

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

Session: (Dis)Similarity

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

Invited Talk

• Alexander Borgida:
  Knowledge Representation Meets Databases - a View of the Symbiosys.
  

Session: Actions and Enhancing reasoning

• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo 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, Fen Lin:
  Dynamic Description Logic: Embracing Actions into Description Logic.
  
• Anni-Yasmin Turhan, Yusri Bong:
  Speeding up Approximation with Nicer Concepts.
  
• Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
  Optimizing Tableau Reasoning in ALC Extended with Uncertainty.