Combining Semantic Web and Logic Programming for Agent Reasoning

Murat Sensoy, Wamberto Vasconcelos, Timothy Norman

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

5 Citations (Scopus)

Abstract

Web Ontology Language (OWL) provides means to semantically represent domain knowledge as ontologies. Then, ontological reasoning allows software agents to effectively share and semantically interpret the knowledge. OWL adopts open world semantics and in order to achieve decidability its expressiveness is strictly limited. Therefore, many real-life problems cannot be represented only using ontologies and cannot be solved using just ontological reasoning. On the other hand, traditional reasoning mechanisms for autonomous agents are mostly based on Logic Programming (LP) and closed world assumption. LP provides a very expressive formal language, however it requires domain knowledge to be encoded as a part of logic programs. 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. Using case-studies, we demonstrate the usefulness of OLP in multi-agent settings.
Original languageEnglish
Title of host publicationProceedings of the International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS)
Pages428-441
Publication statusPublished - 2011
Event2nd International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS) - Taipei, Taiwan, Province of China
Duration: 2 May 20116 May 2011

Conference

Conference2nd International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS)
CountryTaiwan, Province of China
CityTaipei
Period2/05/116/05/11

Fingerprint

Logic programming
Semantic Web
Ontology
Computability and decidability
Autonomous agents
Software agents
Formal languages
Semantics

Cite this

Sensoy, M., Vasconcelos, W., & Norman, T. (2011). Combining Semantic Web and Logic Programming for Agent Reasoning. In Proceedings of the International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS) (pp. 428-441)

Combining Semantic Web and Logic Programming for Agent Reasoning. / Sensoy, Murat; Vasconcelos, Wamberto; Norman, Timothy.

Proceedings of the International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS). 2011. p. 428-441.

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

Sensoy, M, Vasconcelos, W & Norman, T 2011, Combining Semantic Web and Logic Programming for Agent Reasoning. in Proceedings of the International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS). pp. 428-441, 2nd International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS), Taipei, Taiwan, Province of China, 2/05/11.
Sensoy M, Vasconcelos W, Norman T. Combining Semantic Web and Logic Programming for Agent Reasoning. In Proceedings of the International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS). 2011. p. 428-441
Sensoy, Murat ; Vasconcelos, Wamberto ; Norman, Timothy. / Combining Semantic Web and Logic Programming for Agent Reasoning. Proceedings of the International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS). 2011. pp. 428-441
@inproceedings{5a2855b1b11648189bd00b579f87f26a,
title = "Combining Semantic Web and Logic Programming for Agent Reasoning",
abstract = "Web Ontology Language (OWL) provides means to semantically represent domain knowledge as ontologies. Then, ontological reasoning allows software agents to effectively share and semantically interpret the knowledge. OWL adopts open world semantics and in order to achieve decidability its expressiveness is strictly limited. Therefore, many real-life problems cannot be represented only using ontologies and cannot be solved using just ontological reasoning. On the other hand, traditional reasoning mechanisms for autonomous agents are mostly based on Logic Programming (LP) and closed world assumption. LP provides a very expressive formal language, however it requires domain knowledge to be encoded as a part of logic programs. 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. Using case-studies, we demonstrate the usefulness of OLP in multi-agent settings.",
author = "Murat Sensoy and Wamberto Vasconcelos and Timothy Norman",
year = "2011",
language = "English",
pages = "428--441",
booktitle = "Proceedings of the International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS)",

}

TY - GEN

T1 - Combining Semantic Web and Logic Programming for Agent Reasoning

AU - Sensoy, Murat

AU - Vasconcelos, Wamberto

AU - Norman, Timothy

PY - 2011

Y1 - 2011

N2 - Web Ontology Language (OWL) provides means to semantically represent domain knowledge as ontologies. Then, ontological reasoning allows software agents to effectively share and semantically interpret the knowledge. OWL adopts open world semantics and in order to achieve decidability its expressiveness is strictly limited. Therefore, many real-life problems cannot be represented only using ontologies and cannot be solved using just ontological reasoning. On the other hand, traditional reasoning mechanisms for autonomous agents are mostly based on Logic Programming (LP) and closed world assumption. LP provides a very expressive formal language, however it requires domain knowledge to be encoded as a part of logic programs. 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. Using case-studies, we demonstrate the usefulness of OLP in multi-agent settings.

AB - Web Ontology Language (OWL) provides means to semantically represent domain knowledge as ontologies. Then, ontological reasoning allows software agents to effectively share and semantically interpret the knowledge. OWL adopts open world semantics and in order to achieve decidability its expressiveness is strictly limited. Therefore, many real-life problems cannot be represented only using ontologies and cannot be solved using just ontological reasoning. On the other hand, traditional reasoning mechanisms for autonomous agents are mostly based on Logic Programming (LP) and closed world assumption. LP provides a very expressive formal language, however it requires domain knowledge to be encoded as a part of logic programs. 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. Using case-studies, we demonstrate the usefulness of OLP in multi-agent settings.

M3 - Conference contribution

SP - 428

EP - 441

BT - Proceedings of the International Workshop on Infrastructures and Tools for Multiagent Systems (ITMAS)

ER -