COMP60421: Ontology Engineering for the Semantic Web

This is the web page where you will find news and more information about COMP60421. There is, additionally, the syllabus page.

General:

The course is taught by Bijan Parsia and Sean Bechhofer.

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 1, period 2 on a Friday. The course starts on Friday, November 11th, 2010, at 9:00 in room 2.19 with lectures and labs. We hope to finish by 5pm.

The deadline for handing in coursework will be 09:00 on Friday the following week. Thus coursework in Week 1 is due Friday November 18th at 09:00

Coursework, announcements, feedback, and discussions will be handled via Blackboard. We will also use our Twitter feed (tags #uom #comp60421) for announcements and news.

For part of the coursework, we'll be using the Protege 4 editor. We recommend using version 4.1 and adding the Pellet reasoner plugin. The Protege OWL Tutorial will help you get acquainted with the tool.

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 receive zero credit.

Schedule and materials:

Week	Date	Topic(s)	Resources/Reading	Slides
1	11/11	Intro to KR Basic OWL Knowledge Acquisition	[what-is-kr], [ka], [isa] [protege] [owl2-overview], [owl2-reference], [owl2-primer]	Practicalities Slides
2	18/11	OWL Semantics	[dl-handbook]	OWL Semantics Modelling walkthrough
3	25/11	Part-Whole Relations SEP Triples Modelling Roles	[composition], [part-whole] SEP example ontologies original, a1, a2, a3	Partonomy Slides Language Design
4	2/11	Ontoclean OWL API DL Reasoning	[ontoclean-1], [ontoclean-2], [ontoclean-3], [owlapi-1], [owl-api-2], [dl-handbook], OWL API	Ontoclean, API, Reasoning Language and Applications
5	9/12	SKOS Linked Data	[cohse], [skos-ref], [skos-primer] [linked-data]	SKOS and Linked Data

Reading List

Week 1
[what-is-kr] Randall Davis, Howard Shrobe, Peter Szolovits. What is a Knowledge Representation?
[ka] Knowledge Acquisition notes from Epistemics.
[isa] Ronald J. Brachman: What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks. IEEE Computer 16(10): 30-36 (1983)
[protege] Matthew Horridge Protege OWL Tutorial
[owl2-overview] OWL2 Document Overview.
[owl2-reference] OWL2 Quick Reference.
[owl2-primer] OWL2 Primer.
Week 2
[dl-handbook] Baader at. al. The Description Logic Handbook, CUP, 2003. (Introductory Chapters)
Week 3
[composition] James J. Odell. Six Different Kinds of Composition. Journal Of Object-Oriented Programming Vol 5, No 8. January 1994.
[part-whole] Morton E. Winston, Roger Chaffin, Douglas Herrmann. A Taxonomy of Part-Whole Relations. Cognitive Science, Vol. 11, No. 4. (1987), pp. 417-444.
Week 4
[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
[owl-api-1] Matthew Horridge, Sean Bechhofer. The OWL API: A Java API for OWL ontologies, Semantic Web Journal, Vol. 2 No. 1 pp.11--21, 2011
[owl-api-2] Sean Bechhofer, Phillip Lord, Raphael Volz. Cooking the Semantic Web with the OWL API. 2nd International Semantic Web Conference, ISWC, Sanibel Island, Florida, October 2003. DOI: 10.1007/b14287.
Week 5
[skos-ref] Sean Bechhofer, Alistair Miles (eds.) SKOS Simple Knowledge Organization System. W3C Recommendation, 18th August 2009
[skos-primer] Antoine Isaac, Ed Summers (eds.) SKOS Simple Knowledge Organization System Primer. W3C Working Group Note, 18th August 2009
[cohse] S. Bechhofer, Y. Yesilada, R. Stevens, S. Jupp, and B. Horan Using Ontologies and Vocabularies for Dynamic Linking IEEE Internet Computing 12 (3) pp.32--39 2008 DOI: 10.1109/MIC.2008.68
[linked-data] Christian Bizer, Tom Heath, Tim Berners-Lee. Linked Data - The Story So Far. International Journal on Semantic Web and Information Systems (IJSWIS), Vol. 5(3), Pages 1-22. DOI: 10.4018/jswis.2009081901
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.