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

• Main Authors: Stamou, Georgios, Στάμου, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΟΝΤΟΛΟΓΙΕΣ; ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ; ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ; ΣΥΛΛΟΓΙΣΤΙΚΗ; ΣΗΜΑΣΙΟΛΟΓΙΑ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; Ontologies; Description Logics; Semantic Web; Semantics; Automated Reasoning; Knowledge Representation And Reasoning

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