Description Logics 1999: Linköping, Sweden

@proceedings{DBLP:conf/dlog/1999,
  editor    = {Patrick Lambrix and
               Alexander Borgida and
               Maurizio Lenzerini and
               Ralf M{\"o}ller and
               Peter F. Patel-Schneider},
  title     = {Proceedings of the 1999 International Workshop on Description
               Logics (DL'99), Link{\"o}ping, Sweden, July 30 - August 1, 1999},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {22},
  year      = {1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Preface.
  

Invited talks

• Natasha Alechina:
  (Modal) Logics for Semistructed Data.
  
• Robert M. MacGregor, Deborah L. McGuinness:
  DARPA's High Performance Knowledge Base (HPKB) Program.
  

Joint session with KRDB99

• Alessandro Artale, Enrico Franconi:
  Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999: 1-5
  
• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
  Answering Queries Using Views in Description Logics. KRDB 1999: 6-10
  
• Susanne Prediger, Gerd Stumme:
  Theory-driven Logical Scaling: Conceptual Information Systems meet Description Logics. KRDB 1999: 46-49
  
• Marie-Christine Rousset:
  Backward Reasoning in Aboxes for Query Answering. KRDB 1999: 50-54
  

Applications

• Marco Aiello, Carlos Areces, Maarten de Rijke:
  Spatial Reasoning for Image Retrieval.
  
• Carlos Areces, Wiet Bouma, Maarten de Rijke:
  Description Logics and Feature Interaction.
  
• Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris:
  A Proposal for a Description Logic Interface.
  
• Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider:
  Explaining ALC Subsumption.
  
• Eugenio Di Sciascio, Francesco M. Donini:
  Description Logics for Image Recognition: a preliminary proposal.
  
• Emilio Domenicucci, Francesco M. Donini, Marco Schaerf:
  ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes.
  
• Pedro A. González-Calero, Belén Díaz-Agudo, Mercedes Gómez-Albarrán:
  Applying DLs for Retrieval in Case-Based Reasoning.
  
• Martina Grathwohl, François de Bertrand de Beuvron, François Rousselot:
  A New Application for Description Logics: Disaster Management.
  
• Daniel Kudenko, Haym Hirsh:
  Feature-Based Learners for Description Logics.
  
• Aida Vitória, Margarida Mamede:
  Integrating Concept-Based Knowledge Bases.
  

Theory

• Franz Baader, Ralf Küsters:
  Matching in Description Logics with Existential Restrictions.
  
• Franz Baader, Ralf Molitor:
  Rewriting in Description Logics Using Terminologies.
  
• Carsten Lutz, Ulrike Sattler, Stephan Tobies:
  A Suggestion for an n-ary Description Logic.
  
• Thomas Mantay:
  Computing Least Common Subsumers in Expressive Description Logics.
  
• Hans Jürgen Ohlbach:
  Set Description Languages and Reasoning about Numerical Features of Sets.
  
• François Rousselot, François de Bertrand de Beuvron, Michael Schlick, David Rudloff:
  Reasoning in a Closed Terminology.
  
• Sergio Tessaris, Graham Gough:
  ABox Reasoning with Transitive Roles and Axioms.
  
• Stephan Tobies:
  On the Complexity of Counting in Description Logics.
  

Systems - performance

• Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
  *SAT, KSATC, DLP and TA: a comparative analysis.
  
• Volker Haarslev, Ralf Möller:
  An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.
  
• Ian Horrocks, Peter F. Patel-Schneider:
  Performance of DLP on Random Modal Formulae.
  

Systems - descriptions

• Peter F. Patel-Schneider:
  Systems Comparison.
  
• François de Bertrand de Beuvron, François Rousselot, Martina Grathwohl, David Rudloff, Michael Schlick:
  CICLOP.
  
• Volker Haarslev, Ralf Möller:
  RACE System Description.
  
• Ian Horrocks:
  FaCT and iFaCT.
  
• Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach:
  MSPASS: Subsumption Testing with SPASS.
  
• Robert M. MacGregor:
  Integrating Descriptions and Classification into a Predicate Calculus Framework.
  
• Peter F. Patel-Schneider:
  DLP.
  
• Armando Tacchella:
  *SAT System Description.
  

Extensions

• Alessandro Artale, Carsten Lutz:
  A Correspondence between Temporal Description Logics.
  
• Mira Balaban, Adi Eyal:
  DFL - A Dialog Based Integration of Concept and Rule Reasoners.
  
• Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel:
  On Terminological Default Reasoning about Spatial Information: Extended Abstract.
  
• Riccardo Rosati:
  Towards expressive KR systems integrating datalog and description logics: preliminary report.
  

Short papers

• Antonio Badia:
  Information Integration through Unification of Feature Structures.
  
• Anna Dorofeyeva:
  Analysis of Semantic Networks By Means of Description Logics.
  
• Amedeo Napoli:
  Classification problems in object-based representation systems.
  
• Uta Priss:
  Description Logic and Faceted Knowledge Representation.