Abduction inELvia Translation to FOL - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Abduction inELvia Translation to FOL

(1) , (2) , (1, 3)
1
2
3

Abstract

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)

Identifiers

  • HAL Id : hal-03516691 , version 1

Cite

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⟩
50 View
31 Download

Share

Gmail Facebook Twitter LinkedIn More