ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ

Σχετικά έγγραφα
Τίτλος Μαθήματος. Ενότητα 5: Λογικός προγραμματισμός για αναπαράσταση γνώσης

Μάθημα: Δ3. Δίκτυα Γνώσης και Σημασιολογικός Ιστός. Διάλεξη 01 & 02. Δρ. Γεώργιος Χρ. Μακρής

Μάθημα: Δ3. Δίκτυα Γνώσης και Σημασιολογικός Ιστός. Διάλεξη 02 & 03. Δρ. Γεώργιος Χρ. Μακρής

Αναπαράσταση Γνώσης και Αναζήτηση στον Σηµασιολογικό Ιστό

Description Logics. Γεώργιος Χρ. Μακρής MSc, MEd

Τεχνολογίες RDF για τον Ιστό Δεδοµένων

Γλώσσες Σήµανσης (Markup Languages) Τεχνολογία ιαδικτύου και Ηλεκτρονικό Εµπόριο

Τεχνολογίες Αναπαράστασης Γνώσης και Συμπερασμού: Η Περίπτωση ενός Έξυπνου Βοηθού Προπονητή Ποδοσφαίρου

Σημασιολογικός Ιστός (Semantic Web) - XML

ΟΝΤΟΛΟΓΙΕΣ, ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ ΚΑΙ ΕΦΑΡΜΟΓΕΣ ΗΛΕΚΤΡΟΝΙΚΗΣ ΔΙΑΚΥΒΕΡΝΗΣΗΣ

ΜΕΘΟΔΟΛΟΓΙΑ ΚΑΙ ΠΛΑΙΣΙΟ ΑΝΑΠΤΥΞΗΣ ΠΡΟΣΑΡΜΟΖΟΜΕΝΟΥ ΣΥΣΤΗΜΑΤΟΣ ΗΛΕΚΤΡΟΝΙΚΗΣ ΜΑΘΗΣΗΣ ΣΕ ΠΕΡΙΒΑΛΛΟΝ ΣΗΜΑΣΙΟΛΟΓΙΚΟΥ ΙΣΤΟΥ ΔΙΔΑΚΤΟΡΙΚΗ ΔΙΑΤΡΙΒΗ

Ανάπτυξη Οντολογικής Γνώσης για Τεκμηρίωση Οπτικοακουστικού Περιεχομένου ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ

Σημασιολογικός Ιστός RDF(S) OWL Οντολογίες. Pervasive Computing Research Group

Σχεδιασµός Ανάπτυξη Οντολογίας

ΕΠΛ 012 Εισαγωγή στο Παγκόσμιο Πλέγμα Πληροφοριών

Εργαστήριο Σημασιολογικού Ιστού

ΤΙΤΛΟΣ ΙΠΛΩΜΑΤΙΚΗΣ ΕΡΓΑΣΙΑΣ: GoNToggle: ΕΞΥΠΝΗ ΜΗΧΑΝΗ ΑΝΑΖΗΤΗΣΗΣ ΜΕ ΧΡΗΣΗ ΟΝΤΟΛΟΓΙΩΝ ΠΕΡΙΟΧΗ ΕΡΕΥΝΑΣ: ΣΥΓΓΡΑΦΕΑΣ:

ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 12 ο : Γλωσσική επεξεργασία πολυμεσικών δεδομένων. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος:

<address>αδριανείου 2, Νέο Ψυχικό, 11525, Αθήνα</adderss> <address>

ΥΠΗΡΕΣΙΑ «TAXISNET» - ΗΛΕΚΤΡΟΝΙΚΗ ΥΠΟΒΟΛΗ ΤΩΝ ΦΟΡΟΛΟΓΙΚΩΝ ΔΗΛΩΣΕΩΝ ΓΙΑ ΤΟ ΤΜΗΜΑ ΕΣΩΤΕΡΙΚΩΝ ΠΡΟΣΟΔΩΝ ΚΑΙ ΤΗΝ ΥΠΗΡΕΣΙΑ ΦΟΡΟΥ ΠΡΟΣΤΙΘΕΜΕΝΗΣ ΑΞΙΑΣ ΤΟΥ

ΣΗΜΑΣΙΟΛΟΓΙΚΑ ΔΙΚΤΥΑ (SEMANTIC NETWORKS)

Ελένη Μπουρδάκη Ελληνικό Ανοικτό Πανεπιστήμιο Μεταπτυχιακό Πρόγραμμα Σπουδών Γραφικές Τέχνες και Πολυμέσα ΑΘΗ1 Επιβλέπων καθηγητής Στυλιαράς Γεώργιος

Θέματα Διπλωματικών Εργασιών. για το ΠΜΣ Πληροφορικής. Σημασιολογικό Ιστό και Ευφυείς Πράκτορες

Π Τ Υ Χ Ι Α Κ Η Ε Ρ ΓΑ Σ Ι Α

της πληροφορίας Λίνα Μπουντούρη Εθνικό Κέντρο Τεκμηρίωσης 13ο ΠανελλήνιοΣυνέδριοΑκαδημαϊκών Βιβλιοθηκών - Κέρκυρα 2004

Τεχνολογίες Αναπαράστασης Γνώσης και Συµπερασµού: Η Περίπτωση ενός Έξυπνου Βοηθού Προπονητή Ποδοσφαίρου

Ανάπτυξη Συστήματος Σημασιολογικού Ιστού για την Παρακολούθηση της τήρησης του Εσωτερικού Κανονισμού του ΔΠΜΣ «Πληροφορική και Διοίκηση»

ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΕΦΑΡΜΟΓΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΣΤΗ ΔΙΟΙΚΗΣΗ ΚΑΙ ΟΙΚΟΝΟΜΙΑ

Linked Data for the Masses: Η προσέγγιση και το λογισμικό

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΗΛΕΚΤΡΟΝΙΚΗΣ ΚΑΙ ΥΠΟΛΟΓΙΣΤΩΝ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΥΤΙΚΗΣ ΜΑΚΕ ΟΝΙΑΣ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ

Υποστήριξη στη ιαχείριση Γνώσης

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΑ

Οντολογίες γενικά. Ορισμοί Εφαρμογές Πρότυπα/Γλώσσες Διαχείριση οντολογιών Semantic Web

ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΣΤΟΝ ΠΑΓΚΟΣΜΙΟ ΙΣΤΟ

ΜΑΘΗΜΑ 5. Ιόνιο Πανεπιστήµιο - Τµήµα Αρχειονοµίας - Βιβλιοθηκονοµίας. Tεχνολογίες των Πληροφοριών σε ψηφιακό περιβάλλον: Τα εργαλεία

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ

Επαγωγικός Λογικός Προγραμματισμός και Aσαφείς Λογικές Περιγραφής

Σημασιολογική Ολοκλήρωση Δεδομένων με τη χρήση Οντολογιών

Θεωρητική προσέγγιση του Σημασιολογικού Ιστού στο χώρο της πολιτισμικής πληροφορίας: μία πρότυπη εφαρμογή στη βιβλιοθηκονομία

Συστήματα Γνώσης. Θεωρητικό Κομμάτι Μαθήματος Ενότητα 2: Βασικές Αρχές Αναπαράστασης Γνώσης και Συλλογιστικής

Περιεχόμενα. Γαβαλάς Δαμιανός Τρέχον status της HTML

Αθήνα, Μάρτιος 2012 Μαρία-Σοφία Λιανού

Σημασιολογικά δεδομένα και Παγκόσμιος στός

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ & ΠΛΗΡΟΦΟΡΙΚΗΣ

Περιγραφικές Λογικές. Αναπαράσταση γνώσης στο Σημασιολογικό Ιστό. Γ. Στάμου

Τεχνολογία ανάπτυξης νέων ιστοσελίδων στο Semantic Web.

Διασύνδεση και Άνοιγμα Δεδομένων του Α.Π.Θ. Καραογλάνογλου Κωνσταντίνος Μονάδα Σημασιολογικού Ιστού Α.Π.Θ 18/3/2014

Ανακάλυψη κανόνων συσχέτισης στο Σημασιολογικό Ιστό: Μια επαγωγική μέθοδος

ΠΑΡΑΓΩΓΗ ΕΡΩΤΗΣΕΩΝ ΑΞΙΟΛΟΓΗΣΗΣ ΑΠΟ ΒΑΣΕΙΣ ΓΝΩΣΗΣ

ΔΝΓΔΙΚΣΙΚΔ ΑΠΑΝΣΗΔΙ 3 εο ΓΡΑΠΣΗ ΔΡΓΑΙΑ

Πτυχιακές των κ.κ. Βλαχάβα, Βασιλειάδη, Βράκα και Τσουμάκα

«Σχεδιασμός και Ανάπτυξη Διεπαφής Πελάτη - Εξυπηρετητή για Υποστήριξη Συλλογισμού σε Κατανεμημένες Εφαρμογές του Σημαντικού Ιστού»

Διακιρυξθ Διαγωνιςμοφ για το Ζργο ΨΘΦΙΑΚΘ ΠΕΡΙΘΓΘΘ ΣΟ ΠΟΛΙΣΙΣΙΚΟ ΚΑΙ ΙΣΟΡΙΚΟ ΑΡΧΕΙΟ ΣΟΤ ΧΑΪΔΑΡΙΟΤ

Πολυτεχνική Σχολή. Τμήμα Μηχανικών Η/Υ & Πληροφορικής. Διπλωματική εργασία για την απόκτηση του μεταπτυχιακού διπλώματος ειδίκευσης στην

Γραφικό Περιβάλλον Οπτικής Απεικόνισης Οντολογιών RDF Schema στο Σημασιολογικό Ιστό

Ανάπτυξη Συστήματος Εκτέλεσης Διαδικτυακών

ΠΑΝΕΠΙΣΤΗΜΙΟ ΔΥΤΙΚΗΣ ΑΤΤΙΚΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ

ΔΙΑΣΥΝΔΕΣΗ ΚΑΙ ΔΗΜΟΣΙΕΥΣΗ ΔΕΔΟΜΕΝΩΝ ΔΗΜΟΣΙΩΝ ΚΑΙ ΙΔΙΩΤΙΚΩΝ ΦΟΡΕΩΝ ΜΕ ΧΡΗΣΗ ΤΗΣ XML

DSSSLkai TEX. 1. Eisagwgă. Apìstoloc Surìpouloc. 28ης Οκτωβρίου Ξάνθη

Τεχνικές Λογικού Προγραμματισμού

ΑΝΑΚΤΗΣΗ ΠΟΛΥΜΕΣΙΚΟΥ ΠΕΡΙΕΧΟΜΕΝΟΥ ΚΑΙ ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ Γ.Τ.Π

ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ. Σημασιολογικός παγκόσμιος ιστός και εφαρμογές του. Επιμέλεια / Συγγραφή. Αγλαΐνη Γεωργία ΑΜ: Επιβλέπων καθηγητής

Εισαγωγή στο RDF. Το Resource Description Framework (RDF) Σταύρος Πολυβίου

Οντολογία για την περιγραφή των προσωπικοτήτων της Σάμου, την κατηγοριοποίηση και τις σχέσεις τους

Aναπαράσταση Γνώσης στο Σημασιολογικό Ιστό

ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΣΤΟΝ ΠΑΓΚΟΣΜΙΟ ΙΣΤΟ

Αποδοτική Αναγνώριση Υπονοούμενων Ιεραρχικών Σχέσεων σε OWL Οντολογίες

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΩΣ

Άσκηση RDF Schema. <book:publisher rdf:id="penguin_pub"> <book:publishes rdf:resource="#book20"/> </book:publisher>

ΝΤUA. Τεχνολογία Πολυμέσων

ΕΥΦΥΗΣ ΔΙΑΧΕΙΡΙΣΗ XML ΔΕΔΟΜΕΝΩΝ ΜΕ ΤΗ ΓΛΩΣΣΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ PROLOG

Text. Encoding ncoding Initiativenitiative. επισκόπηση, προβλήματα και εφαρμογές. Λίνα Μπουντούρη

Σύστημα υποστήριξης κατασκευής ερωτημάτων με χρήση οντολογίας.

Προγραμματισμός και Συστήματα στον Παγκόσμιο Ιστό Ενότητα 5: XML. Καθ. Ιωάννης Γαροφαλάκης Πολυτεχνική Σχολή Μηχανικών Η/Υ & Πληροφορικής


Ο ΗΓΟΣ ΠΟΛΙΤΙΣΜΙΚΗΣ ΤΕΚΜΗΡΙΩΣΗΣ ΚΑΙ ΙΑΛΕΙΤΟΥΡΓΙΚΟΤΗΤΑΣ

Semantic Web Engineering

Ανάπτυξη Οντολογίας για τη δομή και τη λειτουργία Τηλεπικοινωνιακού Οργανισμού

ΣΧΕΔΙΑΣΜΟΣ & ΥΛΟΠΟΙΗΣΗ ΤΟΥ GRAMOFONE: ΕΝΑ ΓΡΑΦΙΚΟ ΕΡΓΑΛΕΙΟ ΕΠΕΞΕΡΓΑΣΙΑΣ ΟΝΤΟΛΟΓΙΩΝ ΒΑΣΙΣΜΕΝΟ ΣΤΟ ΠΡΟΤΥΠΟ MOF. Γιαννόπουλος Νικόλαος

ΠΛΗΡΟΦΟΡΙΑΚΑ ΣΥΣΤΗΜΑΤΑ ΙΟΙΚΗΣΗΣ. Ανάπτυξη Πληροφοριακών Συστηµάτων Επισκόπηση Π.Σ. & τεχνικές για Ανάλυση και Ανάπτυξη. πληροφοριακών συστηµάτων

Ιστορικοί χάρτες στον Παγκόσμιο Ιστό

Εισαγωγή στον Παγκόσμιο ιστό και στη γλώσσα Html. Χρ. Ηλιούδης

(Blended Executive Learning)

Εργαστήριο Σημασιολογικού Ιστού

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΤΜΗΜΑ ΜΗΧ/ΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΣΤΟΝ ΠΑΓΚΟΣΜΙΟ ΙΣΤΟ ΕΚΠΟΝΗΣΗ ΕΡΓΑΣΙΑΣ

Πρότυπα και Τεχνολογίες Semantic Web και Web 2.0 και η εφαρμογή τους στην Ηλεκτρονική Διακυβέρνηση

Δ Ι Π Λ Ω Μ ΑΤ Ι Κ Η Ε Ρ ΓΑ Σ Ι Α

Γραφικό Περιβάλλον Μοντελοποίησης Οντολογιών και Μεταδεδοµένων RDF στο Σηµασιολογικό ιαδίκτυο

Μεταδεδομένα στο Ψηφιακό περιβάλλον

DECO-DECoration Ontology.

Εργαστήριο Σημασιολογικού Ιστού

ιπλωµατική Εργασία του Γεράσιµου Παπαδόπουλου (ΑΕΜ: 295)

Απεικόνιση Οντολογιών Σε Σχήµατα Σχεσιακών Βάσεων εδοµένων Με Σκοπό Την Ανάκτηση εδοµένων Σηµασιολογικού Περιεχοµένου ΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ

Ηλεκτρονικό Εμπόριο και Σημασιολογικός Ιστός

ΕΙΣΑΓΩΓΗ MΕΤΑΔΕΔΟΜΕΝΩΝ ΣΤΟ ΣYΣΤΗΜΑ ΔΙΑΧΕΙΡΙΣΗΣ ΠΕΡΙΕΧΟΜΕΝΟΥ WORDPRESS

Σημασιολογικό Ιστό, Ευφυείς Πράκτορες, Υπηρεσίες Ιστού

Απεικόνιση Σχεσιακού Μοντέλου σε Οντολογία Σηµασιολογικού Ιστού

Εμπλουτισμός Οντολογιών με Τεχνικές Μηχανικής Μάθησης. ΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ. Κυριακή Δ. Ζαφειρούδη

Transcript:

ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΣΥΜΠΛΗΡΩΜΑΤΙΚΕΣ ΣΗΜΕΙΩΣΕΙΣ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ (III) ΙΖΑΜΠΩ ΚΑΡΑΛΗ ΑΘΗΝΑ 2008

Σύγχρονεςανάγκες για αναπαράσταση γνώσης World wide web: Πραγματικότητα: Wed of documents Μεταδεδομένα Σημασιολογική πληροφορία Semantic web Vision: Web of data

World Wide Web Web of documents URLs HTTP HTML σελίδες (HTML εμπνευσμένη από την SGML -Standard Generalized Markup Language)

Παράδειγμα: <H1> Λογικός Προγραμματισμός </Η1> <Η2> Εξάμηνο Στ </H2> <H3> Περιεχόμενο </H3> <UL> <LI> Prolog <LI> Θεωρία Λογικού Προγραμμαστισμού <LI>. </UL>

XML και ΗμιδομημέναΔεδομένα Tags που ορίζονται από το χρήστη σύμφωνα με τις ανάγκες μιας εφαρμογής Θεωρούμε ότι απεικονίζουν κάποιας μορφής «νόημα» για το περιεχόμενό τους μια που θα το χειριστεί κατάλληλα η αντίστοιχη εφαρμογή XML (Extensible Markup Language ) W3 activity Recommendation (5η έκδοση, Feb 2008) Βασίζεται στην SGML(υποσύνολό της) Ο ορισμός του συντακτικού ενός εγγράφου XML μπορεί να γίνει από κάποιο φορμαλισμό όπως το DTD (Document Type Definition) ή το XML Schema Γλώσσες και μεθοδολογίες για τον υπολογισμό απαντήσεων για έγγραφα XML, π.χ. XQuery και XPath, αντίστοιχα

Παράδειγμα: <book> <title> Gone with the wind </title> <author> Margaret Mitchell </author> <year> 1936 </year> </book>

Ευελιξίαστο σχήμα των δεδομένων RDF RDF (ResourceDescriptionFramework) Αρχικά W3 activity, μετά semantic web activity Specification recommendation (2004) Μοντέλο δεδομένων Γενική μορφή: «τριπλέτες»(x,p,y), όπου: P: property x,y: objects Αντίστοιχος λογικός τύπος: P(x,y) P binary predicate URIs (UniformResourceIdentifiers) μπορούν να χρησιμοποιηθούν για να ονομάσουν τόσο τα P και x αλλά και τα y (αλλιώς το y μπορεί να είναι μια σταθερά) Γλώσσες και μεθοδολογίες για τον υπολογισμό απαντήσεων γιααρχεία RDF, π.χ. SPARQL RDF και ER RDF και Conceptual Graphs

Ορισμόςσχήματος «ελαφρά» μεταδεδομένα RDF Schema (RDF VocabularyDescriptionLanguage) W3 activity Specification recommendation (2004) Classes-Instances-Properties/Resources Subclass/belongs/subproperty Κληρονομικότητα

Ανταλλαγήπληροφορίας περιγραφή γνωστικού πεδίου Μοντέλο δεδομένων και μεταδεδομένων Για περιγραφή πολύπλοκων γνωστικών πεδίων, π.χ. δυνατότητα περιγραφής κλάσεων όχι απλά δυνατότητα ονομασίας περιορισμούς στα πεδία τιμών απόδοση ιδιοτήτων μεταξύ κλάσεων (π.χ. «ξένες» μεταξύ τους)

OWL (Web OntologyLanguage) W3 activity Specification recommendation (2004) Συμβιβασμός μεταξύ εκφραστικότητας και υλοποιησιμότητας OWL Full (first order logic) (υπερσύνολο της RDFS) OWL-DL (description logic) OWL-Lite (απλή λειτουργικότητα στον ορισμό κλάσεων)

ΛογικέςΠεριγραφών Βασικές έννοιες: Concepts (unary predicates), π.χ. άνθρωπος Roles (binary predicates), π.χ. haschild Individual names (σταθερές), π.χ. Mary Τελεστές για να περιγράφουμε concepts και roles Προσοχή: πρέπει να είναι περιορισμένοι ώστε Satisfiability/subsumptionis decidable and, if possible, of low complexity

TBox: Το σύνολο των περιγραφών, π.χ. Doctor subset Person, HappyParent = Person for_all haschild.(doctor U exists haschild.doctor) ABox: Το σύνολο των δεδομένων. π.χ. John:HappyParent, John haschild Mary KB = TBoxU Abox Σημασιολογία βασισμένη στις ερμηνείες και τα μοντέλα

Συλλογιστική SWRL (Semantic Web Rule Language) (W3 member submission) RuleML: Κανόνες για το WWW RuleMLconsortium collaborates with W3C Κανόνες πάνω από την OWL VS Horn (datalog) κανόνες (Λογικός Προγραμματισμός) open semantics VS closed semantics για την άρνηση

ΛογικόςΠρογραμματισμός Μπορείνα χρησιμοποιηθεί για: Μοντέλο δεδομένων, περιγραφή μεταδεδομένων και κανόνων για χρήση σε συλλογιστική Απλότητα Θεωρία Υλοποίηση (prolog) Επεκτάσεις (constraints, modules)

Βιβλιογραφία W3 Consortium (http://www.w3.org/) Ivan Herman, Introduction to thesemanticweb WWW2006, Edinburgh, UK, 2006-05-24 (http://www.w3.org/2006/talks/0524-edinburgh-ih) Ian Horrocks, "Description Logics inontology Applications, KI/Tableaux 2005 (http://www.cs.man.ac.uk/~horrocks/slides/index.html) Carsten Lutz and Ulrike Sattler, Description Logics Course ESSLLI 2002 (http://lat.inf.tudresden.de/~clu/esslli.html)