Reasoning with Individuals in Concept Languages (1994)

Cached

Download Links

by Andrea Schaerf
Venue:Data and Knowledge Engineering
Citations:71 - 2 self

Active Bibliography

185 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
96 A Terminological Knowledge Representation System with Complete Inference Algorithms – Franz Baader, Bernhard Hollunder - 1991
17 A Refined Architecture for Terminological Systems: Terminology = Schema + Views – M. Buchheit , F. M. Donini , W. Nutt , A. Schaerf - 1998
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
11 Terminological Reasoning and Information Management – Bernhard Nebel, Christof Peltason - 1991
16 Description logics with inverse roles, functional restrictions, and n-ary relations – Maurizio Lenzerini - 1994
1 Compositional Semantics for Description Knowledge Bases with Rules – Mira Balaban - 1996
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Maurizio Lenzerini - 2002
140 An Empirical Analysis of Optimization Techniques for Terminological Representation Systems - or: Making KRIS get a move on – Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-J├╝rgen Profitlich, Enrico Franconi - 1992
178 Description Logics in Data Management – Alexander Borgida - 1995
69 Adding Epistemic Operators to Concept Languages – Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt - 1992
85 On the Correspondence between Description Logics and Logics of Programs – Giuseppe De Giacomo, Maurizio Lenzerini - 1994
31 Artificial Intelligence: A Computational Perspective – Bernhard Nebel - 1994
15 The F-Logic Approach for Description Languages – Mira Balaban - 1993
6 Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition – Robert Anthony Weida - 1996
1 Towards an Efficient Description Logics System With Individuals – Sergio Tessaris, Supervisors Graham Gough, Carole Goble, Advisor David Rydeheard - 1998
27 Logic-based Knowledge Representation – Franz Baader - 1996