Ontological Logic Programming

Murat Sensoy, Geeth de Mel, Wamberto Vasconcelos, Timothy Norman

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

6 Citations (Scopus)


In this paper, we propose Ontological Logic Programming (OLP), a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological 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. Unlike 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 mechanisms. Furthermore, using a case-study, we demonstrate the usefulness of OLP in real-life settings.
Original languageEnglish
Title of host publicationWIMS '11 International Conference on Web Intelligence, Mining Sogndal, Norway - May 25-27, 2011
Place of PublicationNew York
PublisherACM Press
ISBN (Print)978-1-4503-0148-0
Publication statusPublished - 2011


Dive into the research topics of 'Ontological Logic Programming'. Together they form a unique fingerprint.

Cite this