Proton: A prolog reasoner for temporal ontologies in owl
N Papadakis, K Stravoskoufos, E Baratis… - Expert Systems with …, 2011 - Elsevier
Expert Systems with Applications, 2011•Elsevier
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.
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.
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.
Elsevier
Showing the best result for this search. See all results