Reasoning with Individuals in Concept Languages (1994)

Cached

Download Links

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

Documents Related by Co-Citation

148 Attributive concept descriptions with complements – Manfred Schmidt-Schau��, Gert Smolka - 1991
310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
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
65 Tractable concept languages – F M Donini, M Lenzerini, D Nardi, W Nutt - 1991
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
79 Deduction in Concept Languages: From Subsumption to Instance Checking – Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf - 1994
124 A description logic with transitive and inverse roles and role hierarchies – Ian Horrocks, Ulrike Sattler - 1998
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
244 On the Decidability of Query Containment under Constraints – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 1998
51 The Complexity of Existential Quantification in Concept Languages – Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, Werner Nutt - 1992
66 Subsumption Algorithms for Concept Languages – Bernhard Hollunder, Werner Nutt - 1990
69 Adding Epistemic Operators to Concept Languages – Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt - 1992
101 Terminological Cycles: Semantics and Computational Properties – B Nebel - 1991
159 Description logic framework for information integration – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati - 1998
52 What's in an aggregate: Foundations for description logics with tuples and sets – Maurizio Lenzerini - 1995
67 Decidability of Class-Based Knowledge Representation Formalisms – Giuseppe De Giacomo - 1995
83 Subsumption Algorithms for Concept Description Languages – Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß - 1990