A survey of temporal-spatial reasoners in the semantic web.

Abstract

The study of spatial-temporal reasoners is labeled nowadays as a great necessity. In the past relational databases were used to approach this task. The main problem with the approach mentioned above is that no inference is allowed. Some of the spatial-temporal reasoners used in the last few years are CHRONOS, CNTRO, ONCOR, PROTON, SBOX, SNAP AND SPAN, SOUPA, SOWL, TACHYON, SPIRIT, OWL-S. This thesis describes these reasoners with their important features which include reasoning method, completeness, soundness etc. At the end of this survey a detailed table depicting the spatial-temporal reasoners as far as their attributes are concerned is presented.

Η μελέτη των χωρικών–χρονικών reasoned χαρακτηρίζεται στις μέρες μας σαν πρώτη προτεραιότητα. Στο παρελθόν οι σχεσιακές βάσεις δεδομένων χρησιμοποιήθηκαν για να προσεγγίσουν αυτό τον σκοπό. Το κύριο πρόβλημα με την προαναφερόμενη λύση είναι ότι δεν επιτρέπεται η παροχή συμπεράσματος. Οι χωρικοί-χρονικοί reasoners που έχουν χρησιμοποιηθεί τα τελευταία χρόνια είναι οι CHRONOS, CNTRO,ONCOR, ROTON, SBOX, SNAP και SPAN, SOUPA, SOWL, TACHYON, SPIRIT, OWL-S. Αυτό το Thesis προσφέρει την περιγραφή όλων των προ αναφερόντων reasoner καθώς και των σημαντικότερων χαρακτηριστικών τους. Στο τέλος του thesis προσφέρεται συγκριτικός πίνακας όλων των reasoner και επίσης περιέχεται θεωρητική και πειραματική αξιολόγηση των χωρικών και των χρονικών reasoner ξεχωριστά.