Abduction in EL via Translation to FOL

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

  • Fajar Haifani - , Max Planck Institute for Informatics (Author)
  • Patrick Koopmann - , Chair of Automata Theory (Author)
  • Sophie Tourret - , Université de Lorraine (Author)

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.

Details

Original languageEnglish
Title of host publicationProceedings 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)
PublisherCEUR-WS
Pages46-58
Number of pages13
Volume3009
Publication statusPublished - 2021
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume3009
ISSN1613-0073

External IDs

Scopus 85120632271

Keywords

ASJC Scopus subject areas

Keywords

  • Abduction, Description logic EL, First-order logic, Prime implicates