CS646

Content-Length: 23427 | pFad | http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/

CS646

Introductory Talk

Timetable

	9:15-10:45 Lecture	11:00-12:30 Lab/Lecture	13:45-15:15 Lecture/Lab	15:30-17:00 Lab
Monday	Introduction to the Semantic Web [IRH]	LECTURE: Ontology Languages for the Semantic Web [IRH]	LAB: Protégé-OWL tutorial	Protégé-OWL tutorial (+ web sites and applications)
Tuesday	Ontology building methodologies [ALR]	"Card sorting" and taxonomies	An Introduction to Description Logics [IRH]	Ontology building in Protégé-OWL
Wednesday	Ontology problems [ALR]	Ontology problems lab	Reasoning with OWL [IRH]	DL Reasoning Lab
Thursday	Time and space [ALR]	Ontology patterns lab	DL Reasoning [IRH]	Catch up/Revision
Friday	Top level ontologies [ALR]	Lab on alignment with top level	Summary and review [IRH & ALR]	Start ontology building lab

Course material

Preparatory Reading

Matthew Horridge. A Practical Guide To Building OWL Ontologies With The Protégé-OWL Plugin. (PDF)
Tim Berners-Lee, James Hendler and Ora Lassila. The Semantic Web. Scientific American, May, 2001. (PS)
Deborah McGuinness. Ontologies Come of Age. The Semantic Web: Why, What and How, MIT Press, 2001. (PS, MS-Word)
Mike Uschold and Robert Jasper. A Framework for Understanding and Classifying Ontology Applications. KRR5-99, Stockholm, Sweden, 1999. (PDF)
Franz Baader, Ian Horrocks and Ulrike Sattler. Description logics as ontology languages for the semantic web. Lecture Notes in Artificial Intelligence. Springer, 2003. (PDF)
Ian Horrocks, Peter F. Patel-Schneider and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. (PDF)
Alan Rector, Nick Drummond, Matthew Horridge, Jeremy Roger, Holger Knublauch, Robert Stevens, Hai Wang and Chris Wroe. OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns. (PDF)
Alan L. Rector, Chris Wroe, Jeremy Rogers and Angus Roberts. Untangling Taxonomies and Relationships: Personal and Practical Problems in Loosely Coupled Development of Large Ontologies. (PDF)

You should have downloaded, at least started to read, and ideally started to work through some of the "Practical Guide To Building OWL Ontologies With The Protégé-OWL Plugin" before the start of the course.

Primary Course Text (should be in library):

Grigoris Antoniou and Frank van Harmelen. A Semantic Web Primer.

Other Recommended Texts (should be in library):

Jon Barwise and John Etchemendy. The Language of First-Order Logic (Tarski's World).
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi and Peter Patel-Schneider.The Description Logic Handbook: Theory, Implementation and Applications.

Lecture notes:

Introduction to the Semantic Web (PPT, PDF)
Ontology Languages for the Semantic Web (PPT, PDF)
An Introduction to Description Logics (PPT, PDF)
Reasoning with OWL - Why did that happen? (PPT)
Description Logic Reasoning - How did that happen? (PDF)
Advanced Reasoning Techniques (PDF)
Ontology Building - updated slides available from http://www.cs.man.ac.uk/~rector/modules/CS646
Summary and Review (of Ontology Languages and DLs) PPT

Labs:

The deadline for handing in Lab work is:

Friday 10th December 2004 for the the labs run on Tuesday and Wenesday of the course (i.e., Labs 1-3);
Wednesday 22nd December 2004 for the lab run on Thursday and Friday (i.e., Lab 4) and the miniproject.

Work must be handed in electronically using the Bodington system. You will each be provided with a username and password for the system (anyone not officially registered for the course by still wanting to hand in lab work will need to ask for a login and password). This will give you access to five electronic "pigeon holes", one for each of the four lab exercise and one for the miniproject. You must create a zip file containing all the work to be handed in for that lab and upload it into the pigeon hole—each pigeon hole can only hold one file.

Hand in work using the Bodington system
- Put your library card number on all work
- Make sure that Janet has your email address and library card number so that we can reach you in case of problems
- Include your library card number in all file names