© 2002 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.
|
|
Vol-53
© 2002 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. |
|
Toulouse, France
April 19-21, 2002
Edited by
Ian Horrocks and Sergio Tessaris
University of Manchester, UK
Hybrid Logic and Description Logic
Patrick Blackburn
First-Order Theorem Provers: the Next Generation
Andrei Voronkov
Incompleteness and inconsistency in information integration
Maurizio Lenzerini
Distributed Description Logics: First results
Alex Borgida and Luciano Serafini
On the relationship between decidable fragments, non-classical logics, and description logics
Lilia Georgieva, Ullrich Hustadt and Renate A. Schmidt
Narcissists, Stepmothers and Spies
Maarten Marx
Adding ternary complex roles to
Alissa Kaplunova, Volker Haarslev and Ralf Möller
Reasoning in the Description Logic
Jeff Z. Pan and Ian Horrocks
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles
Franz Baader and Ralf Küsters
Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment
Jan Hladik
Optimization Strategies for Instance Retrieval
Volker Haarslev and Ralf Möller
Practical Reasoning in RACER with a Concrete Domain for Linear Inequations
Volker Haarslev and Ralf Möller
Backtracking and Qualified Number Restrictions: Some Preliminary Results
Ian Horrocks
2ATAs make DLs easy
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
Two Proposals for a Semantic Web Ontology Language
Peter F. Patel-Schneider
A proposal for describing services with DLs
Carsten Lutz and Ulrike Sattler
Combining XML and DL for describing and querying documents
Rim Alhulou and Amedeo Napoli
On Spatial Reasoning with Description Logics - Position Paper
Michael Wessel
Approximating -Concept Descriptions
Sebastian Brandt, Ralf Küsters and Anni-Yasmin Turhan
Computing Concept Covers: a Preliminary Report
Mohand-Saïd Hacid, Alain Leger, Christophe Rey and Farouk Toumani
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Carsten Lutz
Using Description Logic in Object-Oriented Software Development
Ragnhild Van Der Straeten
Fine Grained Information Integration with Description Logics
Huizhu Liu, David Toman, and Grant Weddell
Compilation and approximation of conjunctive queries by concept descriptions
Francois Goasdoue and Marie-Christine Rousset
Querying Objects with Description Logics
Martin Peim, Enrico Franconi, Norman W. Paton and Carole A. Goble
Estimating Soundness and Completeness over Queries Over Description Logics (KRDB submission)
Martin Peim, Enrico Franconi and Norman W. Paton
Toward Updates in Description Logics (KRDB submission)
Mathieu Roger, Ana Simonet and Michel Simonet
Statement of interest
Daniela Berardi
Decidability of Expressive Description Logics with Role Compositions
Fabio Grandi
Description Logic in Semantics Querying
Gilles Nachouki and Mohamad Quafafou
Algebraic Lattices and Description Logics
Nikolaj Oldager
Research Interests
Mathieu Roger