PROTON: A prolog reasoner for temporal ontologies in OWLPROTON: A prolog reasoner for temporal ontologies in OWL Peer-Reviewed Journal Publication Δημοσίευση σε Περιοδικό με Κριτές 2015-10-242011enWe 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.http://creativecommons.org/licenses/by/4.0/Expert Systems with Applications381214660–14667 Petrakis Evripidis Πετρακης Ευριπιδης Papadakis Nikolaos Παπαδακης Νικολαος Stravoskoufos Konstantinos Στραβοσκουφος Κωνσταντινος Evdoxios Baratis Dimitris Plexousakis Elsevier