Explaining axiom pinpointing

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

Authors Rafael Peñaloza 

Publication date 4 June 2020

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

Mathematics Subject Classification ID

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

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

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