Module Details
The information contained in this module specification was correct at the time of publication but may be subject to change, either during the session because of unforeseen circumstances, or following review of the module at the end of the session. Queries about the module should be directed to the member of staff with responsibility for the module.
Title ONTOLOGY LANGUAGES AND THEIR APPLICATIONS
Code COMP321
Coordinator Prof F Wolter
Computer Science
Wolter@liverpool.ac.uk
Year CATS Level Semester CATS Value
Session 2016-17 Level 6 FHEQ First Semester 15

Aims

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.


Learning Outcomes

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;

understand the formal semantics of standard ontology languages;

be able to design ontologies in standard ontology languages;

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

be able to apply ontologies in computer science applications;

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


Syllabus
1  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 and Learning Strategies

Lecture -

Tutorial -


Teaching Schedule
  Lectures Seminars Tutorials Lab Practicals Fieldwork Placement Other TOTAL
Study Hours 30

   10

       40
Timetable (if known)              
Private Study 110
TOTAL HOURS 150

Assessment
EXAM Duration Timing
(Semester)		 % of
final
mark		 Resit/resubmission
opportunity		 Penalty for late
submission		 Notes
Written Exam  150  Semester 1  80  No reassessment opportunity  Standard UoL penalty applies  Final Exam There is no reassessment opportunity, No resit opportunity for final year modules. Notes (applying to all assessments) 2 class tests each contributing 10% This work is marked anonymously. Written examination No resit opportunity for final year modules.  
CONTINUOUS Duration Timing
(Semester)		 % of
final
mark		 Resit/resubmission
opportunity		 Penalty for late
submission		 Notes
Coursework  1 hour each  1st semester  10  No reassessment opportunity  Standard UoL penalty applies  Class Test 1 There is no reassessment opportunity, No resit opportunity for final year modules. 
Coursework  1 hour each  1st semester  10  No reassessment opportunity  Standard UoL penalty applies  Class Test 2 There is no reassessment opportunity, No resit opportunity for final year modules. 

Recommended Texts
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module.
Explanation of Reading List: