Description Logics 2006: Windermere, Lake District, UK

Long papers

• Birte Glimm, Ian Horrocks, Ulrike Sattler:
  Conjunctive Query Answering for Description Logics with Transitive Roles.
  Electronic Edition (link) BibTeX
• Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn:
  Efficient Reasoning in EL+.
  Electronic Edition (link) BibTeX
• Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
  DL Actions with GCIs: a Pragmatic Approach.
  Electronic Edition (link) BibTeX
• Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang:
  Discrete Tableau Algorithms for FSHI.
  Electronic Edition (link) BibTeX
• Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
  Epistemic First-order Queries over Description Logic Knowledge Bases.
  Electronic Edition (link) BibTeX
• Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
  Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.
  Electronic Edition (link) BibTeX
• Jan Hladik, Rafael Peñaloza:
  PSPACE Automata for Description Logics.
  Electronic Edition (link) BibTeX
• Alexander K. Hudek, Grant E. Weddell:
  Binary Absorption in Tableaux-Based Reasoning for Description Logics.
  Electronic Edition (link) BibTeX
• Alessandro Artale, Carsten Lutz, David Toman:
  A Description Logic of Change.
  Electronic Edition (link) BibTeX

Regular papers

• Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li:
  Reasoning for Fuzzy Description Logic with Comparison Expressions.
  Electronic Edition (link) BibTeX
• Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan:
  Handling Imprecise Knowledge with Fuzzy Description Logic.
  Electronic Edition (link) BibTeX
• Chris Mellish, Jeff Z. Pan:
  Finding Subsumers for Natural Language Presentation.
  Electronic Edition (link) BibTeX
• Achille Fokoue, Aaron Kershenbaum, Li Ma:
  SHIN ABox Reduction.
  Electronic Edition (link) BibTeX
• Yu Ding, Volker Haarslev:
  Tableau Caching for Description Logics with Inverse and Transitive Roles.
  Electronic Edition (link) BibTeX
• Ralf Möller, Volker Haarslev, Michael Wessel:
  On the Scalability of Description Logic Instance Retrieval.
  Electronic Edition (link) BibTeX
• Ming Zuo, Volker Haarslev:
  High Performance Absorption Algorithms for Terminological Reasoning.
  Electronic Edition (link) BibTeX
• Tom Gardiner, Ian Horrocks, Dmitry Tsarkov:
  Automated Benchmarking of Description Logic Reasoners.
  Electronic Edition (link) BibTeX
• Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler:
  Will my Ontologies Fit Together?
  Electronic Edition (link) BibTeX
• Zsolt Nagy, Gergely Lukácsy, Péter Szeredi:
  Description logic reasoning using the PTTP approach.
  Electronic Edition (link) BibTeX
• Vladimir Kolovski, Bijan Parsia, Evren Sirin:
  Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results.
  Electronic Edition (link) BibTeX
• Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin, Aditya Kalyanpur:
  Description Logic Reasoning for Dynamic ABoxes.
  Electronic Edition (link) BibTeX
• Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau:
  Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments.
  Electronic Edition (link) BibTeX
• Evren Sirin, Bijan Parsia:
  Optimizations for Answering Conjunctive ABox Queries.
  Electronic Edition (link) BibTeX
• Shoham Ben-David, Richard J. Trefler, Grant E. Weddell:
  Model checking the basic modalities of CTL with Description Logic.
  Electronic Edition (link) BibTeX
• Thomas Kleemann:
  Towards Mobile Reasoning.
  Electronic Edition (link) BibTeX

Posters

• Giorgos Stoilos, Giorgos B. Stamou:
  Euclidian Roles in Description Logics.
  Electronic Edition (link) BibTeX
• Alissa Kaplunova, Atila Kaya, Ralf Möller:
  Experiences with Load Balancing and Caching for Semantic Web Applications.
  Electronic Edition (link) BibTeX
• Ralf Möller, Sylvia Melzer:
  How sensor data interpretation could benefit from description logics: A practical case study.
  Electronic Edition (link) BibTeX
• Irma Sofia Espinosa Peraldi, Ralf Möller:
  Cost-Efficient Web Service compositions for querying processes over reasoning services.
  Electronic Edition (link) BibTeX
• Haiyan Che, Jigui Sun:
  Static Knowledge Representation of Multi-Agent System's Specification by Description Logic.
  Electronic Edition (link) BibTeX
• Felix Müller, Michael Hanselmann, Thorsten Liebig, Olaf Noppens:
  A Tableaux-based Mobile DL Reasoner - An Experience Report.
  Electronic Edition (link) BibTeX
• Kevin Lee, Thomas Meyer, Jeff Z. Pan, Richard Booth:
  Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions.
  Electronic Edition (link) BibTeX
• Evren Sirin, Bijan Parsia:
  Pellet System Description.
  Electronic Edition (link) BibTeX
• Matteo Cristani, Nicoletta Gabrielli, Paolo Torelli:
  Topological Reasoning in Basic Description.
  Electronic Edition (link) BibTeX
• Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
  The new ICOM Ontology Editor.
  Electronic Edition (link) BibTeX