Design and implementation of a time reasoner for knowledge representation on RDFS.

Abstract

Διανύοντας την τρίτη δεκαετία από τη γέννηση του Παγκόσμιου Ιστού, οι χρήστες του οποίοι πλέον απαριθμούν σε δισεκατομμύρια, οι ανάγκη για επικοινωνία, μάθηση και επιχειρηματικότητα εξελίσσεται ακόμη ραγδαία. Έτσι ο παγκόσμιος ιστός έχει την ανάγκη να εξελίσσεται σύμφωνα με τις ανάγκες της ανθρωπότητας. Κατά την πρώτη δεκαετία το web ήταν στατικό, αποτελούμενο από ιστοσελίδες κυρίως κειμένου με ελάχιστες δυνατότητες αναζήτησης πληροφορίας, αυτό άλλαξε με τον ερχομό των μηχανών αναζήτησης και της αρχής της εποχής της δια δραστικότητας, με το δυναμικό πλέον web 2.0. Σήμερα, ο ιστός αποτελείται από 980 εκατομμύρια ιστοσελίδες που περιέχουν κάθε είδους πληροφορία σε οποιαδήποτε μορφή. Αυτό οδηγεί στη δημιουργία του επόμενου βήματος στην εξέλιξη του παγκόσμιου ιστού, το λεγόμενο σημασιολογικό ιστό ή web 3.0. Τον όρο αυτό μας τον έδωσε ο εφευρέτης του αρχικού παγκόσμιου ιστού, ο Tim Berners-Lee. Σκοπός της παρούσας εργασίας είναι η δημιουργία ενός χρονικού reasoner, μιας μηχανής με τη δυνατότητα να εξάγει λογικά συμπεράσματα με τη χρήση κανόνων γραμμένων στην κατηγορηματική λογική. Ο χρονικός reasoner διαφέρει από ένα απλό reasoner, επειδή οι κανόνες που περιέχει αφορούν χρονικές καταστάσεις. Τους reasoner τους χρησιμοποιούμε σε έγγραφα μεταδεδομένων του σημασιολογικού ιστού. Τα έγγραφα αυτά μπορεί να είναι τύπου RDFS,Turtle, OWL κα.

Nowadays, in the third decade of the birth of the Web, its users list in the billions and the need for communication, learning and entrepreneurship is still evolving rapidly. Thus the Web has the need to evolve according to the needs of humanity. During its first decade the web was static, consisting of mainly text sites with poor information search, this changed with the advent of search engines and the beginning of the era of lifelong activity, with the most dynamic web 2.0. These days, the web consists of 980 million web pages containing all kind of information in any form. This leads to the creation of the next step in the evolution of the Web, called semantic web or web 3.0. This term was given to us from the inventor of the original World Wide Web, Tim Berners-Lee. The purpose of this work is to create a time reasoner, a piece of code with the ability to draw inferences using rules written in predicate logic. The time reasoner differs from a simple reasoner, because the rules contain statements relating to time. The reasoner uses metadata from documents from the semantic web. Those documents may be of RDFS, Turtle, and OWL syntax.