National Technical University of Athens
School of Electrical and Computer Engineering
Artemis is Live!
Welcome to our digital repository! The aim of Artemis is the systematic archiving and dissemination of the scientific work produced in the School of Electrical and Computer Engineering, National Technical University of Athens, Greece, using the technology of digital libraries.
Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/14423| Title: | Σύνταξη Και Σημασιολογία Προγραμμάτων Ασαφούς Περιγραφικής Λογικής |
| Authors: | Αναστάσιος Βενέτης Κόλλιας Στέφανος |
| Keywords: | πειργραφική λογική ασαφείς συνολοθεωρία ασαφής λογική οντολογίες κανόνες horn owl |
| Issue Date: | 19-Oct-2005 |
| Abstract: | Σκοπός της διπλωματικής αυτής εργασίας είναι η μελέτη της Σύνταξης και της Σημασιολογίας των Προγραμμάτων Ασαφούς Περιγραφικής Λογικής . Τα Προγράμματα Περιγραφικής Λογικής αποτελούν μια αντιστοίχιση της γλώσσας οντολογιών OWL DL της Περιγραφικής Λογικής και των κανόνων def-Horn. Η αντιστοίχιση αυτή είναι ιδιαίτερα σημαντική γιατί έχει ως αποτέλεσμα τη δημιουργία μιας γλώσσας, της DLP, η οποία συνδυάζει τις εκφραστικές οντολογίες με τους κανόνες, οι οποίοι παρέχουν ιδιαίτερα αποδοτικούς μηχανισμού εξαγωγής συμπερασμάτων. Τα Προγράμματα Ασαφούς Περιγραφικής Λογικής τώρα, συν τοις άλλοις παρέχουν τη δυνατότητα αναπαράστασης της εγγενούς αβεβαιότητας και ασάφειας των πληροφοριών με αποτέλεσμα η γλώσσα f-DLP να είναι ιδιαίτερα εκφραστική. |
| URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/14423 |
| Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| DT2005-0211.pdf | 865.79 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.