In this paper, we present Ontological Logic Programming (OLP), a novel approach that combines logic programming with ontological reasoning. OLP enables the use of ontological terms (i.e., individuals, classes and properties) ...