A refined architecture for terminological systems: Terminology = Schema + Views

DOI10.1016/S0004-3702(97)00079-9zbMath0896.68132MaRDI QIDQ1128645

Martin Buchheit, Francesco M. Donini, Andrea Schaerf, Werner Nutt

Publication date: 13 August 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

description logicsknowledge representation systemsdomain modellingknowledge-base architectures

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (4)

Using automata theory for characterizing the semantics of terminological cycles ⋮ An epistemic operator for description logics ⋮ Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) ⋮ Description Logics

Cites Work

• Attributive concept descriptions with complements
• The complexity of existential quantification in concept languages.
• An epistemic operator for description logics
• Reasoning and revision in hybrid representation systems
• The complexity of concept languages
• Terminological reasoning is inherently intractable
• Deduction in Concept Languages: from Subsumption to Instance Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A refined architecture for terminological systems: Terminology = Schema + Views