Οντολογίες και Περιγραφικές Λογικές
Στο πλαίσιο του Κεφαλαίου 2 παρουσιάζεται η σύνταξη και η σημασιολογία των Περιγραφικών Λογικών. Ξεκινώντας από απλές Περιγραφικές Λογικές (Attributive Language - AL), εισάγεται ο αναγνώστης στα λογικά σύμβολα της κάθε γλώσσας (κατασκευαστές εννοιών και ρόλων, υπαγωγές, ισοδυναμίες, υποθέσεις), καλύ...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/4227 |
| id |
kallipos-11419-4227 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-42272021-07-11T20:34:25Z Οντολογίες και Περιγραφικές Λογικές Ontologies and Description Logics Σύνταξη και σημασιολογία Περιγραφικών Λογικών, αντιστοίχιση Περιγραφικών Λογικών με θεμελιώδεις φορμαλισμούς αναπαράστασης γνώσης Description Logics syntax and semantics, relations to fundamental knowledge representation formalisms Stamou, Georgios Στάμου, Γεώργιος ΟΝΤΟΛΟΓΙΕΣ ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ ΣΥΛΛΟΓΙΣΤΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Ontologies Description Logics Semantic Web Semantics Automated Reasoning Knowledge Representation And Reasoning Στο πλαίσιο του Κεφαλαίου 2 παρουσιάζεται η σύνταξη και η σημασιολογία των Περιγραφικών Λογικών. Ξεκινώντας από απλές Περιγραφικές Λογικές (Attributive Language - AL), εισάγεται ο αναγνώστης στα λογικά σύμβολα της κάθε γλώσσας (κατασκευαστές εννοιών και ρόλων, υπαγωγές, ισοδυναμίες, υποθέσεις), καλύπτοντας τελικά όλο το εύρος των Περιγραφικών Λογικών που χρησιμοποιούνται στην πράξη, από τις βατές (όπως η EL και η DL-Lite) έως τις πολύ εκφραστικές (όπως η SROIQ). 2016-02-25T16:31:25Z 2021-07-09T14:29:59Z 2016-02-25T16:31:25Z 2021-07-09T14:29:59Z 2016-02-25 7 http://localhost:8080/jspui/handle/11419/4227 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΟΝΤΟΛΟΓΙΕΣ ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ ΣΥΛΛΟΓΙΣΤΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Ontologies Description Logics Semantic Web Semantics Automated Reasoning Knowledge Representation And Reasoning |
| spellingShingle |
ΟΝΤΟΛΟΓΙΕΣ ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ ΣΥΛΛΟΓΙΣΤΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Ontologies Description Logics Semantic Web Semantics Automated Reasoning Knowledge Representation And Reasoning Stamou, Georgios Στάμου, Γεώργιος Οντολογίες και Περιγραφικές Λογικές |
| description |
Στο πλαίσιο του Κεφαλαίου 2 παρουσιάζεται η σύνταξη και η σημασιολογία των Περιγραφικών Λογικών. Ξεκινώντας από απλές Περιγραφικές Λογικές (Attributive Language - AL), εισάγεται ο αναγνώστης στα λογικά σύμβολα της κάθε γλώσσας (κατασκευαστές εννοιών και ρόλων, υπαγωγές, ισοδυναμίες, υποθέσεις), καλύπτοντας τελικά όλο το εύρος των Περιγραφικών Λογικών που χρησιμοποιούνται στην πράξη, από τις βατές (όπως η EL και η DL-Lite) έως τις πολύ εκφραστικές (όπως η SROIQ). |
| format |
7 |
| author |
Stamou, Georgios Στάμου, Γεώργιος |
| author_facet |
Stamou, Georgios Στάμου, Γεώργιος |
| author_sort |
Stamou, Georgios |
| title |
Οντολογίες και Περιγραφικές Λογικές |
| title_short |
Οντολογίες και Περιγραφικές Λογικές |
| title_full |
Οντολογίες και Περιγραφικές Λογικές |
| title_fullStr |
Οντολογίες και Περιγραφικές Λογικές |
| title_full_unstemmed |
Οντολογίες και Περιγραφικές Λογικές |
| title_sort |
οντολογίες και περιγραφικές λογικές |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/4227 |
| work_keys_str_mv |
AT stamougeorgios ontologieskaiperigraphikeslogikes AT stamougeōrgios ontologieskaiperigraphikeslogikes AT stamougeorgios ontologiesanddescriptionlogics AT stamougeōrgios ontologiesanddescriptionlogics AT stamougeorgios syntaxēkaisēmasiologiaperigraphikōnlogikōnantistoichisēperigraphikōnlogikōnmethemeliōdeisphormalismousanaparastasēsgnōsēs AT stamougeōrgios syntaxēkaisēmasiologiaperigraphikōnlogikōnantistoichisēperigraphikōnlogikōnmethemeliōdeisphormalismousanaparastasēsgnōsēs AT stamougeorgios descriptionlogicssyntaxandsemanticsrelationstofundamentalknowledgerepresentationformalisms AT stamougeōrgios descriptionlogicssyntaxandsemanticsrelationstofundamentalknowledgerepresentationformalisms |
| _version_ |
1771301299217760256 |
