T.J.: Ontological logic programming

In this paper, we propose Ontological Logic Programming (OLP), a novel approach that combines logic programming with ontologi-cal reasoning. The proposed approach enables the use of ontolog-ical terms (i.e., individuals, classes and properties) directly within logic programs. The interpretation of these terms are delegated to an ontology reasoner during the interpretation of the program. Un-like similar approaches, OLP makes use of the full capacity of both the ontological reasoning and logic programming. We evaluate the computational properties of OLP in different settings and show that its performance can be significantly improved using caching mech-anisms. Furthermore, using a case-study, we demonstrate the use-fulness of OLP in real-life settings