[CEUR Workshop Proceedings] 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

DL Home

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