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

• Κύριοι συγγραφείς: Stamou, Georgios, Στάμου, Γεώργιος
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΟΝΤΟΛΟΓΙΕΣ; ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ; ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ; ΣΥΛΛΟΓΙΣΤΙΚΗ; ΣΗΜΑΣΙΟΛΟΓΙΑ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; Ontologies; Description Logics; Semantic Web; Semantics; Automated Reasoning; Knowledge Representation And Reasoning

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