Ενα εργαλείο για την εισαγωγή νέων κανόνων-συλλογισμών σε βάση rdf / owl.

Abstract

Σε αυτή την εργασία, περιγράφουμε την εφαρμογή μιας λύσης για το πρόβλημα διακλάδωσης/ramification problem των βάσεων δεδομένων OWL που βασίζονται σε RDF / XML. Το πρόβλημα εμφανίζεται στη ρομποτική, σε βάσεις δεδομένων, και γενικά σε όλα τα συστήματα που παρουσιάζουν μια δυναμική συμπεριφορά. Σε αυτό το δοκίμιο, παρουσιάζουμε επίσης έναν αλγόριθμο που προέρχεται από προηγούμενη εργασία, η οποία παρουσιάζεται στη βιβλιογραφία [27]. Το έργο μας υλοποιεί αυτό τον αλγορίθμου, ο οποίος προορίζεται για την παραγωγή των κατάλληλων κανόνων για σχήματα OWL, προκειμένου να αντιμετωπιστεί το ramification problem και η βάση μας να έχει συνοχή . Η ανάπτυξη έγινε σε Java και το εργαλείο που αναπτύχθηκε συνδέει κάθε OWL οντολογία με το πρόγραμμα μας , που στην ουσία είναι ένας επιπρόσθετος reasoner, όπως είναι ο Pellet ή ο Jena. To εργαλείο μας δημιουργεί νέους κανόνες και ενημερωνει την βάση με τα χρονικά διαστήματα που περιορίζουν τις δράσεις του κάθε αντικειμένου και τη συμμετοχή τους στους σχεσιακούς κανόνες. Συγκεκριμένα το πρόγραμμά μας έχει αναπτυχθεί με στόχο τον εκσυγχρονισμό των κανόνων του reasoner Pellet όταν δουλεύει με σχήματα βάσης δεδομένων OWL το οποίο βασίζεται σε RDF / XML.

In this paper, we describe the implementation of a solution for the ramification problem in the setting of OWL data based on RDF/XML. The ramification problem is a hard and ever existing problem and it arises in robotics, databases, and in general in all systems exhibiting a dynamic behavior. In this essay, we also present an algorithm that we derived from the solution of a prior work that is presented in the literature [27]. Our project is based on this algorithm’s theoretical solution, which is meant to produce the appropriate rules in a OWL schema in order to address the ramification problem. The purpose of this study is the development of a tool in Java that is connected onto any ontology of am OWL database and provides new rules back to the schema. These new rules, which are produced by our algorithm [28], update the time intervals that limit each object’s actions and its participation in the relational rules. Thus, our code affects the functions of the reasoner in any database schema that is added on and specifically our program is developed in order to update the Pellet reasoner’s rules of an OWL database schema based on RDF/XML. At this point, we should highlight the proper use of reasoning and knowledge representation that we used in order to describe and manipulate the ontology’s data. The tool that we designed is in charge to export, from a given database, the classes and the individuals in order to build the new rules based on the time slots. The algorithm produces the new property data for the individuals and our program proceeds with the import and the update of this information into the schema again. The final step in our project, in terms of evaluating our code, is the creation of a database in the protégé tool and then the description of a motivational example.