scientific article; zbMATH DE number 2230857

MaRDI QIDQ5708918zbMATH OpenFDO

Authors

Publication date 21 November 2005

zbMATH Keywords

extended ontology modelinstantiation checkingontology checkingsatisfiability checkingterm checking

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Description Logic extension based on extenics theory
• Description logics for ontologies
• Automated Reasoning with Analytic Tableaux and Related Methods
• Model checking using description logic
• Logic Programming
• Representing ontologies using description logics, description graphs, and rules
• Mechanizing Mathematical Reasoning
• About description logics and ontology

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 Q5708918)