Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/8665
Full metadata record
DC FieldValueLanguage
dc.contributor.authorΓεώργιος Στοϊλος
dc.date.accessioned2018-07-22T22:38:46Z-
dc.date.available2018-07-22T22:38:46Z-
dc.date.issued2008-11-4
dc.date.submitted2008-12-3
dc.identifier.urihttp://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/8665-
dc.description.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.
dc.languageGreek
dc.subjectαασαφείς περιγραφικές λογικές
dc.subjectαλγόριθμοι συλλογιστικής
dc.subjectασαφής shoin
dc.subjectασαφής shofiq
dc.subjectασαφής owl
dc.subjectασαφής owl2
dc.subjectασαφείς γλώσσες επερωτήσεων
dc.subjectσημασιολογικός ιστός
dc.titleΑβεβαιότητα Και Σημασιολογικός Ιστός: Εκφραστικές Ασαφείς Περιγραφικές Λογικές
dc.typePhD Thesis
dc.description.pages185
dc.contributor.supervisorΚόλλιας Στέφανος
dc.departmentΤομέας Τεχνολογίας Πληροφορικής & Υπολογιστών
dc.organizationΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
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.