Consistency checking reduced to satisfiability of concepts in terminological systems

DOI10.1007/BF02127745zbMATH Open0892.68095MaRDI QIDQ1380407FDOQ1380407

Bernhard Hollunder

Publication date: 22 April 1998

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

zbMATH Keywords

knowledge representation systemsinference problem

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Attributive concept descriptions with complements
• Terminological reasoning is inherently intractable
• The complexity of existential quantification in concept languages.
• Reasoning and revision in hybrid representation systems
• Deduction in Concept Languages: from Subsumption to Instance Checking

Cited In (4)

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

This page was built for publication: Consistency checking reduced to satisfiability of concepts in terminological systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380407)