scientific article; zbMATH DE number 1292303

MaRDI QIDQ4244312zbMATH OpenFDO

Authors Véronique Boyer, J. Joachim Quantz

Publication date 30 May 1999

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:

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