Current postgraduate taught students
COMP60461: The Semantic Web: Ontologies and OWL (2007-2008)
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.
A student successfully completing this course unit should:
Be able to discuss/explain the general principals of semantic networks, frames, rules (A),
Be able to discuss/explain KR/ontology languages designed for the world wide web, in particular the new Web Ontology Language (OWL) (A, B),
Understand the syntax, semantics and decision procedures for the famly of description logics which underpin OWL (A),
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'' (A, B),
Be able to design and build ontologies in OWL using the de facto standard editor, Protege, justify and evaluate their design (B, C), and explain their behaviour.
Assessment of Learning outcomesLearning outcomes 1-4 will be assessed by exam. Learning outcome 5 will be assessed via practical and post-course work.
Contribution to Programme Learning OutcomesA1, A2, B2, B3, C1, C3, D3, D4
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
Core TextTitle: Description Logic Handbook
Author: Franz Baader, Diego Calvanese, Deborah Mcguinness, Daniele Nardi, Peter Patel-Schneider
Publisher: Cambridge University Press
Author: Matthew Horridge, Holger Knublauch, Alan Rector, Robert Stevens, Chris Wroe
Publisher: School of computer Science, Internal Report
Main source for practical training in OWL
Supplementary TextTitle: Artificial Intelligence: a modern approach (2nd edition)
Author: Russell, S. and P. Norvig
Publisher: Prentice Hall
Supplementary TextTitle: Principles of Semantic Networks Explorations in the Representation of Knowledge
Author: John F. Sowa
Publisher: Elsevier Science & Technology
Supplementary TextTitle: Semantic web primer (2nd edition)
Author: Antoniou, Grigoris and Frank van Harmelen
Publisher: MIT Press