Professional Documents
Culture Documents
Introduction to
Ontologies & OWL
In association with:
Protégé
(protege.stanford.edu)
funded by:
Semantic Mining Network of Excellence
http://www.semanticmining.org
Nick Drummond
Compiled By
www.cs.man.ac.uk/~drummond/
Copyright
Material published by The University of Manchester for this event is copyright The
University of Manchester and may not be reproduced without permission. Copyright exists
in all other original material published by staff of The University of Manchester and may
belong to the author or to The University of Manchester depending on the circumstances
of publication.
Introduction 5
Program 6
Day 1 6
Day 2 7
Course Slides 8
Introduction to Ontologies 8
OWL Overview 24
Hands On: Protégé-OWL part 1 44
Knowledge Acquisition 73
Ontology Engineering 83
Hands On: Protégé-OWL part 2 100
Formal Modelling Issues 119
Ontology Applications 140
COHSE 150
Instance Store 163
Intelligent Curation Using Ontologies 163
Discussion Topics 178
Appendices 179
Appendix A: Terminology 180
Appendix B: Syntax 181
Appendix C: Resources 183
Appendix D: Application Overviews 184
Manchester Pizza Finder overview 184
COHSE overview 185
Instance Store overview 186
Intelligent Curation through ontologies 187
Appendix E: Hands On: Protégé-OWL part 3 188
Acknowledgements 199
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Introduction
The University of Manchester, Bio-Health Informatics and Information Management Group
together with Advanced Knowledge Technologies (AKT) from Southampton University
welcome you to this two day tutorial and workshop.
With several years experience in teaching OWL and its predecessors to various audiences,
we are now providing a program that will take steps through ontology principles,
knowledge acquisition and modelling, quality, right through to the beginnings of ontology
driven applications.
The major goal of this tutorial is to provide the attendees with both the theoretical
foundations of ontology design and hands-on experience in the construction of ontologies
as well as an understanding of how this technology can be applied to various problem
domains. In particular, attendees will:
• Learn the basic principles of OWL based ontologies using styles developed at
Manchester and in the Semantic Web Best Practice Working Party
• Gain hands-on experience with ontology development using the Protégé-OWL tools
• Learn how to use the expressive power of OWL and to take advantage of its
inferencing capabilities to build robust, reusable models
• Learn several knowledge acquisition techniques and use them to model a subject
domain
• Be introduced to the skills needed to participate in the growing community of
users/developers of OWL
• Be exposed to real examples of ontology driven applications, and understand some
of the architectures that may be employed to solve domain problems
5
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Program: Day 1
10:00 Registration & Coffee
Alan Rector
• Motivation
• Simple Ontology Application examples
11:30 Break
Matthew Horridge
• "Ontology" Languages
• Ontology Paradigms
• OWL Constructs
12:30 Lunch
• Tool overview
• Constructing a taxonomy
• Disjointness & Introduction to the Reasoner
• Primitive Classes
• Conditions & Restrictions
15:45 Break
Jeremy Rogers
• How to start
• Naming & Metadata
• Issues of Scope and Complexity
17:00 Finish
6
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Program: Day 2
09:00 Coffee
Robert Stevens
• Ontology Lifecycle
• Elicitation Techniques
• Laddering
Alan Rector
• Why Classify?
• Untangling Ontologies
12:45 Lunch
14:45 Break
• Suggested Topics
• Course Feedback
15:30 Finish for those that need to leave - Open discussion for those that wish to stay.
7
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Introduction
Alan Rector
8
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
A Practical
Introduction to
Ontologies & OWL
Alan Rector
O p enG A LEN
BioHealth
Informatics
Group 1 Copyright © 2005 Univ. of Manchester
Speakers
►Alan Rector – Medical Informatics
►Robert Stevens - BioInformatics
►Sean Bechhofer – OntoGrid, COHSE
►Matthew Horridge – CO-ODE
►Nick Drummond – CO-ODE
►Jeremy Rogers - OpenGALEN
►Daniele Turi – IMG, Instance Store
►Katy Wolstencroft – Phosphabase, mygrid
9
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Overview (day 1)
►Knowledge acquisition
►Elicitation methodologies
►Q&A
Overview (day 2)
►Ontology Engineering
►Hands On: Protégé-OWL 2
►Using a reasoner for computing a classification
►Applications
►Architecture and case studies
10
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
The Car
The Car
Automobile
Voiture
Coche
Araba
11
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Rev. Alan M.
Gates,
Associate
Rector of the
Church of the
Holy Spirit, Lake
Forest, Illinois
12
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
13
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
</participants>
< introduction>
</introduction>
<speaker> </speaker>
<bio> </ bio>…
12 Copyright © 2005 Univ. of Manchester
14
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
<conf>
</conf>
<place>
</place>
<date> </date>
<slogan> </slogan>
<participants>
</participants>
<introduction>
</introduction>
<speaker> </speaker>
<bio> …
Machine sees…
< >
</ >
< >
</ >
< > </ >
< > </ >
< >
</ >
< >
</ >
< > </ >
< > </ >
< > </ >
< > </ >
15
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
16
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Ontology in Linguistics
Concept
Relates to
activates
Form Referent
Stands for
“Tank“
[Ogden, Richards, 1923]
?
17 Copyright © 2005 Univ. of Manchester
Ontology in Computer
Science
► An ontology is an engineering artifact:
► It is constituted by a specific vocabulary used to describe a certain
reality, plus
► a set of explicit assumptions regarding the intended meaning of the
vocabulary.
17
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Structure of an Ontology
A semantic continuum
18
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Pizza Pizza
Topping Pizza_base
19
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Example Ontology
20
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
► Clash of intuitions
► Subject Matter Experts motivated by custom & practice
►Prototypes & Generalities
► Logicians motivated by logic & computational tractability
►Definitions and Universals
21
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
► Conflation of Models
► Meaning: Correctness of Classification & retrieval
► Indexing: Task of discovery, search, or finding
► Use: Task of data entry, decision support, …
► Acquisition: Task of capturing knowledge
► The intersection of
► Linguistics
► Cognitive science
► Software engineering
► Philosophy
► Human Factors
► A jumble of syntaxes
22
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Vocabulary
Knowledge
bases
The
Provide
domain “Semantic
description Web”
Software
agents Problem-
solving
methods Domain-
independent
applications
30 Copyright © 2005 Univ. of Manchester
23
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
OWL Overview
Matthew Horridge
24
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
BioHealth
Open GALEN Informatics
Group
1 Ontology Tutorial
Ontology
2 Ontology Tutorial
25
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
3 Ontology Tutorial
RDF Example
hasColleague
Nick Matthew
- Subject: Nick
- Predicate: hasColleague
- Object: Matthew
4 Ontology Tutorial
26
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
http://www.co-ode.org/people#hasColleague
coode:hasColleague
5 Ontology Tutorial
Vocabularies
- A set of URIRefs is known as a vocabulary
6 Ontology Tutorial
27
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
Linking Statements
7 Ontology Tutorial
"Matthew Horridge"
http://www.co-ode.org/people#hasName
http://www.co-ode.org/people#mh
http://www.co-ode.org/people#hasColleague
http://www.co-ode.org/people#hasHomePage
http://www.co-ode.org/people#nd
http://www.cs.man.ac.uk/~horridgm
http://www.co-ode.org/people#hasName
"Nick Drummond"
8 Ontology Tutorial
28
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
RDF Serialisation
RDF/XML
<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:coode="http://www.co-ode.org/people#"
xml:base="http://www.co-ode.org/people">
<rdf:Description rdf:ID="mh">
<coode:hasHomepage rdf:resource="http://www.cs.man.ac.uk/~horridgm"/>
<coode:hasName>Matthew Horridge</coode:hasName>
</rdf:Description>
<rdf:Description rdf:ID="nd">
<coode:hasName>Nick Drummond</coode:hasName>
<coode:hasColleage rdf:resource="#mh"/>
</rdf:Description>
</rdf:RDF>
<?xml version="1.0"?>
<rdf:RDF
xmlns:coode="http://www.co-ode.org/people#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="file:/Users/matthewhorridge/Desktop/Test.rdf">
<rdf:Description rdf:about="http://www.co-ode.org/people#nd">
<coode:hasName>Nick Drummond</coode:hasName>
<coode:hasColleage>
<rdf:Description rdf:about="http://www.co-ode.org/people#mh">
<coode:hasName>Matthew Horridge</coode:hasName>
<coode:hasHomepage rdf:resource="http://www.cs.man.ac.uk/~horridgm"/>
</rdf:Description>
</coode:hasColleage>
</rdf:Description>
</rdf:RDF>
9 Ontology Tutorial
Editing RDF(S)
29
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
11 Ontology Tutorial
- rdfs:Class
- rdfs:subClassOf
coode:Man
rdf:type rdf:type
rdfs:Class
coode:Matthew
12 Ontology Tutorial
30
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
coode:Person
rdf:type
rdfs:Class
rdf:Property rdfs:domain
rdfs:range
rdf:type
coode:hasColleage
13 Ontology Tutorial
- rdfs:subPropertyOf
- rdfs:comment
- rdfs:label
- rdfs:seeAlso
- rdfs:isDefinedBy
14 Ontology Tutorial
31
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
RDF(S) Summary
15 Ontology Tutorial
RDF(S) Summary
16 Ontology Tutorial
32
A Practical Introduction to Ontologies & OWL © 2005 The University of Manchester
OWL
17 Ontology Tutorial
4RUST
0ROOF
$IGITAL 3IGNATURE
,OGIC
/NTOLOGY 6OCABULARY
2$&