Abduction inELvia Translation to FOL
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.
Origin : Files produced by the author(s)