https://123dok.net/document/eqomj75z-efficient-query-answering-in-dl-lite-through-fol-reformulation-extended-abstract.html