Adobe PDF
(501.25 kB)
| Title Details: | |
|
Automated reasoning in ontologies |
|
| Other Titles: |
Algorithms and services for automated implicit knowledge extraction from ontological domain descriptions |
| 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: |
Το Κεφάλαιο 3 παρουσιάζει τα βασικά προβλήματα συλλογιστικής στα οποία στηρίζονται οι υπηρεσίες αναπαράστασης, διαχείρισης και χρήσης οντολογικής γνώσης. Στο πλαίσιο αυτό παρουσιάζονται οι βασικοί αλγόριθμοι συλλογιστικής, τόσο για βατές (αλγόριθμος δομικής υπαγωγής - structural subsumption), όσο και για εκφραστικές Περιγραφικές Λογικές (αλγόριθμοι tableaux). Επιπλέον, γίνεται ανάλυση των βασικών δυσκολιών που αντιμετωπίζουν τα συστήματα συλλογιστικής, με έμφαση στο ζήτημα της σχέσης της πολυπλοκότητας της συλλογιστικής με την εκφραστικότητα της αντίστοιχης γλώσσας.
|
| 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/4228 |
| Bibliographic Reference: | Stamou, G. (2015). Automated reasoning in ontologies [Chapter]. In Stamou, G. 2015. Αναπαράσταση οντολογικής γνώσης και συλλογιστική [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/4228 |
| Language: |
Greek |
| Is Part of: |
Αναπαράσταση οντολογικής γνώσης και συλλογιστική |
| Publication Origin: |
Kallipos, Open Academic Editions |