A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
PROTON: A Prolog Reasoner for Temporal ONtologies in OWL
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