Pinpointing axioms in ontologies via ASP

DOI10.1007/978-3-031-15707-3_24MaRDI QIDQ2694580zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

axiom-pinpointingASPnon-standard reasoning

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Recommendations

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

Cites work

• BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The Description Logic Handbook
• Understanding the complexity of axiom pinpointing in lightweight description logics

Cited in

(6)

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

Describes a project that uses

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)