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 |
| Description: | |
| Abstract: |
Chapter 2 presents the syntax and semantics of Descriptive Logics. Starting from simple Descriptive Logics (Attributive Language - AL), the reader is introduced to the logical symbols of each language (concept and role constructors, subsumptions, equivalences, hypotheses), eventually covering the whole range of Descriptive Logics used in practice, from the heavyweight ones (such as EL and DL-Lite) to the very expressive ones (such as 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. Knowledge representation and reasoning [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/4227 |
| Language: |
Greek |
| Consists of: |
1. Ontologies and models |
| Is Part of: |
Knowledge representation and reasoning |
| Publication Origin: |
Kallipos, Open Academic Editions |