Details

Autor(en) / Beteiligte

• Papadakis, Nikos
• Stravoskoufos, Kostas
• Baratis, Evdoxios
• Petrakis, Euripides G.M.
• Plexousakis, Dimitris

Titel

PROTON: A Prolog Reasoner for Temporal ONtologies in OWL

Ist Teil von

• Expert systems with applications, 2011-11, Vol.38 (12), p.14660-14667

Ort / Verlag

Elsevier Ltd

Erscheinungsjahr

2011

Link zum Volltext

Quelle

Elsevier ScienceDirect Journals Complete

Beschreibungen/Notizen

• ► In this paper we present a temporal reasoner(PROTON) for managing temporal information in OWL ontologies. ► We extended the situation calculus in order to encapsulate time. ► The PROTON has been implemented in PROLOG using our extension of the situation calculus. ► The PROTON can address the frame and ramification problem. 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.