Position paper: ontological logic programming

Abstract

In this paper, we propose a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms directly within logic programs. We demonstrate the usefulness of the proposed approach using a case-study of sensor-task matchmaking.

Original language

English

Title of host publication

Proceedings of the 3rd International Workshop on Semantic Sensor Networks (SSN10)

abstract = "In this paper, we propose a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms directly within logic programs. We demonstrate the usefulness of the proposed approach using a case-study of sensor-task matchmaking.",

note = "This research was sponsored by the U.S. Army Research Laboratory and the U.K. Ministry of Defence and was accomplished under Agreement Number W911NF-06-3-0001. The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. Army Research Laboratory, the U.S.",

year = "2010",

language = "English",

volume = "668",

series = "CEUR Workshop Proceedings",

editor = "Kerry Taylor and Arun Ayyagari and {De Roure}, David",

booktitle = "Proceedings of the 3rd International Workshop on Semantic Sensor Networks (SSN10)",

}

TY - GEN

T1 - Position paper

T2 - ontological logic programming

AU - Sensoy, Murat

AU - Mel, Geeth de

AU - Vasconcelos, Wamberto W.

AU - Norman, Timothy J.

N1 - This research was sponsored by the U.S. Army Research Laboratory and the U.K. Ministry of Defence and was accomplished under Agreement Number W911NF-06-3-0001. The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. Army Research Laboratory, the U.S.

PY - 2010

Y1 - 2010

N2 - In this paper, we propose a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms directly within logic programs. We demonstrate the usefulness of the proposed approach using a case-study of sensor-task matchmaking.

AB - In this paper, we propose a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms directly within logic programs. We demonstrate the usefulness of the proposed approach using a case-study of sensor-task matchmaking.