Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract).
Fajar HaifaniPatrick KoopmannSophie TourretChristoph WeidenbachPublished in: Description Logics (2022)
Keyphrases
- extended abstract
- first order logic
- machine translation
- description logics
- knowledge representation
- inference rules
- dl lite
- abductive reasoning
- background knowledge
- theorem proving
- formal semantics
- data mining
- timed automata
- database
- language resources
- causal networks
- statistical machine translation
- query translation
- logic programming
- prior knowledge
- database systems
- real time