Bijan Parsia, Ulrike Sattler, David Toman (Eds.):
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006.
CEUR Workshop Proceedings 189 CEUR-WS.org 2006 
Long papers
- Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles.
- Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn:
Efficient Reasoning in EL+.
- Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
DL Actions with GCIs: a Pragmatic Approach.
- Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang:
Discrete Tableau Algorithms for FSHI.
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases.
- Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.
- Jan Hladik, Rafael Peñaloza:
PSPACE Automata for Description Logics.
- Alexander K. Hudek, Grant E. Weddell:
Binary Absorption in Tableaux-Based Reasoning for Description Logics.
- Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change.
Regular papers
- Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li:
Reasoning for Fuzzy Description Logic with Comparison Expressions.
- Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan:
Handling Imprecise Knowledge with Fuzzy Description Logic.
- Chris Mellish, Jeff Z. Pan:
Finding Subsumers for Natural Language Presentation.
- Achille Fokoue, Aaron Kershenbaum, Li Ma:
SHIN ABox Reduction.
- Yu Ding, Volker Haarslev:
Tableau Caching for Description Logics with Inverse and Transitive Roles.
- Ralf Möller, Volker Haarslev, Michael Wessel:
On the Scalability of Description Logic Instance Retrieval.
- Ming Zuo, Volker Haarslev:
High Performance Absorption Algorithms for Terminological Reasoning.
- Tom Gardiner, Ian Horrocks, Dmitry Tsarkov:
Automated Benchmarking of Description Logic Reasoners.
- Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler:
Will my Ontologies Fit Together?
- Zsolt Nagy, Gergely Lukácsy, Péter Szeredi:
Description logic reasoning using the PTTP approach.
- Vladimir Kolovski, Bijan Parsia, Evren Sirin:
Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results.
- Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin, Aditya Kalyanpur:
Description Logic Reasoning for Dynamic ABoxes.
- Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau:
Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments.
- Evren Sirin, Bijan Parsia:
Optimizations for Answering Conjunctive ABox Queries.
- Shoham Ben-David, Richard J. Trefler, Grant E. Weddell:
Model checking the basic modalities of CTL with Description Logic.
- Thomas Kleemann:
Towards Mobile Reasoning.
Posters
- Giorgos Stoilos, Giorgos B. Stamou:
Euclidian Roles in Description Logics.
- Alissa Kaplunova, Atila Kaya, Ralf Möller:
Experiences with Load Balancing and Caching for Semantic Web Applications.
- Ralf Möller, Sylvia Melzer:
How sensor data interpretation could benefit from description logics: A practical case study.
- Irma Sofia Espinosa Peraldi, Ralf Möller:
Cost-Efficient Web Service compositions for querying processes over reasoning services.
- Haiyan Che, Jigui Sun:
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic.
- Felix Müller, Michael Hanselmann, Thorsten Liebig, Olaf Noppens:
A Tableaux-based Mobile DL Reasoner - An Experience Report.
- Kevin Lee, Thomas Meyer, Jeff Z. Pan, Richard Booth:
Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions.
- Evren Sirin, Bijan Parsia:
Pellet System Description.
- Matteo Cristani, Nicoletta Gabrielli, Paolo Torelli:
Topological Reasoning in Basic Description.
- Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
The new ICOM Ontology Editor.
Last update Wed Feb 15 04:03:23 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
