scientific article; zbMATH DE number 5674817

MaRDI QIDQ3408128zbMATH OpenFDO

Authors Franz Baader, Jan Hladík, Carsten Lutz, F. Wolter

Publication date 24 February 2010

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 2063024
• scientific article; zbMATH DE number 1612535
• An overview of tableau algorithms for description logics
• scientific article; zbMATH DE number 3972842
• A tableau algorithm for description logics with concrete domains and general TBoxes
• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
• Formally verified tableau-based reasoners for a description logic
• Hypertableau reasoning for description logics
• Automated Reasoning with Analytic Tableaux and Related Methods

Cited in

(13)

• Formally verified tableau-based reasoners for a description logic
• scientific article; zbMATH DE number 1612535 (Why is no real title available?)
• scientific article; zbMATH DE number 4166870 (Why is no real title available?)
• Ontology Integration Using ε-Connections
• Ontologies and Databases: The DL-Lite Approach
• scientific article; zbMATH DE number 2063024 (Why is no real title available?)
• Reasoning and query answering in description logics
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
• Automated Reasoning with Analytic Tableaux and Related Methods
• An automata view to goal-directed methods
• Automated Deduction – CADE-19
• An overview of tableau algorithms for description logics
• Automata can show PSpace results for description logics

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