Automata-Based Axiom Pinpointing

DOI10.1007/978-3-540-71070-7_19MaRDI QIDQ3541704zbMATH OpenOpenAlexFDO

Authors Franz Baader, Rafael Peñaloza

Publication date 27 November 2008

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10281/257423

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)

Recommendations

• Automata-based axiom pinpointing
• Axiom Pinpointing in General Tableaux
• Axiom Pinpointing in General Tableaux
• Pinpointing axioms in ontologies via ASP
• Consequence-based axiom pinpointing

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• An overview of tableau algorithms for description logics
• Attributive concept descriptions with complements
• Automata can show PSpace results for description logics
• Automata-Based Axiom Pinpointing
• Automata-theoretic techniques for modal logics of programs
• Axiom Pinpointing in General Tableaux
• Finite tree automata with cost functions
• scientific article; zbMATH DE number 67500 (Why is no real title available?)
• scientific article; zbMATH DE number 1181276 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1765664 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• Weighted Automata and Weighted Logics on Infinite Words

Cited in

(8)

• Explaining axiom pinpointing
• Pinpointing axioms in ontologies via ASP
• Axiom Pinpointing in General Tableaux
• Automata-Based Axiom Pinpointing
• Putting ABox updates into action
• Axiom Pinpointing in General Tableaux
• Consequence-based axiom pinpointing
• Automata-based axiom pinpointing

This page was built for publication: Automata-Based Axiom Pinpointing

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