PROTON: A Prolog Reasoner for Temporal ONtologies in OWL

Authors:
Nikos Papadakis;Kostas Stravoskoufos;Evdoxios Baratis;Euripides G. M. Petrakis;Dimitris Plexousakis
Affiliations:
Department of Sciences, Technological Educational Institute of Crete, Greece;Department of Electronic and Computer Engineering, Technical University of Crete, Greece;Department of Electronic and Computer Engineering, Technical University of Crete, Greece;Department of Electronic and Computer Engineering, Technical University of Crete, Greece;Department of Computer Science, University of Crete, Greece
Venue:
Expert Systems with Applications: An International Journal
Year:
2011

Citing 11
Cited 0

From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem

Artificial Intelligence
Actions with Duration and Constraints: the Ramification Problem in Temporal Databases

ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
The ramification problem in temporal databases: changing beliefs about the past

Data & Knowledge Engineering - Special issue: WIDM 2004
The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints

ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 02
Any-World Access to OWL from Prolog

KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
A Reusable Ontology for Fluents in OWL

Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Semantic matchmaking as non-monotonic reasoning: a description logic approach

Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans

Journal of Artificial Intelligence Research
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL

Expert Systems with Applications: An International Journal
The ramification problem in temporal databases: a solution implemented in SQL

ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Quantified Score

Hi-index	12.05

Visualization

Abstract

We present PROTON, a reasoner for managing temporal information over OWL ontologies. We adopt the so called 4d-fluent or 4-dimensionalist approach for representing temporal information in ontologies i.e. for time points or intervals and for events that occur in time points or intervals. Also, we propose an extension to the situation calculus in order to encapsulate time. PROTON is implemented using this extension.