Logic and Computation foundational course:
Ontology Modelling Languages.
Ontologies are currently becoming the major paradigm for knowledge representation and reasoning. Their success is driven by the Semantic Web effort, but there is also considerable use outside the Web context, e.g. in information integration or life sciences. In this course, we will present an in-depth treatment of the ontology representation languages RDF and OWL, which are recommended standards by the World Wide Web consortium. We will thoroughly examine their logical underpinnings and discuss current research topics and applications. The outline of the course will be as follows:
(1) RDF and RDF Schema
(2) OWL and Description Logics
(3) Tableaux algorithms for OWL
(4) Query languages