Description Logics 2000: Aachen, Germany

@proceedings{DBLP:conf/dlog/2000,
  editor    = {Franz Baader and
               Ulrike Sattler},
  title     = {Proceedings of the 2000 International Workshop on Description
               Logics (DL2000), Aachen, Germany, August 17-19, 2000},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {33},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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, F. 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