| Vol-147 © 2005 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

| # 2005 International Workshop on Description Logics (DL2005)

Edinburgh, Scotland, UK
July 26–28, 2005

Edited by
Ian Horrocks(1), Ulrike Sattler(1), Frank Wolter(2)
(1) University of Manchester, School of Computer Science, Kilburn Building, Oxford Road, Manchester M13 9PL, UK
(2) University of Liverpool, Department of Computer Science, Chadwick Building, Peach Street, Liverpool L69 7ZF, UK

## Table of Contents

### Long papers

A new n-ary existential quantifier in description logics
Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen

Integrating Description Logics and Action Formalisms: First Results
Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, and Frank Wolter

.Closer. representation and reasoning
M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev

A Tableau Algorithm for DLs with Concrete Domains and GCIs
Carsten Lutz and Maja Milicic

Data Complexity of Query Answering in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati

Rules and Queries with Ontologies: a Unifying Logical Framework
Sergio Tessaris and Enrico Franconi

On Path-functional Dependencies as First-class Citizens in Description Logics
David Toman and Grant Weddell

A High Performance Semantic Web Query Answering Engine
Michael Wessel and Ralf Möller

### Regular papers

Fuzzy ALC with Fuzzy Concrete Domains
Umberto Straccia

Probabilistic ABox Reasoning: Preliminary Results
Michael Dürig and Thomas Studer

Query rewriting using views in presence of value constraints
Helene Jaudoin, Jean-Marc Petit, Rey Christophe, Michel Schneider, and Farouk Toumani

Black Box Techniques for Debugging Unsatisfiable Concepts
Aditya Kalyanpur, Bijan Parsia, and Evren Sirin

Automatic Partitioning of OWL Ontologies Using E-Connections
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, and Aditya Kalyanpur

Towards Measuring Similarity in Description Logics
Alex Borgida, Thomas Walsh, and Haym Hirsh

Explaining Subsumption in ALEHFR+ TBoxes
Thorsten Liebig and Michael Halfmann

Description Logics and Disjunctive Datalog – The Story so Far
Ullrich Hustadt and Boris Motik

Description Logic Inference Technology: Lessions Learned in the Trenches
Volker Haarslev, Ralf Möller, and Michael Wessel

Applying Description Logics for Workflow Reuse and Repurposing
Antoon Goderis, Ulrike Sattler, and Carole Goble

A Generator for Description Logic Formulas
Jan Hladik

Optimised Classification for Taxonomic Knowledge Bases
Dmitry Tsarkov and Ian Horrocks

The Fuzzy Description Logic ALCFLH
Steffen Hölldobler, Nguyen Hoang Nga, and Tran Dinh Khang

LAS: Extending Racer by a Large ABox Store
CuiMing Chen, Volker Haarslev, and JJiaoYue Wang

Towards Efficient Reasoning for Description Logics with Inverse Roles
Yu Ding and Volker Haarslev

### Posters

Hybrid Architecture of DL Knowledge Base in KaSeA
Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, and Michal Zawadzki

Cartographic Approach to Knowledge Representation and Management in KaSeA
Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, and Michal Zawadzki

Using Description Logic to Formalize Role-Based Access Control Model
Chen Zhao, Nuermaimaiti Heilili, Shengping Liu, and Zuoquan Lin

Handling Cyclic Conjunctive Queries
Birte Glimm and Ian Horrocks

A Scheme for Integrating Datatype Groups into Description Logics
Jeff Pan

A satisfiability algorithm and the structure of a classifier of concepts for descriptive logic ALCQ
Eduard Gilberto Puerto Cuadros, Luis Ignacio Lizcano Bueno, and Raul Ernesto Gutiérrez de Piñares

Matchmaking augmented with general Knowledge
Thomas Kleemann

Attack Goal Generation Using Description Logic-based Knowledge Representation
Taufig Rochaeli and Claudia Eckert

Updating DLs Using the AGM Theory: A Preliminary Study
Giorgos Flouris, Dimitris Plexousakis, and Grigoris Antoniou

Towards Using Description Logics for Symbolic Shape Analysis
Lilia Georgieva and Patrick Maier

Reasoning with Semantic Tableau Binary Trees in Description Logic
Alena Lukasova

Development of a server to support the formal semantic web query language OWL-QL
Jan Galinski, Atila Kaya, and Ralf Möller

Knowledge Table Driven Ontology Enhancement
Sujatha R. Upadhyaya, Saleena N, and P. Sreenivasa Kumar

A Resolution Based Framework to Explain Reasoning in Description Logics
Xi Deng, Volker Haarslev, and Nematollaah Shiri

Fire – Extending Racer by an Engine for SWRL Rules
Kruthi Bhoopalam and Volker Haarslev

Submitted to CEUR-WS by Ulrike Sattler.
Modified: Monday, 10-Aug-2005 18:00:00 CEST
Modified: Mon Jan 16 10:45:02 GMT 2006 by U. Sattler