Οντολογίες και Περιγραφικές Λογικές

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

Στο πλαίσιο του Κεφαλαίου 2 παρουσιάζεται η σύνταξη και η σημασιολογία των Περιγραφικών Λογικών. Ξεκινώντας από απλές Περιγραφικές Λογικές (Attributive Language - AL), εισάγεται ο αναγνώστης στα λογικά σύμβολα της κάθε γλώσσας (κατασκευαστές εννοιών και ρόλων, υπαγωγές, ισοδυναμίες, υποθέσεις), καλύπτοντας τελικά όλο το εύρος των Περιγραφικών Λογικών που χρησιμοποιούνται στην πράξη, από τις βατές (όπως η EL και η DL-Lite) έως τις πολύ εκφραστικές (όπως η SROIQ).