Franz Baader, Ulrike Sattler (Eds.):
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000.
CEUR Workshop Proceedings 33 CEUR-WS.org 2000 
Invited Talks
- Premkumar T. Devanbu:
Leveraging Knowledge Bases, a decade ago, and now.
1-2
- Carole A. Goble:
What have the Romans (and Germans) ever done for us? or There are real applications for Description Logics some of which even take advantage of their reasoning services.
3-7
- David Harel:
From Play-In Scenarios To Code: An Achievable Dream.
9
Presented Papers
- Jordi Alvarez:
TBox Acquisition and Information Theory.
11-20
- Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics.
21-30
- Liviu Badea, Shan-Hwei Nienhuys-Cheng:
Refining Concepts in Description Logics.
31-44
- Sean Bechhofer, Ian Horrocks:
Driving User Interfaces from FaCT.
45-54
- Jesús Bermúdez, Arantza Illarramendi:
A DL to describe classes of queries and mapping information of an interoperable data system.
55-64
- Alexander Borgida, Ralf Küsters:
What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases.
65-78
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Keys for Free in Description Logics.
79-88
- Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks, Sergey Melnik, Michel C. A. Klein, Jeen Broekstra:
Knowledge Representation on the Web.
89-97
- Enrico Franconi, Fabio Grandi, Federica Mandreoli:
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases.
99-112
- François Goasdoué, Marie-Christine Rousset:
Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions.
113-122
- M.-Elisabeth Goncalves, Erich Grädel:
Decidability issues for action guarded logics.
123-132
- Volker Haarslev, Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases.
143-152
- Volker Haarslev, Ralf Möller:
Optimizing TBox and ABox Reasoning with Pseudo Models.
153-162
- Mohand-Said Hacid, Lina Fatima Soualmia, Farouk Toumani:
Schema Extraction for Semi-Structured Data.
133-142
- Jan Hladik:
Implementing the n-ary Description Logic GF1¯.
163-172
- Ian Horrocks, Sergio Tessaris:
Answering Conjunctive Queries over DL Aboxes: A Preliminary Report.
173-182
- Ian Horrocks, Stephan Tobies:
Optimisation of Terminological Reasoning.
183-192
- Vitaliy L. Khizder, David Toman, Grant E. Weddell:
On Decidability and Complexity of Description Logics with Uniqueness Constraints.
193-202
- Martina Kullmann, François de Bertrand de Beuvron, François Rousselot:
A Description Logic Model for Reacting in a Dynamic Environment.
203-212
- Carsten Lutz, Ulrike Sattler:
Mary Likes all Cats.
213-226
- Peter F. Patel-Schneider:
What's New in DLP.
227-235
- Stefan Schlobach:
Assertional Mining in Description Logics.
237-246
- Anni-Yasmin Turhan, Volker Haarslev:
Adapting Optimization Techniques to Description Logics with Concrete Domains.
247-256
- Erika Valencia, Jean-Paul Sansonnet:
Simplicial Complexes for Description Logics Terminologies.
257-266
- Michael Wessel, Volker Haarslev, Ralf Möller:
ALCRA - ALC with Role Axioms.
267-276
Last update Sat May 18 03:45:14 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
