Accepted papers
Alessandro Artale
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Sebastian Brandt
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
Implementing Finite Model Reasoning in DLs
Andrea Cali, Diego Calvanese, Simona Colucci, Tommaso Di Noia,
Francesco M. Donini
A Description Logic Based Approach for Matching User Profiles
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo
Rosati, Guido Vetere
DL-lite: Practical Reasoning for Rich DLs
S. Colucci, T. Di Noia, E. Di Sciascio, F.M. Donini, M. Mongiello
Uniform Tableaux-Based Approach to Concept Abduction and Contraction in
ALN DL
Ronald Cornet, Ameen Abu-Hanna
Using Non-Primitive Concept Definitions for Improving DL-based
Knowledge Bases
Paolo Dongilli, Enrico Franconi, Sergio Tessaris
Semantics driven support for query formulation
Brian Gaines
Understanding Ontologies in Scholarly Disciplines
Volker Haarslev , Ralf Möller , Ragnhild Van Der Straeten, Michael
Wessel
Extended Query Facilities for Racer and an Application to
Software-Engineering Problems
Volker Haarslev, Ying Lu
OntoXPL: Exploration of OWL Ontologies
Jan Hladik, Jörg Model
Tableau Systems for SHIO and SHIQ
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
The Instance Store: DL Reasoning with Large Numbers of Individuals
Eldar Karabaev, Carsten Lutz
Mona as a DL reasoner
Holger Knublauch, Mark A. Musen
Editing Description Logic Ontologies with the Protege OWL Plugin
Thorsten Liebig, Holger Pfeifer, Friedrich von Henke
Reasoning Services for an OWL Authoring Tool: A Requirements Analysis
Luciano Serafini, Andrei Tamilin
Local tableaux for reasoning in distributed description logics
David Toman, Grant Weddell
Attribute Inversion in Description Logics with Path Functional
Dependencies
Dmitry Tsarkov, Ian Horrocks
Efficient Reasoning with Range and Domain Constraints
Anni-Yasmin Turhan, Christian Kissig
SONIC - System Description
Accepted Posters:
Bernardo Cuenca Grau, Bijan Parsia
From SHOQ(D) toward E-connections
Cartik R. Kothari, David J. Russomanno
Specifying the disjoint nature of object
Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo
Pinheiro da Silva
Towards Explainig Semantic Matching
Jeff Z. Pan
Extending DL Reasoning Support for the OWL Datatyping