Deriving inference rules for terminological logics

DOI10.1007/BFB0023423MaRDI QIDQ4244312zbMATH OpenFDO

Authors Véronique Boyer, J. Joachim Quantz

Publication date 30 May 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0023423

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 823628
• scientific article; zbMATH DE number 67503
• Consistency checking reduced to satisfiability of concepts in terminological systems
• scientific article; zbMATH DE number 1149405

Cited in

(5)

• The F-logic approach for description languages
• Terminological reasoning is inherently intractable
• On intuitionistic query answering in description bases
• Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences
• Presenting and combining inference systems. Presentations with inference rules

This page was built for publication: Deriving inference rules for terminological logics

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