A Correspondence Theory for Terminological Logics: Preliminary Report (1991)

Cached

Download Links

by Klaus Schild
Venue:In Proc. of IJCAI-91
Citations:257 - 0 self

Documents Related by Co-Citation

148 Attributive concept descriptions with complements – Manfred Schmidt-Schau��, Gert Smolka - 1991
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
123 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles – Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann - 1990
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
85 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
83 Subsumption Algorithms for Concept Description Languages – Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß - 1990
40 On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations – Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka - 1993
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
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
66 Subsumption Algorithms for Concept Languages – Bernhard Hollunder, Werner Nutt - 1990
180 The tractability of subsumption in frame-based description languages – R J 'Levesque Brachman, H - 1984
48 A Concept Language Extended With Different Kinds of Transitive Roles – Ulrike Sattler, Ulrike Sattler - 1996
61 Cardinality Restrictions on Concepts – Franz Baader, Martin Buchheit, Bernhard Hollunder - 1993
244 On the Decidability of Query Containment under Constraints – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 1998
170 Attributive concept descriptions with complements – M Schmidt-Schauß, G Smolka - 1991
124 A description logic with transitive and inverse roles and role hierarchies – Ian Horrocks, Ulrike Sattler - 1998
147 Terminological Reasoning is Inherently Intractable – Bernhard Nebel - 1990
101 Terminological Cycles: Semantics and Computational Properties – B Nebel - 1991