Το έργο με τίτλο PROTON: A prolog reasoner for temporal ontologies in OWL από τον/τους δημιουργό/ούς Petrakis Evripidis, Papadakis Nikolaos, Stravoskoufos Konstantinos, Evdoxios Baratis, Dimitris Plexousakis διατίθεται με την άδεια Creative Commons Αναφορά Δημιουργού 4.0 Διεθνές
Βιβλιογραφική Αναφορά
Nikos Papadakis, Kostas Stravoskoufos, Evdoxios Baratis, Euripides Petrakis,Dimitris Plexousakis, "PROTON: A Prolog Reasoner for Temporal ONtologies in OWL", Expert Systems with Applications, Vol. 38, no. 12, pp. 14660–14667, Nov.–Dec. 2011. doi:10.1016/j.eswa.2011.05.017
https://doi.org/10.1016/j.eswa.2011.05.017
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.