Abduction in EL via Translation to FOL.
Fajar HaifaniPatrick KoopmannSophie TourretPublished in: SOQE@KR (2021)
Keyphrases
- first order logic
- description logics
- abductive reasoning
- dl lite
- machine translation
- knowledge representation
- machine translation system
- inference rules
- theorem proving
- query translation
- causal networks
- databases
- statistical machine translation
- cross language information retrieval
- belief revision
- default reasoning
- formal semantics
- logic programming
- natural language processing
- decision trees