Explaining axiom pinpointing

DOI10.1007/978-3-030-22102-7_22zbMATH Open1444.68210OpenAlexW2954678445MaRDI QIDQ2185485FDOQ2185485

Rafael Peñaloza

Publication date: 4 June 2020

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (5)

• Axiomatizing the quote
• Consequence-based axiom pinpointing
• Axiom Pinpointing in General Tableaux
• Pinpointing axioms in ontologies via ASP
• Classical algorithms for reasoning and explanation in description logics

This page was built for publication: Explaining axiom pinpointing

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