Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15359
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Τριβέλα Δέσποινα | |
dc.date.accessioned | 2018-07-23T15:45:30Z | - |
dc.date.available | 2018-07-23T15:45:30Z | - |
dc.date.issued | 2009-6-29 | |
dc.date.submitted | 2009-12-26 | |
dc.identifier.uri | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15359 | - |
dc.description.abstract | Σκοπός της διπλωματικής εργασίας ήταν η ανάπτυξη μίας μηχανής συλλογιστικής για την περιγραφική λογική ALC. Για το λόγο αυτό υλοποιήθηκε ο αλγόριθμος εξαγωγής συμπερασμάτων tableau. Συγκεκριμένα, η μηχανή που κατασκευάστηκε, καλείται να επεξεργαστεί οντολογίες εκφραστικότητας συμβατής με αυτή της περιγραφικής λογικής ALC. Τα αρχεία οντολογιών που αποτελούν την είσοδο της μηχανής, επεξεργάζονται για την κατασκευή της βάσης γνώσης. Ο τρόπος με τον οποίο οι κανόνες tableau εφαρμόζονται στα δεδομένα της γνώσης, αναπαρίσταται σχηματικά από δασική δομή. Δόθηκε ιδιαίτερη προσοχή ώστε να χρησιμοποιηθούν τεχνικές βελτιστοποιήσης κατά την ανάπτυξη του αλγορίθμου. Οι τεχνικές αφορούν τη μείωση του χώρου αναζήτησης με σκοπό την ταχύτερη απόκριση, καθώς και τη μείωση των αυξημένων απαιτήσεων σε πόρους του συστήματος. Στην περίπτωση που το σύστημα δέχεται ως είσοδο οντολογίες υψηλότερης εκφραστικότητας, είναι σε θέση να τις επεξεργαστεί, αγνοώντας τα αξιώματα που συνθέτουν οι περισσότερο εκφραστικοί τελεστές. | |
dc.language | Greek | |
dc.subject | άτομο | |
dc.subject | επέκταση | |
dc.subject | ερμηνεία | |
dc.subject | ετικέτα | |
dc.subject | ιδιότητα | |
dc.subject | ικανοποιησιμότητα | |
dc.subject | ισοδυναμία | |
dc.subject | ισχυρισμός | |
dc.subject | κατασκευαστές | |
dc.subject | κλάση | |
dc.subject | μοντέλο | |
dc.subject | μπλοκάρισμα | |
dc.subject | ξεδίπλωμα | |
dc.subject | ορολογία | |
dc.subject | περιοσμός τιμής | |
dc.subject | σημασιολογία | |
dc.subject | σύγκρουση | |
dc.subject | συμπερασμός | |
dc.subject | συμπλήρωμα | |
dc.subject | συναρτησιακός | |
dc.subject | συνεπαγωγή | |
dc.subject | συνέπεια | |
dc.subject | σώμα | |
dc.subject | τυπικό | |
dc.subject | υπαγωγή | |
dc.subject | υπαρξιακός περιορισμός. | |
dc.title | Βελτιστοποιημένες Μηχανές Συλλογιστικής Για Εκφραστικές Περιγραφικές Λογικές | |
dc.type | Diploma Thesis | |
dc.description.pages | 77 | |
dc.contributor.supervisor | Στάμου Γιώργος | |
dc.department | Τομέας Τεχνολογίας Πληροφορικής & Υπολογιστών | |
dc.organization | ΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών | |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2009-0096.pdf | 1.09 MB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.