To introduce logical languages used to build formal ontologies and terminologies in computer science and information systems; To introduce logic-based methodologies for designing and maintaining ontologies; To introduce reasoning problems and procedures in standard ontology languages such as description logics; To study the tradeoff between expressive power and computational complexity of reasoning for ontology languages; To study applications of ontologies in bio-informatics, metical informatics, and semantic web.

(LO1) At the end of the module the student should be able to translate natural language to standard ontology languages (such as description logics) and back;

(LO2) understand the formal semantics of standard ontology languages;

(LO3) be able to design ontologies in standard ontology languages;

(LO4) understand and be able to apply reasoning procedures for description logics;

(LO5) be able to apply ontologies in computer science applications;

(LO6) understand how reasoning is used in the design and maintenance of ontologies.

(S1) Problem Solving - Numeracy and computational skills

(S2) Problem solving – analysing facts and situations and applying creative thinking to develop appropriate solutions.

1 (1) Introduction to ontologies and terminologies and their applications (2 lectures); (2) Introduction to ontology languages: Description logics, Rule-based languages, first-order logic (7 lectures); (3) Introduction to the design and maintenance of description logics (6 lectures); (4) Algorithms for reasoning in description logics and their applications (11 lectures); (5) Ontologies and databases (4 lectures);

Teaching Method 1 - Lecture
Description:
Attendance Recorded: Not yet decided

Teaching Method 2 - Tutorial
Description:
Attendance Recorded: Not yet decided