Description Logics 2008: Dresden, Germany

Invited Talk

• Andrea Calì, Georg Gottlob, Michael Kifer:
  Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.
  Electronic Edition (link) BibTeX
• Bernhard Ganter: Mathematical Theory Makes Formal Concept Analysis Versatile. BibTeX
• Maarten Marx: XPath: (P)DL on Trees. BibTeX
• Kent A. Spackman: Using DL to Support a very Large Healthcare Terminology: Successes and Challenges. BibTeX

Oral Presentation

• Alessandro Artale, C. Maria Keet:
  Essential and Mandatory Part-Whole Relations in Conceptual Data Models.
  Electronic Edition (link) BibTeX
• Alessandro Artale, David Toman:
  Decidable Reasoning over Timestamped Conceptual Models.
  Electronic Edition (link) BibTeX
• Franz Baader, Silvio Ghilardi, Carsten Lutz:
  LTL over Description Logic Axioms.
  Electronic Edition (link) BibTeX
• Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn:
  A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.
  Electronic Edition (link) BibTeX
• Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat:
  DL-SR: a Lite DL with Expressive Rules: Preliminary Results.
  Electronic Edition (link) BibTeX
• Meghyn Bienvenu:
  Prime Implicate Normal Form for ALC Concepts.
  Electronic Edition (link) BibTeX
• Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro:
  Explanation in DL-Lite.
  Electronic Edition (link) BibTeX
• Adrien Coulet, Malika Smaïl-Tabbone, Amedeo Napoli, Marie-Dominique Devignes:
  Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics.
  Electronic Edition (link) BibTeX
• Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
  Towards Higher-Order DL-Lite.
  Electronic Edition (link) BibTeX
• Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller:
  A Hybrid Tableau Algorithm for ALCQ.
  Electronic Edition (link) BibTeX
• Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
  Bridging Heterogeneous Representations of Binary Relations: First Results.
  Electronic Edition (link) BibTeX
• Birte Glimm, Ian Horrocks, Ulrike Sattler:
  Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
  Electronic Edition (link) BibTeX
• Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori:
  Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.
  Electronic Edition (link) BibTeX
• Yevgeny Kazakov:
  SRIQ and SROIQ are Harder than SHOIQ.
  Electronic Edition (link) BibTeX
• Peihong Ke, Ulrike Sattler:
  Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.
  Electronic Edition (link) BibTeX
• Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
  Logical Difference and Module Extraction with CEX and MEX.
  Electronic Edition (link) BibTeX
• Roman Kontchakov, V. Ryzhikov, Frank Wolter, Michael Zakharyaschev:
  Checking DL-Lite Modularity with QBF Solvers.
  Electronic Edition (link) BibTeX
• Hongkai Liu, Carsten Lutz, Maja Milicic:
  The Projection Problem for EL Actions.
  Electronic Edition (link) BibTeX
• Lina Lubyte, Sergio Tessaris:
  Supporting the Design of Ontologies for Data Access.
  Electronic Edition (link) BibTeX
• Carsten Lutz:
  Two Upper Bounds for Conjunctive Query Answering in SHIQ.
  Electronic Edition (link) BibTeX
• Michael Mendler, Stephan Scheele:
  Towards Constructive DL for Abstraction and Refinement.
  Electronic Edition (link) BibTeX
• Ralf Möller, Volker Haarslev, Sebastian Wandelt:
  The Revival of Structural Subsumption in Tableau-based Reasoners.
  Electronic Edition (link) BibTeX
• Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler:
  The Representation of Structured Objects in DLs using Description Graphs.
  Electronic Edition (link) BibTeX
• Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
  Conjunctive Query Answering in SH using Knots.
  Electronic Edition (link) BibTeX
• Rafael Penaloza:
  Automata-based Pinpointing for DLs.
  Electronic Edition (link) BibTeX
• Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell:
  On Ordering and Indexing Metadata for the Semantic Web.
  Electronic Edition (link) BibTeX
• Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pan:
  A Kernel Revision Operator for Terminologies.
  Electronic Edition (link) BibTeX
• Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
  Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.
  Electronic Edition (link) BibTeX
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
  All Elephants are Bigger than All Mice.
  Electronic Edition (link) BibTeX
• Rob Shearer, Boris Motik, Ian Horrocks:
  Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
  Electronic Edition (link) BibTeX
• Viorica Sofronie-Stokkermans:
  Locality and Subsumption Testing in EL and Some of its Extensions.
  Electronic Edition (link) BibTeX
• Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan:
  Classifying Fuzzy Subsumption in Fuzzy-EL+.
  Electronic Edition (link) BibTeX
• David Toman, Grant E. Weddell:
  Identifying Objects Over Time with Description Logics.
  Electronic Edition (link) BibTeX
• Jiewen Wu, Volker Haarslev:
  Planning of Axiom Absorption.
  Electronic Edition (link) BibTeX

Poster

• Mina Aslani, Volker Haarslev:
  Towards Parallel Classifcation of TBoxes.
  Electronic Edition (link) BibTeX
• Mira Balaban, Azzam Maraee:
  A UML-Based Method for Deciding Finite Satisfiability in Description Logics.
  Electronic Edition (link) BibTeX
• Loris Bozzato, Mauro Ferrari, Paola Villa:
  Actions over a Constructive Semantics for ALC.
  Electronic Edition (link) BibTeX
• Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini:
  Partial and Informative Common Subsumers of Concepts Collections in Description Logics.
  Electronic Edition (link) BibTeX
• Olivier Couchariere, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier:
  Consistency Checking for Extended Description Logics.
  Electronic Edition (link) BibTeX
• Francis Gasse, Ulrike Sattler, Volker Haarslev:
  Rewriting Rules into SROIQ Axioms.
  Electronic Edition (link) BibTeX
• Martin Homola:
  Subsumption Propagation between Remote Ontologies in Distributed Description Logic.
  Electronic Edition (link) BibTeX
• C. Maria Keet:
  Unifying Industry-grade Class-based Conceptual Data Modeling Languages with CMcom.
  Electronic Edition (link) BibTeX
• Uwe Keller, Stijn Heymans:
  The SAT-Tableau Calculus.
  Electronic Edition (link) BibTeX
• Yue Ma, Pascal Hitzler, Zuoquan Lin:
  Paraconsistent Reasoning for Expressive and Tractable Description Logics.
  Electronic Edition (link) BibTeX
• Tobias Henrik Näth, Ralf Möller:
  ContraBovemRufum: A System for Probabilistic Lexicographic Entailment.
  Electronic Edition (link) BibTeX
• Fernando Náufel do Amaral, Carlos Bazilio Martins:
  Visualization of Description Logic Models.
  Electronic Edition (link) BibTeX
• Guilin Qi, Fangkai Yang:
  A Survey of Revision Approaches in Description Logics.
  Electronic Edition (link) BibTeX
• Saïd Radhouani, Gilles Falquet:
  Description Logics-Based Modelling for Precise Information Retrieval.
  Electronic Edition (link) BibTeX
• Anne Schlicht, Heiner Stuckenschmidt:
  Distributed Resolution for ALC.
  Electronic Edition (link) BibTeX
• Baris Sertkaya:
  Explaining User Errors in Knowledge Base Completion.
  Electronic Edition (link) BibTeX
• Nikolay Shilov:
  Realization Problem for Formal Concept Analysis.
  Electronic Edition (link) BibTeX
• Sebastian Wandelt:
  Partitioning OWL Knowledge Bases - Revisited and Revised.
  Electronic Edition (link) BibTeX