Μαθηματική Λογική και Σημασιολογικό Web. Οντολογίες, Συλλογισμοί και Σημασιολογική Επεξεργασία στο Web. Linked Data, Εφαρμογές του Σημασιολογικού Web, Ασφάλεια και Aξιοπιστία. Μελλοντικό Διαδίκτυο.