Abduction inELvia Translation to FOL
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|