| 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 |
| 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 |