Abduction inELvia Translation to FOL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Abduction inELvia Translation to FOL


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.
Fichier principal
Vignette du fichier
paper2.pdf (782.58 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03516691 , version 1 (01-02-2022)


  • HAL Id : hal-03516691 , version 1


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⟩
76 View
40 Download


Gmail Mastodon Facebook X LinkedIn More