Consistency checking reduced to satisfiability of concepts in terminological systems
From MaRDI portal
Publication:1380407
DOI10.1007/BF02127745zbMath0892.68095MaRDI QIDQ1380407
Publication date: 22 April 1998
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
68T30: Knowledge representation
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Attributive concept descriptions with complements
- The complexity of existential quantification in concept languages.
- Reasoning and revision in hybrid representation systems
- Terminological reasoning is inherently intractable
- Deduction in Concept Languages: from Subsumption to Instance Checking