COMP62342: Ontology Engineering for The Semantic Web

Sean Bechhofer & Uli Sattler


This is the web page where you will find news and more information about COMP62342. There is, additionally, the syllabus page.

If you have any questions that might be of interest to others, please feel free to post it on Blackboard's discussion list.

Coursework and Timing

The course runs in Semester 2, period 4 on a Friday. The course will start on Friday, March 18th, 2016, at 9:30 in room 2.19 with lectures and labs. The schedule will usually include lectures in the morning and practical/lab work in the afternoon.

In subsequent weeks we will start at 09:00.

The deadline for handing in coursework will be 09:00 on Friday the following week.

Coursework, announcements, feedback, and discussions will be handled via Blackboard. We may also use Twitter (tags #uom #comp62342) for announcements and news.

For part of the coursework, we'll be using the Protege 4 editor.

Late coursework:

If you have mitigating circumstances (either for lateness or for any other issue), you should fill out the mitigating circumstances form and hand it in to the student support office. The instructors and demonstrators do not grant extensions or resits for coursework directly: You need to go through the mitigating circumstances committee. Feel free to come talk to us about problems you are having as early as possible. We will help you navigate the system. But we will adhere to the system. If you do not have mitigating circumstances, then late coursework will attract penalties.

Schedule and materials:

Week Date Topic(s) Resources/Reading Slides/Materials
1 18/03 Practicalities
Intro to KR
Family History Tutorial
[what-is-kr], [isa]
[fhkb], [protege]
[owl2-overview], [owl2-reference], [owl2-primer]
Initial FHKB
Week 1 Intro
2 15/04 Competency Questions
Knowledge Acquisition
OWL Semantics
[ka],[dl-handbook] Competency Questions
Knowledge Acquisition
OWL Semantics
3 22/04 OWL, FOL and Patterns
[composition], [part-whole]
OWL, FOL and Patterns
4 29/04 Reasoning
Role Modelling

[owlapi-1], [owl-api-2], OWL API
Role Modelling
5 06/05 More Reasoning
Linked Data
Case Study
[dl-handbook], [linked-data-1], [linked-data-2] Reasoning
Linked Data

Reading List

OWL Recommendations

Week 1

Week 2

Week 3

Week 4

Week 5


  • [kr-r] Ronald Brachman, Hector Levesque Knowledge Representation and Reasoning, Morgan Kaufmann Series in Artificial Intelligence
  • [common-sense] Jerry Hobbs, Robert Moore (eds) Formal Theories of the Commonsense World, Morgan Kaufmann.
  • [common-sense2] Ernest Davis Representations of Commonsense Knowledge, Morgan Kaufmann.
  • [fol] Jon Barwise and John Etchemendy.The Language of First Order Logic, CSLI Lecture Notes, 1993
  • [kr-ai] Han Reichgelt Knowledge Representation: An AI Perspective, Ablex Publishing, 1991.
  • [ontoclean-1] Guarino, Nicola and Chris Welty. An Overview of OntoClean. In Steffen Staab and Rudi Studer, eds., The Handbook on Ontologies. pp. 151-172. Berlin:Springer-Verlag.
  • [ontoclean-2] Guarino, Nicola and Chris Welty. Evaluating Ontological Decisions with OntoClean. Communications of the ACM. 45(2):61-65. New York: ACM Press.
  • [ontoclean-3] C Welty and N. Guarino, Supporting ontological analysis of taxonomic relationships. Data and Knowledge Engineering 39, pp.51-74, 2001