Accepted papers and posters at the Description Logic Workshop 2004

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