| Vol-104 © 2004 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

# Proceedings of the

| # 2004 International Workshop on Description Logics (DL2004)

Whistler, British Columbia, Canada
June 6-8, 2004

Edited by
Volker Haarslev(1), Ralf Möller(2)
(1) Concordia University, Montreal, Canada
(2) Technical University Hamburg-Harburg, Germany

## Table of Contents

[Download Proceedings]
Preface

### Theory 1

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

### Implementation Techniques 1

Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
The Instance Store: DL Reasoning with Large Numbers of Individuals Dmitry Tsarkov, Ian Horrocks
Efficient Reasoning with Range and Domain Constraints Eldar Karabaev, Carsten Lutz
Mona as a DL Reasoner

### Graphical Interfaces 1

Volker Haarslev, Ying Lu, Nematollah Shiri
OntoXpl: Exploration of OWL Ontologies Holger Knublauch, Mark A. Musen, Alan L. Rector
Editing Description Logic Ontologies with the Protégé OWL Plugin Thorsten Liebig, Holger Pfeifer, Friedrich von Henke
Reasoning Services for an OWL Authoring Tool: An Experience Report

### Implementation Techniques 2

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
Towards Implementing Finite Model Reasoning in Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
DL-Lite: Practical Reasoning for Rich Dls Luciano Serafini, Andrei Tamilin
Local Tableaux for Reasoning in Distributed Description Logics

### Applications 1

Andrea Cali, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
A Description Logic Based Approach for Matching User Profiles Paolo Dongilli, Enrico Franconi, Sergio Tessaris
Semantics Driven Support for Query Formulation

### Posters

Bernardo Cuenca Grau, Bijan Parsia
From SHOQ(D) Toward E-connections Cartik R. Kothari, David J. Russomanno
Specifying the Disjoint Nature of Object Properties in DL Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva
Towards Explaining Semantic Matching Jeff Z. Pan, Ian Horrocks
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?")

### Applications 2

Ronald Cornet, Ameen Abu-Hanna
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases Volker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel
Extended Query Facilities for Racer and an Application to Software-Engineering Problems

### Theory 2

S. Colucci, T. Di Noia, E. Di Sciascio, F.M. Donini, M. Mongiello
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN Jan Hladik, Jörg Model
Tableau Systems for SHIO and SHIQ David Toman, Grant Weddel
Attribute Inversion in Description Logic with Path Functional Dependencies

### Graphical Interfaces 2

Anni-Yasmin Turhan, Christian Kissig
Sonic: System Description Brian R Gaines
Understanding Ontologies in Scholarly Disciplines

### Position Papers

Daniela Berardi
Description Logics for e-Service Composition Ken Kaneiwa
Description Logic and Order-sorted Logic Francis Kwong
Explaining Description Logic Reasoning Toni Mancini
Finite Satisfiability of UML Class Diagrams by Constraint Programming Evren Sirin, Bijan Parsia
Pellet: An OWL DL Reasoner Stefan Schulz
DL Requirements from Medicine and Biology

Submitted to CEUR-WS by Volker Haarslev.
Last modified: Sat Jun 12 10:10:00 2004 by Volker Haarslev