Στο εργαστήριο του μαθήματος οι φοιτητές/τριες θα εξασκηθούν στα εξής:
Απόδειξη πρότασης στο πλαίσιο του Προτασιακού Λογισμού (Propositional Logic).
Εξαγωγή Γνώσης από Δεδομένα (Data Mining) στο περιβάλλον WEKA
Σχεδίαση και δημιουργία ταξινομίας, δέντρου ορισμού, εγκυκλοπαίδειας και οντολογίας στο περιβάλλον OWL-Protege
Αναλυτική σχεδίαση και δημιουργία οντολογιών με έμφαση στην επιβολή περιορισμών (Restrictions) και τη Λογική παραγωγή (Deduction) ιεραρχιών κλάσεων
Πρότυπο RDF
Εξαγωγή Γνώσης σε περιβάλλον οντολογιών μέσω ερωτημάτων (Γλώσσα SPARQL)
- Διδάσκων: ΜΑΡΚΟΣ ΔΕΝΔΡΙΝΟΣ
- Διδάσκων: ΣΑΡΑΝΤΟΣ ΚΑΠΙΔΑΚΗΣ
- Διδάσκων: ΕΜΜΑΝΟΥΗΛ ΠΕΠΟΝΑΚΗΣ