Abduction inELvia Translation to FOL

Fajar Haifani (1) , Patrick Koopmann (2) , Sophie Tourret (1, 3)

1 MPII - Max-Planck-Institut für Informatik
2 TU Dresden - Technische Universität Dresden = Dresden University of Technology
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

We present a technique for performing TBox abduction in the description logic EL. The input problem is converted into first-order formulas on which a prime implicate generation technique is applied, then EL hypotheses are reconstructed by combining the generated positive and negative implicates.

Mots clés: abduction; description logic EL; prime implicate; first-order logic

Domaines: Logique en informatique [cs.LO]; Intelligence artificielle [cs.AI]

Fajar Haifani, Patrick Koopmann, Sophie Tourret. Abduction inELvia Translation to FOL. SOQE 2021 - 2nd Workshop on Second-Order Quantifier Elimination and Related Topics, Nov 2021, Hanoï (online), Vietnam. pp.46-58. ⟨hal-03516691⟩