PROTON: A Prolog Reasoner for Temporal ONtologies in OWL

Nikos Papadakis, Kostas Stravoskoufos, Evdoxios Baratis, Euripides G.M. Petrakis, Dimitris Plexousakis
2011 Expert systems with applications  
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 ie. 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.
doi:10.1016/j.eswa.2011.05.017 fatcat:wgrodfqihfcnlhxvu2m6n5piiq