Title of article
PROTON: A Prolog Reasoner for Temporal ONtologies in OWL
Author/Authors
Papadakis، نويسنده , , Nikos and Stravoskoufos، نويسنده , , Kostas and Baratis، نويسنده , , Evdoxios and Petrakis، نويسنده , , Euripides G.M. and Plexousakis، نويسنده , , Dimitris، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2011
Pages
8
From page
14660
To page
14667
Abstract
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.
Keywords
Ramification problem , Temporal ontologies , Knowledge representation and reasoning
Journal title
Expert Systems with Applications
Serial Year
2011
Journal title
Expert Systems with Applications
Record number
2350621
Link To Document