Ontological Logic Programming

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

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
DOIs
Publication statusPublished - 2011

Fingerprint

Logic programming
Ontology

Cite this

Sensoy, M., Mel, G. D., Vasconcelos, W., & Norman, T. (2011). Ontological Logic Programming. In WIMS '11 International Conference on Web Intelligence, Mining Sogndal, Norway - May 25-27, 2011 New York: ACM Press. https://doi.org/10.1145/1988688.1988740

Ontological Logic Programming. / Sensoy, Murat; Mel, Geeth de; Vasconcelos, Wamberto; Norman, Timothy.

WIMS '11 International Conference on Web Intelligence, Mining Sogndal, Norway - May 25-27, 2011. New York : ACM Press, 2011.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sensoy, M, Mel, GD, Vasconcelos, W & Norman, T 2011, Ontological Logic Programming. in WIMS '11 International Conference on Web Intelligence, Mining Sogndal, Norway - May 25-27, 2011. ACM Press, New York. https://doi.org/10.1145/1988688.1988740
Sensoy M, Mel GD, Vasconcelos W, Norman T. Ontological Logic Programming. In WIMS '11 International Conference on Web Intelligence, Mining Sogndal, Norway - May 25-27, 2011. New York: ACM Press. 2011 https://doi.org/10.1145/1988688.1988740
Sensoy, Murat ; Mel, Geeth de ; Vasconcelos, Wamberto ; Norman, Timothy. / Ontological Logic Programming. WIMS '11 International Conference on Web Intelligence, Mining Sogndal, Norway - May 25-27, 2011. New York : ACM Press, 2011.
@inproceedings{2117b475942c4de58209a777a41cadd2,
title = "Ontological Logic Programming",
abstract = "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.",
author = "Murat Sensoy and Mel, {Geeth de} and Wamberto Vasconcelos and Timothy Norman",
year = "2011",
doi = "10.1145/1988688.1988740",
language = "English",
isbn = "978-1-4503-0148-0",
booktitle = "WIMS '11 International Conference on Web Intelligence, Mining Sogndal, Norway - May 25-27, 2011",
publisher = "ACM Press",

}

TY - GEN

T1 - Ontological Logic Programming

AU - Sensoy, Murat

AU - Mel, Geeth de

AU - Vasconcelos, Wamberto

AU - Norman, Timothy

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1145/1988688.1988740

DO - 10.1145/1988688.1988740

M3 - Conference contribution

SN - 978-1-4503-0148-0

BT - WIMS '11 International Conference on Web Intelligence, Mining Sogndal, Norway - May 25-27, 2011

PB - ACM Press

CY - New York

ER -