Current postgraduate taught students
COMP60421: Ontology Engineering for the Semantic Web (2012-2013)
Knowledge representation and "ontologies" are critical to the development of the next generation Web - "The Semantic Web." Beyond the Semantic Web, semantically rich applications, ontologies and metadata are playing an increasing role in cutting edge applications. The W3C Web Ontology Language, OWL, is now an established standard for developing and managing ontologies both for the Semantic Web and for other semantically rich applications. Manchester played a major role in OWL's development, and OWL plays a key role in many of its research programmes and industrial collaborations.
This module presents both the foundations and practice of developing and using OWL ontologies. The course is split roughly evenly between theoretical material on the description logics underlying OWL and practical work on developing ontologies using OWL. The course uses the latest version of the Prot?g?-OWL environment which has been developed in the Department and is now the de facto standard open-source environment for developing OWL ontologies.
The couse will provide students with a theoretical and practical understanding of leading edge solutions for the Semantic Web and for knowledge representation more generally. It will introduce students to description logics through the the new W3C standard Web Ontology Language, OWL. It will provide students with experience using a set of established patterns for developing OWL ontologies and help them to learn to avoid the major pitfalls in using OWL. It will give them an opportunity to become familiar with a widely used environment for developing and applying OWL ontologies.
|Programme outcome||Unit learning outcomes||Assessment|
|G1||Be able to discuss/explain the general principals of semantic networks, frames, rules.|
|G1 G2||Be able to discuss/explain KR/ontology languages designed for the world wide web, in particular the new Web Ontology Language (OWL).|
|G1||Understand the syntax, semantics and decision procedures for the famly of description logics which underpin OWL (A).|
|G1 G2||Know the common ontological structures and principles of ontology development , have an appreciation of "why it's hard", and to be able to write critically about current work on the "Semantic Web".|
|G2 G3||Be able to design and build ontologies in OWL using the de facto standard editor, Protege, justify and evaluate their design and explain their behaviour.|
The following topics will be covered in the course lecturesIntroduction to the Semantic Web
Basics of knowledge representation and informal introduction to OWL
Description logics and classiers - the ALC family and its extensions
Practical issues in ontologies: Basic principles, normalisation and the "Ontoclean" methodology, upper ontologies,
Common problems in ontology development: parts and wholes, time, space, fundamental limitations.
Lab workIntroduction to Protege and OWL including advanced tutorial
Special problems of representation and reasoning in OWL
Differences between 'open world' reasoning in OWL and 'closed world' reasoning in databases and logic programming
Practical development project
Critique/comment on implemented ontologies on the Web