Vol-189 © 2006 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

2006 International Workshop on Description Logics (DL2006)

Windermere, Lake District, UK
May 30–June 1, 2006

Edited by
Bijan Parsia⁽¹⁾, Ulrike Sattler⁽²⁾, David Toman⁽³⁾

⁽¹⁾ Mindswap, University of Maryland, College Park, Maryland, U.S.A
⁽²⁾ School of Computer Science, University of Manchester, Manchester M13 9PL, UK
⁽³⁾ D.R. Cheriton School of Computer Science, University of Waterloo, Waterloo N2L 3G1, Canada

Table of Contents

Long papers

Conjunctive Query Answering for Description Logics with Transitive Roles
Birte Glimm, Ian Horrocks and Ulrike Sattler

Efficient Reasoning in EL+
Franz Baader, Carsten Lutz and Boontawee Suntisrivaraporn

DL Actions with GCIs: a Pragmatic Approach
Hongkai Liu, Carsten Lutz, Maja Milicic and Frank Wolter

Discrete Tableau Algorithms for FSHI
Yanhui Li, Baowen Xu, Jianjiang Lu and Dazhou Kang

Epistemic First-order Queries over Description Logic Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini and Riccardo Rosati

Data Complexity of Answering Unions of Conjunctive Queries in SHIQ
Magdalena Ortiz, Diego Calvanese and Thomas Eiter

PSPACE Automata for Description Logics
Jan Hladik and Rafael Peñaloza

Binary Absorption in Tableaux-Based Reasoning for Description Logics
Alexander K. Hudek and Grant Weddell

A Description Logic of Change
Alessandro Artale, Carsten Lutz and David Toman

Regular papers

Reasoning for Fuzzy Description Logic with Comparison Expressions
Dazhou Kang, Baowen Xu, Jianjiang Lu and Yanhui Li

Handling Imprecise Knowledge with Fuzzy Description Logic
Giorgos Stoilos, Giorgos Stamou and Jeff Pan

Finding Subsumers for Natural Language Presentation
Chris Mellish and Jeff Pan

SHIN ABox Reduction
Achille Fokoue, Aaron Kershenbaum and Li Ma

Tableau Caching for Description Logics with Inverse and Transitive Roles
Yu Ding and Volker Haarslev

On the Scalability of Description Logic Instance Retrieval
Ralf Möller, Volker Haarslev and Michael Wessel

High Performance Absorption Algorithms for Terminological Reasoning
Ming Zuo and Volker Haarslev

Automated Benchmarking of Description Logic Reasoners
Tom Gardiner, Ian Horrocks and Dmitry Tsarkov

Will my Ontologies Fit Together?
Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz and Ulrike Sattler

Description logic reasoning using the PTTP approach
Zsolt Nagy, Gergely Lukácsy and Peter Szeredi

Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results
Vladimir Kolovski, Bijan Parsia and Evren Sirin

Description Logic Reasoning for Dynamic ABoxes
Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin and Aditya Kalyanpur

Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments
Aditya Kalyanpur, Bijan Parsia and Bernardo Cuenca Grau

Optimizations for Answering Conjunctive ABox Queries
Evren Sirin and Bijan Parsia

Model checking the basic modalities of CTL with Description Logic
Shoham Ben-David, Richard Trefler and Grant Weddell

Towards Mobile Reasoning
Thomas Kleemann

Posters

Euclidian Roles in Description Logics
Giorgos Stoilos and Giorgos Stamou

Experiences with Load Balancing and Caching for Semantic Web Applications
Alissa Kaplunova, Atila Kaya and Ralf Möller

How sensor data interpretation could benefit from description logics: A practical case study
Ralf Möller and Sylvia Melzer

Cost-Efficient Web Service compositions for querying processes over reasoning services
Irma Sofia Espinosa Peraldi and Ralf Möller

Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Haiyan Che and Jigui Sun

A Tableaux-based Mobile DL Reasoner - An Experience Report
Felix Müller, Michael Hanselmann, Thorsten Liebig and Olaf Noppens

Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions
Kevin Lee, Thomas Meyer, Jeff Pan and Richard Booth

Pellet System Description
Evren Sirin and Bijan Parsia

Topological Reasoning in Basic Description
Matteo Cristani, Nicoletta Gabrielli and Paolo Torelli

The new ICOM Ontology Editor
Pablo Fillottrani, Enrico Franconi and Sergio Tessaris