Technologies of Semantic Web

Code 698
Semester Spring
Class Hours - Lab Hours 3 - 0
Lecturers Giorgos Stamou, Athanasios Voulodimos


The course covers the basics of knowledge representation formalisms such as First Order Logic, Description Logics, Logic Programming and their extensions. Their syntax and semantics are analyzed, with emphasis on the properties that determine their application domain. Then, algorithms, methods and reasoning systems for knowledge developed using the above formalisms are studied. Finally, modern ontological engineering and knowledge systems development technologies are presented; in this context Semantic Web standards (RDF, OWL, RIF, SPARQL, R2RML) that are used to develop and manage knowledge systems on the Web are presented.