Axiom Pinpointing in General Tableaux

DOI10.1007/978-3-540-73099-6_4MaRDI QIDQ5434476zbMATH OpenOpenAlexFDO

Authors Franz Baader, Rafael Peñaloza

Publication date 4 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Axiom Pinpointing in General Tableaux
• Automata-Based Axiom Pinpointing
• Automata-based axiom pinpointing
• Consequence-based axiom pinpointing
• Explaining axiom pinpointing

Cited in

(8)

• Explaining axiom pinpointing
• Pinpointing axioms in ontologies via ASP
• Axiom Pinpointing in General Tableaux
• Automata-Based Axiom Pinpointing
• Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
• The Probabilistic Description Logic
• Consequence-based axiom pinpointing
• Automata-based axiom pinpointing

This page was built for publication: Axiom Pinpointing in General Tableaux

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