Μετασχηματισμός Οντολογικής Γνώσης Από Εκφραστικές Σε Βατές Περιγραφικές Λογικές

Abstract

Ένα από τα θεμελιώδη προβλήματα της αναπαράστασης γνώσης είναι η εύρεση μίας ικανοποιητικής ισορροπίας μεταξύ εκφραστικής ισχύος και πολυπλοκότητας. Το πρόβλημα αυτό αποκτά νέα σημασία με την ανάπτυξη του Σημασιολογικού Ιστού και τις ανάγκες για ταχεία συλλογιστική που αυτός επιβάλλει. Η συλλογιστική στις Περιγραφικές Λογικές έχει μελετηθεί σε βάθος και είναι γνωστοί και εφαρμοσμένοι αλγόριθμοι για την υλοποίησή της, ωστόσο υποφέρουν από υψηλή πολυπλοκότητα όταν αυξάνεται αρκετά η εκφραστικότητα της γλώσσας. Ένας τρόπος να αντιμετωπιστεί αυτό το πρόβλημα είναι ο μετασχηματισμός γνώσης.Η παρούσα διπλωματική εργασία αναφέρεται στη μετατροπή οντολογιών από εκφραστικές γλώσσες αναπαράστασης σε λιγότερο εκφραστικές, αλλά βατές, γλώσσες. Υλοποιείται ένας αλγόριθμος που να επιλύει το παραπάνω πρόβλημα, χρησιμοποιώντας τεχνικές για τη βελτίωση της απόδοσής. Παρουσιάζεται επίσης ένα ολοκληρωμένο σύστημα συλλογιστικής για την απάντηση συζευκτικών ερωτημάτων, η λειτουργία του οποίου βασίζεται στην υλοποίηση του αλγορίθμου μετασχηματισμού. Τέλος, αξιολογείται η συμπεριφορά και η επίδοση του συστήματος, χρησιμοποιώντας μία σειρά οντολογιών διαθέσιμων στον Ιστό, και γίνεται απόπειρα εξαγωγής συμπερασμάτων από τα παρατηρούμενα αποτελέσματα.