Consistency checking reduced to satisfiability of concepts in terminological systems

DOI10.1007/BF02127745zbMath0892.68095MaRDI QIDQ1380407

Bernhard Hollunder

Publication date: 22 April 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

inference problemknowledge representation systems

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

Reasoning in fuzzy description logics using automata, Consistency reasoning in lattice-based fuzzy description logics, Description Logics, Combining interval-based temporal reasoning with general TBoxes

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