δείτε την πρωτότυπη σελίδα τεκμηρίου στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
PROTON: A prolog reasoner for temporal ontologies in OWL
(EN)
Παπαδακης Νικολαος
(EL)
Στραβοσκουφος Κωνσταντινος
(EL)
Πετρακης Ευριπιδης
(EL)
Dimitris Plexousakis
(EN)
Papadakis Nikolaos
(EN)
Evdoxios Baratis
(EN)
Petrakis Evripidis
(EN)
Stravoskoufos Konstantinos
(EN)
Πολυτεχνείο Κρήτης
(EL)
Technical University of Crete
(EN)
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.
(EN)
*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.
Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.