Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL

DOI10.1007/978-3-031-10769-6_12OpenAlexW4289104036MaRDI QIDQ2104508

Fajar Haifani, Sophie Tourret, Patrick Koopmann, Christoph Weidenbach

Publication date: 7 December 2022

Full work available at URL: https://arxiv.org/abs/2205.08449

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• SOLAR
• SPASS
• ELK

Cites Work

• Unnamed Item
• Unnamed Item
• ELK
• The OWL reasoner evaluation (ORE) 2015 competition report
• A generic framework for implicate generation modulo theories
• Generalized completeness for SOS resolution and its application to a new notion of relevance
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• ABox abduction in the description logic \(\mathcal{ALC}\)
• Reasoning about Explanations for Negative Query Answers in DL-Lite
• An Introduction to Description Logic
• SOLAR: An automated deduction system for consequence finding
• System Description: Spass Version 3.0
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

This page was built for publication: Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL