OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations | Publicación