default search action
Description Logics 1999: Linköping, Sweden
- Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider:
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999. CEUR Workshop Proceedings 22, CEUR-WS.org 1999 - 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: