Ontological logic programming

Authors:
Murat Şensoy;Geeth de Mel;Wamberto W. Vasconcelos;Timothy J. Norman
Affiliations:
Computing Science University of Aberdeen, Aberdeen, UK;Computing Science University of Aberdeen, Aberdeen, UK;Computing Science University of Aberdeen, Aberdeen, UK;Computing Science University of Aberdeen, Aberdeen, UK
Venue:
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Year:
2011

Citing 16
Cited 1

The art of Prolog: advanced programming techniques

The art of Prolog: advanced programming techniques
Rete: a fast algorithm for the many pattern/many object pattern match problem

Expert systems
From logic programming to Prolog

From logic programming to Prolog
Prolog++: The Power of Object-Oriented and Logic Programming

Prolog++: The Power of Object-Oriented and Logic Programming
The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility

EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Answering Queries by Semantic Caches

DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Using JessTab to Integrate Protégé and Jess

IEEE Intelligent Systems
Jess in Action: Java Rule-Based Systems

Jess in Action: Java Rule-Based Systems
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
A mapping system for the integration of OWL-DL ontologies

Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Pellet: A practical OWL-DL reasoner

Web Semantics: Science, Services and Agents on the World Wide Web
The architecture and design of a malleable object-oriented prolog engine

Proceedings of the 2008 ACM symposium on Applied computing
Translating owl and semantic web rules into prolog: Moving toward description logic programs

Theory and Practice of Logic Programming
An Ontology-Centric Approach to Sensor-Mission Assignment

EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
DR-Prolog: a system for reasoning with rules and ontologies on the semantic web

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Functional logic programming

Communications of the ACM

A hybrid reasoning mechanism for effective sensor selection for tasks

Engineering Applications of Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.