Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/8665
Title: Αβεβαιότητα Και Σημασιολογικός Ιστός: Εκφραστικές Ασαφείς Περιγραφικές Λογικές
Authors: Γεώργιος Στοϊλος
Κόλλιας Στέφανος
Keywords: αασαφείς περιγραφικές λογικές
αλγόριθμοι συλλογιστικής
ασαφής shoin
ασαφής shofiq
ασαφής owl
ασαφής owl2
ασαφείς γλώσσες επερωτήσεων
σημασιολογικός ιστός
Issue Date: 4-Nov-2008
Abstract: Στη σημερινή εποχή αρκετές εφαρμογές της επιστήμης τωνυπολογιστών έχουν αρχίσει να χρησιμοποιούν κάποιο είδος γλωσσών αναπαράστασης γνώσης και μηχανισμών συλλογιστικής με σκοπό τη βελτίωση της αποδοτικότητάς τους και την προσομοίωση της ευφυούς συμπεριφοράς των νοημόνων όντων. Ένα πολύ ενδιαφέρον και σημαντικό παράδειγμα τέτοιας εφαρμογής είναι ο Παγκόσμιος Ιστός, όπου αποσκοπείτε η διαλειτουργικότητα (interoperability) ανάμεσα σε ετερογενή συστήματα, ο διαμοιρασμός γνώσης (knowledge interchange), αυτοματοποίηση των εφαρμογών και η ευφυής πλοήγηση και αναζήτηση σε αυτόν, δημιουργώντας ένα Σημασιολογικό Ιστό.Μέχρι στιγμής η γλώσσα αναπαράστασης γνώσης που έχει προταθεί για τον Σημασιολογικό Ιστό είναι η OWL η οποία βασίζεται σε πολύ εκφραστικές Περιγραφικές Λογικές (ΠΛ). Παρόλο που οι ΠΛ είναι αρκετά εκφραστικές εμφανίζουν ελλείψεις και πιο συγκεκριμένα δεν έχουν τη δυνατότητα να αναπαραστήσουν και να διαχειριστούν αβέβαιη και ασαφή γνώση και πληροφορία η οποία εμφανίζεται σε πολλές εφαρμογές.Στόχος της διατριβής αυτής είναι να ασχοληθούμε με ασαφείςεπεκτάσεις των γλωσσών που έχουν προταθεί για την αναπαράσταση γνώσης στο Σημασιολογικό Ιστό. Πιο συγκεκριμένα αποσκοπούμε να αναπτύξουμε πρωτότυπους αλγορίθμους για την εξαγωγή συμπερασμάτων σε πολύ εκφραστικές ΠΛ όπως είναι οι γλώσσες, SI και SHOIN οιοποίες αποτελούν το θεωρητικό υπόβαθρο της γλώσσας OWL καθώς και να μελετήσουμε μια ασαφή επέκταση της OWL. Για την επίτευξη των στόχων μας μελετάμε τη σημασιολογία των πολύ εκφραστικών κατασκευαστών των ΠΛ, στην περίπτωση που εισάγεται ασάφεια, τους αλγορίθμους συλλογιστικής που έχουν προταθεί για πολύ εκφραστικές κλασσικές ΠΛ αλλά και τους αλγορίθμους που έχουν προταθεί για ασθενείς ασαφείς ΠΛ, όπως είναι η γλώσσα f-ALC.Από τη μελέτη αυτή προέκυψαν τα ακόλουθα αποτελέσματα. Αρχικά καταφέραμε να αναπτύξουμε έναν αλγόριθμο συλλογιστικής για τις πολύ εκφραστικές ασαφείς ΠΛ f-SI και f-SHOIN επεκτείνοντας έτσι σημαντικά τον αλγόριθμο που είχε προταθεί για την f-\alc. Στη συνέχεια προτείναμε έναν αλγόριθμο ο οποίος λύνει το πρόβλημα συλλογιστικής σε ασαφείς ΠΛ που επιτρέπουν γενικευμένα και κυκλικάαξιώματα. Ακολούθως, παρουσιάζουμε μια ασαφή επέκταση της γλώσσας OWL, δημιουργώντας την f-OWL, και δείχνουμε πώς το πρόβλημα συλλογιστικής για αυτή μπορεί να αναχθεί σε προβλήματα συλλογιστικής της γλώσσας f-SHOIN. Προχωρώντας, επεκτείνουμε τους αλγορίθμους συλλογιστικής που έχουμε προτείνει παρουσιάζοντας αλγορίθμους για τις πιο εκφραστικές γλώσσες f-SHOIQ και f-SHOfIQ. Ολοκληρώνοντας, τη διατριβής μας ασχολούμαστε με το επερχόμενο πρότυπο OWL1.1 το οποίο θα επεκτείνει τη γλώσσα OWL. Παρουσιάζουμε μια ασαφή επέκταση της γλώσσας OWL1.1 καθώς και τηςΠΛ στην οποία βασίζεται, της f-SROIQ, και παρουσιάζουμε ένασύνολο εκφραστικών ασαφών συζευγμένων επερωτήσεων για τη γλώσσα f-DL-Lite η οποία έχει προταθεί στη βιβλιογραφία και αποτελεί μέρος του νέου προτύπου OWL2.
URI: http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/8665
Appears in Collections:Διδακτορικές Διατριβές - Ph.D. Theses

Files in This Item:
File SizeFormat 
PD2008-0040.pdf1.43 MBAdobe PDFView/Open


Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.