Adobe PDF (333.31 kB)
Title Details:
Ontologies and Description Logics
Other Titles: Description Logics syntax and semantics, relations to fundamental knowledge representation formalisms
Authors: Stamou, Georgios
Reviewer: Stafylopatis, Andreas Georgios
Subject: MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS
Keywords:
Ontologies
Description Logics
Semantic Web
Semantics
Automated Reasoning
Knowledge Representation And Reasoning
Description:
Abstract:
Στο πλαίσιο του Κεφαλαίου 2 παρουσιάζεται η σύνταξη και η σημασιολογία των Περιγραφικών Λογικών. Ξεκινώντας από απλές Περιγραφικές Λογικές (Attributive Language - AL), εισάγεται ο αναγνώστης στα λογικά σύμβολα της κάθε γλώσσας (κατασκευαστές εννοιών και ρόλων, υπαγωγές, ισοδυναμίες, υποθέσεις), καλύπτοντας τελικά όλο το εύρος των Περιγραφικών Λογικών που χρησιμοποιούνται στην πράξη, από τις βατές (όπως η EL και η DL-Lite) έως τις πολύ εκφραστικές (όπως η SROIQ).
Linguistic Editors: Chortaras, Alexandros
Technical Editors: Chortaras, Alexandros
Type: Chapter
Creation Date: 2015
Item Details:
License: http://creativecommons.org/licenses/by-nc-nd/3.0/gr
Handle http://hdl.handle.net/11419/4227
Bibliographic Reference: Stamou, G. (2015). Ontologies and Description Logics [Chapter]. In Stamou, G. 2015. Αναπαράσταση οντολογικής γνώσης και συλλογιστική [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/4227
Language: Greek
Consists of: 1. Ontologies and models
Is Part of: Αναπαράσταση οντολογικής γνώσης και συλλογιστική
Publication Origin: Kallipos, Open Academic Editions