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

View PDF

Download Links

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

Active Bibliography

17 A Refined Architecture for Terminological Systems: Terminology = Schema + Views – M. Buchheit , F. M. Donini , W. Nutt , A. Schaerf - 1998
192 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
300 Basic Description Logics – Franz Baader, Werner Nutt - 2003
214 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
A Refined Architecture for Terminological Systems: Terminology = Schema + Views – Intelligenz Gmbh, M. Buchheit, F. M. Donini, W. Nutt, A. Schaerf, Deutsches Forschungszentrum - 1995
78 Reasoning with Individuals in Concept Languages – Andrea Schaerf - 1994
187 Description Logics in Data Management – Alexander Borgida - 1995
560 Ontologies: A Silver Bullet for Knowledge Management and Electronic – Dieter Fensel - 2001
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991