COMP62342: Ontology Engineering for The Semantic Web

Sean Bechhofer & Uli Sattler

General

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 17th, 2017, 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 (tag #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.

Materials

Assessment, quizzes and discussion boards are all hosted on Blackboard. We will make lecture notes available via this web page, but will not, in general provide printed handouts of all notes.

Schedule and materials:

Week Date Topic(s) Resources/Reading Slides/Materials
1 17/03 Practicalities
Intro to KR
Family History Tutorial
[what-is-kr] [isa]
[fhkb] [protege]
[owl2-overview] [owl2-reference] [owl2-primer]
Week 1 Practicalities
Initial FHKB
Week 1 Intro
Week 1 Family History lab
2 24/03 Competency Questions
Knowledge Acquisition
Formalisation
OWL Semantics
Sushi Guest Lecture
[ka] [dl-handbook] [DL-OWL] Competency Questions
Knowledge Acquisition
Formalisation
OWL Semantics
3 31/03 OWL, FOL and Patterns
Role Modelling
Reasoning
[composition] [part-whole] [dl-handbook] OWL, FOL and Patterns
Role Modelling
Reasoning
4 28/04 More Reasoning
The OWL API
[dl-handbook] [owlapi-1] [owl-api-2] More Reasoning
OWL API Introduction; OWL API
5 05/05 SKOS
Linked Data
Case Study
[skos-ref] [dl-handbook] [linked-data-1] [linked-data-2] Ontology-based Information Systems, Wrap-Up.

Reading List

OWL Recommendations

Week 1

Week 2

Week 3

Week 4

Week 5

General

  • [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