scientific article; zbMATH DE number 2230857

zbMATH Open1082.03512MaRDI QIDQ5708918

Author name not available (Why is that?)

Publication date: 21 November 2005

Title of this publication is not available (Why is that?)

zbMATH Keywords

satisfiability checkingextended ontology modelinstantiation checkingontology checkingterm checking

Mathematics Subject Classification ID

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

Recommendations

• Representing ontologies using description logics, description graphs, and rules 👍 👎
• About description logics and ontology 👍 👎
• Model Checking Using Description Logic 👍 👎
• Description Logic extension based on extenics theory 👍 👎
• Logic Programming 👍 👎
• Automated Reasoning with Analytic Tableaux and Related Methods 👍 👎
• Mechanizing Mathematical Reasoning 👍 👎
• Conceptual Structures for Knowledge Creation and Communication 👍 👎

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)