Technologies of Semantic Web
| Code | 698 |
|---|---|
| Semester | Spring |
| Class Hours - Lab Hours | 3 - 0 |
| Lecturers | Giorgos Stamou, Athanasios Voulodimos |
Description
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.