A Prolog library for OWL RL | Publicación