In this paper we describe a logic programming based implementation of the OWL 2 RL fragment. We show how goals are used for querying, forward reasoning permits to infer new knowledge, and ontology inconsistency is handled by backward reasoning, where explanations and (minimal) justifications are given to inconsistent ontologies. © 2012 Springer-Verlag.
CITATION STYLE
Almendros-Jiménez, J. M. (2012). OWL RL in logic programming: Querying, reasoning and inconsistency explanations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7438 LNCS, pp. 248–255). https://doi.org/10.1007/978-3-642-32689-9_20
Mendeley helps you to discover research relevant for your work.