Περίληψη |
Στην παρούσα εργασία μελετάμε το πρόβλημα της εξέλιξης οντολογιών (ontology evolution) υπό το πρίσμα του προβλήματος αναθεώρησης πεποιθήσεων (belief change). Αφού εξετάσουμε τις διάφορες πτυχές του προβλήματος της αλλαγής οντολογιών (ontology change) και τα διάφορα πεδία έρευνας που σχετίζονται με το πολυδιάστατο αυτό πρόβλημα, θα εστιάσουμε στο υποπρόβλημα της εξέλιξης οντολογιών, παρουσίαζοντας την τρέχουσα κατάσταση της έρευνας στο πεδίο αυτό. Επίσης, θα εξηγήσουμε με ποιο τρόπο εργασίες από το πεδίο της αναθεώρησης πεποιθήσεων μπορούν να εφαρμοστούν στην εξέλιξη οντολογιών λειτουργώντας συμπληρωματικά προς την κατεύθυνση της αντιμετώπισης των βασικότερων προβλημάτων που αντιμετωπίζουν σήμερα οι ερευνητές στην εξέλιξη οντολογιών. Στην συνέχεια, θα εφαρμόσουμε την παραπάνω μεθοδολογία, μελετώντας με ποιό τρόπο η επικρατέστερη θεωρία αναθεώρησης πεποιθήσεων, η θεωρία των AGM (AGM theory), μπορεί να εφαρμοστεί σε μία κλάση λογικών γενικότερη από αυτή για την οποία είχε αρχικά σχεδιαστεί. Η γενίκευση αυτή θα μας επιτρέψει να αποφανθούμε σχετικά με το βαθμό εφαρμοσιμότητας της θεωρίας των AGM σε λογικές που χρησιμοποιούνται για αναπαράσταση οντολογιών, όπως οι Περιγραφικές Λογικές (Description Logics - DLs) και η γλώσσα περιγραφής οντολογιών OWL (Web Ontology Language) και, κατ' επέκταση, για τον βαθμό εφαρμοσιμότητας της θεωρίας στο πρόβλημα της εξέλιξης οντολογιών.
|