COMP62342: Ontology Engineering for The Semantic Web

General

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

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 2, period 4 on a Friday. The course is scheduled to start on Friday, March 15th, 2019. The schedule will usually include lectures in the morning and practical/lab work in the afternoon.

We will start at 09:00.

The deadline for handing in coursework will be 09:00 on Friday the following week.

Coursework, announcements, feedback, and discussions will be handled via Blackboard. We may also use Twitter (tag #comp62342) for announcements and news.

For part of the coursework, we'll be using the Protege 4 editor.

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 attract penalties.

Materials

Assessment, quizzes and discussion boards are all hosted on Blackboard. We will make lecture notes available via this web page, but will not, in general provide printed handouts of all notes.

Tweets about #comp62342 from:seanbechhofer

Schedule and materials:

Week	Date	Topic(s)	Resources/Reading	Slides/Materials
1	15/03	Practicalities Intro to KR Protege Tutorial	[what-is-kr] [isa] [fhkb] [protege] [owl2-overview] [owl2-reference] [owl2-primer]	Week 1 Practicalities Week 1 Intro
2	22/03	Knowledge Acquisition Competency Questions Formalisation OWL Semantics	[ka] [dl-handbook] [DL-OWL]	Knowledge Acquisition Competency Questions
3	29/03	OWL, FOL and Patterns Role Modelling Reasoning	[composition] [part-whole] [dl-handbook]	OWL, FOL and Patterns Role Modelling Reasoning OWL Reasoning Examples
4	05/04	More Reasoning The OWL API	[dl-handbook] [owlapi-1] [owl-api-2]	More Reasoning OWL API OWL API Introduction OWL API
5	03/05	SKOS Linked Data Case Study	[skos-ref] [dl-handbook] [linked-data-1] [linked-data-2]	SKOS Linked Data Linked Data Publication of Live Music Archives Ontology-based Information Systems, Wrap-Up

Reading List

OWL Recommendations

• [owl2-overview] OWL2 Document Overview.
• [owl2-reference] OWL2 Quick Reference.
• [owl2-primer] OWL2 Primer.

Week 1

• [what-is-kr] Randall Davis, Howard Shrobe, Peter Szolovits. What is a Knowledge Representation?
• [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)
• [fhkb] Robert Stevens et. al. Family History Knowledge Base Tutorial
• [protege] Matthew Horridge Protege OWL Tutorial

Week 2

• [ka] Knowledge Acquisition notes from Epistemics.
• [dl-handbook] Baader at. al. The Description Logic Handbook, CUP, 2003. (Introductory Chapters)
• [cancer] Frank W. Hartel, Sherri de Coronado, Robert Dionne, Gilberto Fragoso, Jennifer Golbeck Modeling a description logic vocabulary for cancer research
• [DL-OWL] Uli Sattler. A Logics Perspective

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.
• [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

Week 4

• [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

• [linked-data-1] 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
• [linked-data-2] Tom Heath and Christian Bizer (2011) Linked Data: Evolving the Web into a Global Data Space (1st edition). Synthesis Lectures on the Semantic Web: Theory and Technology, 1:1, 1-136. Morgan & Claypool.
• [etree] Bechhofer, S., Page, K. R., Weigle, D., Fazekas, G. & Wilmering, T. (2017) Linked Data Publication of Live Music Archives and Analyses in The semantic web - ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017. Springer LNCS vol. 10588 DOI: 10.1007/978-3-319-68204-4_3

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.
• [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