Pinpointing axioms in ontologies via ASP

DOI10.1007/978-3-031-15707-3_24OpenAlexW4293180423MaRDI QIDQ2694580FDOQ2694580

Authors: Rafael Peñaloza, F. Ricca 

Publication date: 4 April 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_24

Recommendations

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

zbMATH Keywords

axiom-pinpointingASPnon-standard reasoning

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites Work

• The Description Logic Handbook
• BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Understanding the complexity of axiom pinpointing in lightweight description logics

Cited In (5)

• Consequence-based axiom pinpointing
• Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
• ASP Based Generation of Information Terms for Constructive ɛℒ
• Automata-based axiom pinpointing
• Automata-Based Axiom Pinpointing

Uses Software

• BEACON

This page was built for publication: Pinpointing axioms in ontologies via ASP

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