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

Abstract

Σκοπός της διπλωματικής εργασίας ήταν η ανάπτυξη μίας μηχανής συλλογιστικής για την περιγραφική λογική ALC. Για το λόγο αυτό υλοποιήθηκε ο αλγόριθμος εξαγωγής συμπερασμάτων tableau. Συγκεκριμένα, η μηχανή που κατασκευάστηκε, καλείται να επεξεργαστεί οντολογίες εκφραστικότητας συμβατής με αυτή της περιγραφικής λογικής ALC. Τα αρχεία οντολογιών που αποτελούν την είσοδο της μηχανής, επεξεργάζονται για την κατασκευή της βάσης γνώσης. Ο τρόπος με τον οποίο οι κανόνες tableau εφαρμόζονται στα δεδομένα της γνώσης, αναπαρίσταται σχηματικά από δασική δομή. Δόθηκε ιδιαίτερη προσοχή ώστε να χρησιμοποιηθούν τεχνικές βελτιστοποιήσης κατά την ανάπτυξη του αλγορίθμου. Οι τεχνικές αφορούν τη μείωση του χώρου αναζήτησης με σκοπό την ταχύτερη απόκριση, καθώς και τη μείωση των αυξημένων απαιτήσεων σε πόρους του συστήματος. Στην περίπτωση που το σύστημα δέχεται ως είσοδο οντολογίες υψηλότερης εκφραστικότητας, είναι σε θέση να τις επεξεργαστεί, αγνοώντας τα αξιώματα που συνθέτουν οι περισσότερο εκφραστικοί τελεστές.