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


Download Links

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

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
235 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
149 Attributive concept descriptions with complements. Artiflcial Intelligence 48:1{26 – M Schmidt-Schau…, G Smolka - 1991
329 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
127 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
621 An overview of the KL-ONE knowledge representation system – James G. Schmolze, Bolt Beranek, Newman Inc - 1985
144 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
83 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
269 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991