Αυτόματη συλλογιστική σε οντολογίες

Abstract

Το Κεφάλαιο 3 παρουσιάζει τα βασικά προβλήματα συλλογιστικής στα οποία στηρίζονται οι υπηρεσίες αναπαράστασης, διαχείρισης και χρήσης οντολογικής γνώσης. Στο πλαίσιο αυτό παρουσιάζονται οι βασικοί αλγόριθμοι συλλογιστικής, τόσο για βατές (αλγόριθμος δομικής υπαγωγής - structural subsumption), όσο και για εκφραστικές Περιγραφικές Λογικές (αλγόριθμοι tableaux). Επιπλέον, γίνεται ανάλυση των βασικών δυσκολιών που αντιμετωπίζουν τα συστήματα συλλογιστικής, με έμφαση στο ζήτημα της σχέσης της πολυπλοκότητας της συλλογιστικής με την εκφραστικότητα της αντίστοιχης γλώσσας.

Chapter 3 presents the basic reasoning problems on which the services for representing, managing and using ontological knowledge are based. In this context, the basic reasoning algorithms are presented, both for deep (structural subsumption algorithm) and expressive Descriptive Logics (tableaux algorithms). In addition, the main difficulties faced by reasoning systems are analysed, with emphasis on the issue of the relationship between the complexity of the reasoning and the expressiveness of the corresponding language.