Terminological Systems Revisited: Terminology = Schema + Views (1994)

Cached

Download Links

by M. Buchheit , F. M. Donini , W. Nutt , A. Schaerf
Citations:16 - 1 self

Active Bibliography

17 A Refined Architecture for Terminological Systems: Terminology = Schema + Views – M. Buchheit , F. M. Donini , W. Nutt , A. Schaerf - 1998
185 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Maurizio Lenzerini - 2002
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
71 Reasoning with Individuals in Concept Languages – Andrea Schaerf - 1994
36 Reasoning with inclusion axioms in description logics: Algorithms and complexity – Diego Calvanese - 1996
97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
20 Boosting the correspondence between description logics and propositional dynamic logics – Maurizio Lenzerini - 1994
16 Description logics with inverse roles, functional restrictions, and n-ary relations – Maurizio Lenzerini - 1994
85 On the Correspondence between Description Logics and Logics of Programs – Giuseppe De Giacomo, Maurizio Lenzerini - 1994
18 On the Relationship between Description Logic and Predicate Logic Queries – Alex Borgida - 1994
178 Description Logics in Data Management – Alexander Borgida - 1995
27 Logic-based Knowledge Representation – Franz Baader - 1996
5 Extraction of Informations From Highly Heterogeneous Source of Textual Data – Sonia Bergamaschi - 1997
11 Optimisation Techniques for Expressive Description Logics – Ian Horrocks - 1997
36 Finite model reasoning in description logics – Diego Calvanese - 1996
1 The Retrieval Problem in a Concept Language with Number Restrictions – Aida Vitória, Margarida Mamede, Luís Monteiro
31 Acquisition and Validation of Complex Object Database Schemata Supporting Multiple Inheritance – Sonia Bergamaschi, Bernhard Nebel - 1994