Long Papers

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

Regular Papers

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


Giorgos Stoilos and Giorgos Stamou. Euclidian Roles in Description Logics
Krzysztof Goczyla, Wojciech Waloszek, Teresa Zawadzka and Michal Zawadzki. Creating Maps of Concepts for DL Ontologies
Alissa Kaplunova, Atila Kaya and Ralf Möller. Experiences with Load Balancing and Caching for Semantic Web Applications
Ralf Möller and Sylvia Melzer. How sensor data interpretation could benefit from description logics: A practical case study
Irma Sofia Espinosa Peraldi and Ralf Möller. Cost-Efficient Web Service compositons for querying processes over reasoning services
Haiyan Che and Jigui Sun. Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Felix Müller, Michael Hanselmann, Thorsten Liebig and Olaf Noppens. A Tableaux-based Mobile DL Reasoner - An Experience Report -
Jie Bao, Doina Caragea and Vasant Honavar. On the Semantics of Linking and Importing in Modular Ontologies
Kevin Lee, Thomas Meyer, Jeff Pan and Richard Booth. Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions
Evren Sirin and Bijan Parsia. Pellet System Description
Matteo Cristani, Nicoletta Gabrielli and Paolo Torelli. Topological Reasoning in Basic Description
Pablo Fillottrani, Enrico Franconi and Sergio Tessaris. The new ICOM Ontology Editor