| Vol-11 © 1998 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

| # 1998 International Workshop on Description Logics (DL'98)

IRST, Povo -- Trento, Italy
June 6 - 8, 1998
Edited by

### Enrico Franconi, IRST-ITC, Povo - Trento, Italy
Giuseppe De Giacomo, Univ. La Sapienza, Roma, Italy
Robert M. MacGregor, USC/ISI, Marina del Rey, CA, USA
Werner Nutt, DFKI, Saarbrücken, Germany and the Hebrew University of Jerusalem, Israel
Christopher A. Welty, Vassar College, Poughkeepsie, NY, USA

A hard copy of these proceedings is available as `ITC-irst` Proceedings Ref. No. 9805-03 on demand.
DL'98 is held in conjunction with KR'98 (Sixth International Conference on Principles of Knowledge Representation and Reasoning), Trento, Italy, June 2-5, 1998.
DL'98 is sponsored by KR, Inc - Principles of Knowledge Representation and Reasoning Incorporated, IRST-ITC - Trento, CNR - Italian National Research Council, European ESPRIT Compulog Network of Excellence in Computational Logic, European ESPRIT DWQ Long Term Research project, Casa della Cultura del Vino - Trento, IFIP TC-12 Artificial Intelligence.

## Table of Contents

Preface

Description Logics and Logics

Description Logics and Modal Logics (Invited Talk)
Maarten De Rijke

Description Logics and Guarded Fragments of First Order Logic (Invited Talk)
Erich Grädel

Description Logics and the World Wide Web

DLs for DLs: Description Logics for Digital Libraries
Chris Welty

Semi-structured Data with Constraints and Incomplete Information
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Foundations

Matching in Description Logics: Preliminary Results
Franz Baader, Alex Borgida, Deborah McGuinness

Structural Subsumption Considered from an Automata-Theoretic Point of View
Franz Baader, Ralf Küsters, lf Molitor

Expressiveness Revisited
Carlos Areces, Maarten de Rijke

Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies
Franz Baader, Ralf Küsters

Learning Concepts in C-CLASSIC(delta/epsilon)
Véronique Ventos, Pierre Brézellec, Henri Soldano, Dominique Bouthinon

Systems Comparison

DL Systems Comparison (Summary Relation)
Ian Horrocks, Peter F. Patel-Schneider

CRACK
Enrico Franconi

DLP
Peter F. Patel-Schneider

FaCT
Ian Horrocks

HAM-ALC
Volker Haarslev, Ralf Moeller, Anni-Yasmin Turhan

Kris
Ian Horrocks

NeoClassic
Peter F. Patel-Schneider

Systems

A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati

A Description Logic with Transitive and Inverse Roles and Role Hierarchies
Ian Horrocks, Ulrike Sattler

Implementing an ALCRP(D) ABox Reasoner - Progress Report
Volker Haarslev, Ralf Moeller, Anni-Yasmin Turhan

DLP System Description
Peter F. Patel-Schneider

Comparing Subsumption Optimizations
Ian Horrocks, Peter F. Patel-Schneider

Generating Random Benchmarks for Description Logics
Quentin Elhaik, Marie-Christine Rousset, Bernard Ycart

Making an ABox Persistent
Quentin Elhaik, Marie-Christine Rousset

Applications

Planning in Description Logics: Deduction versus Satisfiability Testing
Liviu Badea

Using Description Logics for Indexing Audiovisual Documents
Jean Carrive, François Pachet, Remi Ronfard

DL-based Support to Domain Engineering
Ernesto Compatangelo, Francesco M. Donini, Gianni Rumolo

Combining Expression and Content in Domains for Dialog Managers
Bernd Ludwig, Günther Görz, Heinrich Niemann

Extending Tableaux Calculus with Limited Regular Expression for Role Path: an Application to Natural Language Processing
François De Beuvron, David Rudloff, Michael Schlick

Extensions

A Description Logic System for Learning in Complex Domains
Jordi Alvarez Canal

Description Logic Unplugged
Uwe Küssner

Learning Composite Concepts
Patrick Lambrix, Pierpaolo Larocchia

Incorporating Default Characteristics and Approximate Matching in Description Logics
Lin Padgham

A Note on the Representation and Manipulation of Structures
Amedeo Napoli

Last modified: Thu May 28 18:49:08 METDST 1998