Description Logics 1999: Linköping, Sweden
Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider (Eds.): Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999. CEUR-WS.org 1999 CEUR Workshop Proceedings- Preface.
Invited talks
- Natasha Alechina: (Modal) Logics for Semistructed Data.
Joint session with KRDB99
- Alessandro Artale, Enrico Franconi: Reasoning with enhanced Temporal Entity-Relationship Models. ... 1-5
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views in Description Logics. ... 6-10
- Susanne Prediger, Gerd Stumme: Theory-driven Logical Scaling: Conceptual Information Systems meet Description Logics. ... 46-49
- Marie-Christine Rousset: Backward Reasoning in Aboxes for Query Answering. ... 50-54
Applications
- 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.
Theory
- 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.
- 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.
Systems - descriptions
- Peter F. Patel-Schneider: Systems Comparison.
- Ian Horrocks: FaCT and iFaCT.
- Robert M. MacGregor: Integrating Descriptions and Classification into a Predicate Calculus Framework.
- Peter F. Patel-Schneider: DLP.
- Armando Tacchella: *SAT System Description.
Extensions
- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team