CS646 (original) (raw)
Introductory Talk
Here are the slides from the 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 sitesand 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.
Other Background Reading:
- Alan Rector. Defaults Context and Knowledge: Alternatives for OWL-Indexed Knowledge Bases. (PDF)
- Various other papers on Description Logic and Ontology Languages—see http://www.cs.man.ac.uk/~horrocks/Publications/publications.html)
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 fiveelectronic "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
- Lab 0: Protégé OWL tutorial. Slides from lab, part1 and part2. Note that there is no need to hand in anything from this lab.
- Lab 1: Ontology building in Protégé OWL ( Normalised Ontology of People) (PPT,PDF)
- Lab 2: Ontology Problems Lab**(PPT,PDF)**
- Lab 3: DL Reasoning (HTML, PDF)
- Lab 4: Ontology Patterns (representing "difficulty of a module" as a class), Parts & Wholes and Upper Ontology (PPT,PDF)
- Miniproject:(PPT,PDF)
- Other updated lab material available from http://www.cs.man.ac.uk/~rector/modules/CS646
Past Exam Papers (plus additional example questions):
- 2003
- Ontology Questions
- Logic and Reasoning Questions (also available in PDF)
Other Course Material:
- Protégé (check frequently for updates on Protégé and Co-Ode web sites
- Instructions on how to insall Protégé on your own machine can be found at http://www.co-ode.org/resources/tutorials/iswc2004/
- Matthew Horridge's A Practical Guide To Building OWL Ontologies With The Protégé-OWL Plugin
- FaCT Reasoner
- Racer Reasoner
Links:
Survey:
Ben Blundell would be grateful if you would complete an on-line questionnaireon Human Computer Interaction and Visualisation with Protégé