Abduction in EL via Translation to FOL
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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.
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.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) |
| Herausgeber (Verlag) | CEUR-WS |
| Seiten | 46-58 |
| Seitenumfang | 13 |
| Band | 3009 |
| Publikationsstatus | Veröffentlicht - 2021 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | CEUR Workshop Proceedings |
|---|---|
| Band | 3009 |
| ISSN | 1613-0073 |
Externe IDs
| Scopus | 85120632271 |
|---|
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Abduction, Description logic EL, First-order logic, Prime implicates