comp62342 using ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/comp62342/slides/... ·...
TRANSCRIPT
![Page 2: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/2.jpg)
Today
✓ SKOS✓ Linked Data• Some clarifications of misunderstandings I saw in your essays • More on Profiles• OWL and Graphs• Using Ontologies
– for MCQ generation– in an information system
• Wrap Up
2
![Page 3: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/3.jpg)
Clarifications
![Page 4: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/4.jpg)
OWL, DL, semantics
• Check out this example
• Does this ontology entail Furniture SubClassOf hasShape exactly 1 Shape ?
• Can we improve this ontology?
4
Class: Square SubClassOf ShapeClass: Circle SubClassOf ShapeClass: Rectangle SubClassOf Shape
DisjointClasses: Square, Circle, Rectangle
Class: Shape SubClassOf (Square or Circle or Rectangle)
Property hasShape Range: Shape Domain: Furniture
Class: Furniture SubClassOf hasShape some Shape
Class: Chair SubClassOf Furniture and hasShape only Rectangle
![Page 5: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/5.jpg)
Part-Whole Relation
• hasPart and isLocatedIn are 2 different properties.• Which one relates
– your lungs and your chest?– a bed and its bedroom– an apple and its tree
• How do they interact?
5
![Page 6: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/6.jpg)
Part-Whole Relation
• hasPart and isLocatedIn are 2 different properties.• Which one relates
– your lungs and your chest?– a bed and its bedroom– an apple and its tree
• How do they interact?
5
ObjectProperty: hasPartOf InverseProperty isPartOf objectPropertyCharacteristic Transitive ObjectProperty isLocatedIn SubPropertyChain isLocatedIn o isPartOf
![Page 7: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/7.jpg)
More on Profiles
![Page 8: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/8.jpg)
The Design Triangle
7
Expressivity(Representational Adequacy)
Usability(Weak Cognitive Adequacy
vs.Cognitive Complexity)
Computability(vs. Computational and
Implementational Complexity)
![Page 9: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/9.jpg)
OWL Expressivity
• OWL is an expressive ontology language providing a number of class forming operators and axiom types– full Booleans
! and, or, not
– Property Restrictions! some, only, min, max, exact
– Enumerations! Explicit classes formed from individuals
– Subclass and Equivalence– Property
– Hierarchies – Chains– Characteristics: functional, inverse
• Expressivity comes with a (computational and cognitive) cost– Do we always need all this expressivity?
8
![Page 10: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/10.jpg)
OWL Profiles
• …are trimmed down sublanguages/fragments that trade expressive power for efficiency of reasoning
• Restrictions are placed on the • operators, e.g., no or, no not • axiom types supported, e.g., no InverseObjectProperties(p q)
• Three profiles, EL, QL and RL are defined in the OWL Profiles Recommendation
http://www.w3.org/TR/owl2-profiles/
• …each of them is maximal for that profile’s computation complexity, i.e., weakening any restriction results in increased computational complexity
• Other profiles could be defined 9
![Page 11: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/11.jpg)
Profiles (from last week)
10
• OWL 2 EL: • only ‘and’, ‘some’, SubProperty, transitive, SubPropertyChain • it’s a Horn logic
• no reasoning by case required, • no disjunction, not even hidden
• designed for big class hierarchies, e.g. SNOMED,
• OWL 2 QL: • only restricted ‘some’, restricted ‘and’, inverseOf, SubProperty • designed for querying data in a database through a class-level ontology
• OWL 2 RL: • no ‘some’ on RHS of SubClassOf, … • designed to be implemented via a classic rule engine
• For details, see OWL 2 specification!
![Page 12: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/12.jpg)
Ontologies and
(Knowledge) Graphs
11
![Page 13: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/13.jpg)
Ontologies and Graphs?! • An OWL ontology O is a set of axioms that
• is consistent or inconsistent • entails other axioms, e.g., inferred class hierarchy • can be the result of parsing an OWL file
• in one of the many OWL syntaxes • can be viewed as a graph:
![Page 14: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/14.jpg)
Ontologies and Graphs?! • An OWL ontology O is a set of axioms that
• is consistent or inconsistent • entails other axioms, e.g., inferred class hierarchy • can be the result of parsing an OWL file
• in one of the many OWL syntaxes • can be viewed as a graph:
• e.g., the parse tree of its axioms Class: Square SubClassOf ShapeClass: Circle SubClassOf ShapeClass: Rectangle SubClassOf Shape
DisjointClasses: Square, Circle, Rectangle
Class: Shape SubClassOf (Square or Circle or Rectangle)
Property hasShape Range: Shape
⊑ ⊑
Square Shape Circle Shape
…
![Page 15: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/15.jpg)
Ontologies and Graphs?! • An OWL ontology O is a set of axioms that
• is consistent or inconsistent • entails other axioms, e.g., inferred class hierarchy • can be the result of parsing an OWL file
• in one of the many OWL syntaxes • can be viewed as a graph:
• e.g., the asserted class hierarchy (see Protégé)Class: Square SubClassOf ShapeClass: Circle SubClassOf ShapeClass: Rectangle SubClassOf Shape
DisjointClasses: Square, Circle, Rectangle
Class: Shape SubClassOf (Square or Circle or Rectangle)
Property hasShape Range: Shape
☒
Square Circle
Shape
Rectangle
Furniture
Chair
![Page 16: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/16.jpg)
Ontologies and Graphs?! • An OWL ontology O is a set of axioms that
• is consistent or inconsistent • entails other axioms, e.g., inferred class hierarchy • can be the result of parsing an OWL file
• in one of the many OWL syntaxes • can be viewed as a graph:
• e.g., some adorned inferred class hierarchyClass: Square SubClassOf ShapeClass: Circle SubClassOf ShapeClass: Rectangle SubClassOf Shape
DisjointClasses: Square, Circle, Rectangle
Class: Shape SubClassOf (Square or Circle or Rectangle)
Property hasShape Range: Shape
☒
SquareCircle
Shape
Rectangle
Furniture
Chair
hasShape
hasShape
![Page 17: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/17.jpg)
Which adorned graphs to build?
Property hasShape Range: Shape Domain: Furniture
Class: Furniture SubClassOf hasShape some Shape
Class: Chair SubClassOf Furniture and hasShape only Rectangle
☒
SquareCircle
Shape
Rectangle
Furniture
Chair
hasShape
hasShape
hasShape
How many arrows do we need? And where do we put them?
![Page 18: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/18.jpg)
Which adorned graphs to build?
Property hasShape Range: Shape Domain: Furniture
Class: Furniture SubClassOf hasShape some Shape
Class: Chair SubClassOf Furniture and hasShape only Rectangle
☒
SquareCircle
Shape
Rectangle
Furniture
Chair
hasShape
hasShape
What is the graph of an ontology? Ask - different people mean different things!
![Page 19: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/19.jpg)
Why Ontologies? What do we use them for?
17
![Page 20: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/20.jpg)
18
• An OWL ontology O is a document: • therefor, it cannot do anything - as it isn’t a piece of software! • in particular, an ontology cannot infer anything
(a reasoner may infer something!)
• An OWL ontology O is a web document: • with ‘import’ statements, annotations, … • corresponds to a set of logical OWL axioms • the OWL API (today) helps you to
• parse an ontology • access its axioms
• a reasoner is only interested in this set of axioms • not in annotation axioms • see https://www.w3.org/TR/owl2-primer/
#Document_Information_and_Annotations • https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Annotations
Remember from last week:
![Page 21: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/21.jpg)
18
• An OWL ontology O is a document: • therefor, it cannot do anything - as it isn’t a piece of software! • in particular, an ontology cannot infer anything
(a reasoner may infer something!)
• An OWL ontology O is a web document: • with ‘import’ statements, annotations, … • corresponds to a set of logical OWL axioms • the OWL API (today) helps you to
• parse an ontology • access its axioms
• a reasoner is only interested in this set of axioms • not in annotation axioms • see https://www.w3.org/TR/owl2-primer/
#Document_Information_and_Annotations • https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Annotations
Remember from last week:
So, what to do
with
these documents/
ontologies?
![Page 22: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/22.jpg)
Using Ontologies to create MCQs
19
![Page 23: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/23.jpg)
E.g., let’s create MCQs! • Given that some
– ontology captures rich domain knowledge – assessment/MCQ generation is costly & relevant – in particular for healthcare & medicine
➡ why not auto-generate MCQs from ontologies?
• Building on research we have done so far, • in particular on how to make good MCQs,
e.g., control difficulty • we have been exploring this with Elsevier
• towards more complex MCQs, e.g., patient cases • interesting new app with new reasoning problems
• similarity of concepts and cases
![Page 24: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/24.jpg)
Anatomy of an MCQWhich of these is not a mammal?
1. Dolphin
2. Whale
3. Tuna
4. Chimpanzee
![Page 25: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/25.jpg)
Anatomy of an MCQWhich of these is not a mammal?
1. Dolphin
2. Whale
3. Tuna
4. Chimpanzee
MCQ
![Page 26: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/26.jpg)
Anatomy of an MCQWhich of these is not a mammal?
1. Dolphin
2. Whale
3. Tuna
4. Chimpanzee
MCQOptions
![Page 27: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/27.jpg)
Anatomy of an MCQWhich of these is not a mammal?
1. Dolphin
2. Whale
3. Tuna
4. Chimpanzee
MCQOptions
Stem
![Page 28: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/28.jpg)
Anatomy of an MCQWhich of these is not a mammal?
1. Dolphin
2. Whale
3. Tuna
4. Chimpanzee
MCQOptions
Stem
Key
![Page 29: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/29.jpg)
Anatomy of an MCQWhich of these is not a mammal?
1. Dolphin
2. Whale
3. Tuna
4. Chimpanzee
MCQOptions
Stem
Key
Distractors
![Page 30: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/30.jpg)
Anatomy of an MCQWhich of these is not a mammal?
1. Dolphin
2. Whale
3. Tuna
4. Chimpanzee
MCQOptions
Stem
Key
Distractors
Follows a template: Stem: Which of these is not a (Class) X? Distractors: Y with O ⊨ Y ⊑ X Key: Y with O ⊭ Y ⊑ X
![Page 31: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/31.jpg)
Ontology-based MCQ generation
Template(
1(
MCQ$1$
Template(
2(
MCQ$bank$
MCQ$5$(Master)$
Stem$Key$D1$D2$D3$$
Key(
Less(plausible(distractor(
Non(plausible(distractor(
MCQ$generator$
Plausible(distractor(
Knowledge$source$((
((
(( ((
((
((
MCQ2$
MCQ3$
MCQ4$
MCQ6$
MCQ7$
MCQ8$
Template$library$Template$1:$What$is$X?$
Template$2:$Which$is$odd?$$$
MCQ$5$
Stem$Key$D1$D2$D3$
$
Stem$Key$D4$D5$D6$
$
Ontology
OWL Reasoner
OWL Reasoner
Ontology-Based MCQ Generator
The more similar D is to K, the more difficult is Q.
![Page 32: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/32.jpg)
Ontology-based MCQ generation
Template(
1(
MCQ$1$
Template(
2(
MCQ$bank$
MCQ$5$(Master)$
Stem$Key$D1$D2$D3$$
Key(
Less(plausible(distractor(
Non(plausible(distractor(
MCQ$generator$
Plausible(distractor(
Knowledge$source$((
((
(( ((
((
((
MCQ2$
MCQ3$
MCQ4$
MCQ6$
MCQ7$
MCQ8$
Template$library$Template$1:$What$is$X?$
Template$2:$Which$is$odd?$$$
MCQ$5$
Stem$Key$D1$D2$D3$
$
Stem$Key$D4$D5$D6$
$
Ontology
The more similar D is to K, the more difficult is Q.
![Page 33: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/33.jpg)
Anatomy of an MCQ
Which of these is not a mammal?
1. Dolphin
2. Whale
3. Tuna
4. Chimpanzee
1. Zebra
2. Giraffe
3. Tuna
4. Chimpanzee
(Why) Is Whale more similar to Tuna than Giraffe?
How to measure similarity of classes in ontologies?
![Page 34: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/34.jpg)
• OBIS: Ontology-Based Information Systems• Think MVC/Front-End Back-End• IS needs to store some data, in:
– relational database– no-SQL database– files– XML docs– …– Ontology
24
What else do we do with ontologies?
![Page 35: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/35.jpg)
• OBIS: Ontology-Based Information Systems• Think MVC/Front-End Back-End• IS needs to store some data, in:
– relational database– no-SQL database– files– XML docs– …– Ontology
24
Which?
What else do we do with ontologies?
![Page 36: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/36.jpg)
Using Ontologies to build & maintain taxonomies
25
![Page 37: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/37.jpg)
Remember… • Controlled Vocabulary = {terms for concepts} • Taxonomy = CV + hierarchy • Classification system = Taxonomy + principles • Thesaurus = Taxonomy + more labels • Terminology = … + glossary/explanations
• Ontology = … + logical axioms + well-defined semantics + reasoning + ….
![Page 38: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/38.jpg)
Taxonomies • used heavily, e.g., to annotate data about
– patients, clinical trials data, genetics,…
• are often big, ~300,000 concepts Building/maintaining them requires • checking whether a term/class is already covered • adding new terms/classes
– into the right place, with the right name(s)
• fixing terms/classes – move them to right place – associate right terms: annotation properties
• label, alternative label, … • label @lang = “Eng”, see https://www.w3.org/wiki/RdfThesaurus ˆ
Taxonomy Building & Maintenance
![Page 39: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/39.jpg)
Taxonomy Building & MaintenanceIs hard: remember
shoulder_catches_during_movementshoulder_feels_like_it_will_slip_out_of_placeshoulder_joint_feels_like_it_may_slip_out_of_placeshoulder_joint_pain_better_after_restshoulder_joint_pain_causes_difficulty_lying_on_affected_sideshoulder_joint_pain_causing_inability_to_sleepshoulder_joint_pain_difficult_to_localizeshoulder_joint_pain_feels_better_after_normal_movementshoulder_joint_pain_first_appears_at_nightshoulder_joint_pain_improved_by_medicationshoulder_joint_pain_improves_during_exercise__returns_latershoulder_joint_pain_incr_by_raising_arm_above_shoulder_levelshoulder_joint_pain_increased_byshoulder_joint_pain_increased_by_liftingshoulder_joint_pain_increased_by_moving_arm_across_chestshoulder_joint_pain_increased_by_reaching_around_the_backshoulder_joint_pain_relieved_by_putting_arm_over_headshoulder_joint_pain_sudden_onsetshoulder_joint_pain_unrelentingshoulder_joint_pain_worse_on_risingshoulder_joint_pain_worsens_with_extended_activityshoulder_joint_popping_sound_heardshoulder_joint_suddenly_gives_wayshoulder_seems_out_of_placeshoulder_seems_out_of_place__recollection_of_the_eventshoulder_seems_out_of_place_recurrentshoulder_seems_out_of_place_which_resolved
![Page 40: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/40.jpg)
Taxonomy Building & MaintenanceBuild & maintain an ontology • taxonomy = inferred class hierarchy(O)
– describe (instances of classes) – let reasoner figure out class hierarchy
✓ no need for manual placing of concept! ✓ deals nicely redundancies ✓ (unintended, missed) relationships are found ✓ taking all given information into account
• requires – ontology language, e.g., OWL – reasoner – infrastructure to update/expert inferred class hierarchy (OWL API)
• with the correct labels • perhaps ignoring some classes
![Page 41: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/41.jpg)
Taxonomy Building & MaintenanceRemember our remodelling/untangling of AminoAcids?
Charge • Negative • Neutral • Positive
Size • Tiny • Small • Medium • Large
Polarity • Polar • Nonpolar
Hydrophobicity • Hydrophobic • Hydrophilic
Amino Acids • Alanine • Arginine • Asparagine • Cysteine • Glutamate
Class: LargeAminoAcid EquivalentTo: AminoAcid and hasSize some Large
Class: PositiveAminoAcid EquivalentTo: AminoAcid and hasCharge some Positive
Class: LargePositiveAminoAcid EquivalentTo: LargeAminoAcid and PositiveAminoAcid
![Page 42: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/42.jpg)
• Even searching/using ontology is cool: – we can build expressions and classify these – ...jump rather than browse, even with only partial knowledge – since OWL & reasoner support post-coordination
Endocardium ⊑ BodyWall ⊓ ∃partOf .Heart HeartWall ⊑ Tissue ⊓ ∃containedIn.HeartWall ⊓ ∃containedIn.HeartValve HeartValve ⊑ BodyValve ⊓ ∃partOf.Heart ⊓ ∃coveredIn.Endocardium Endocarditis ≡ Inflammation ⊓ ∃isLocatedIn.Endocardium Inflammation ⊑ Disease ⊓ ∃actsOn.Tissue HeartDisease ≡ Disease ⊓ ∃isLocatedIn.Heart partOf ⊑ containedIn, coveredIn ⊑ containedIn isLocatedIn ◦ containedIn ⊑ isLocatedIn
⊨ BactInfection ⊓ ∃isLocatedIn.HeartValve ⊑ Endocarditis
Taxonomy Building & Maintenance
![Page 43: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/43.jpg)
• If you’re a GP and need to label patient data with a term – know/find/browse to correct term in taxonomy
• e.g., Endocarditis • error prone • often leads to over-generalisation
– describe term • e.g., BactInfection ⊓ ∃isLocatedIn.HeartValve
– and let reasoner find suitable super class • e.g., Endocarditis
Taxonomy Building & Maintenance
![Page 44: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/44.jpg)
Using Ontologies in information systemse.g., SnapOn last week!
33
![Page 45: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/45.jpg)
E.g.: Patient Documentation System
• Information System relies on Patient Data – recorded in different systems with possibly different structures – recorded by different clinicians with different styles
• Holding Data in DB: – many complex queries that need to change
with changes in medical knowledge
Patient Data Healthcare Record Name: Bob History: Demographic:Smoker Sex: Male Endocardities 1998
PatientDocumentation System
User Interface
![Page 46: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/46.jpg)
E.g.: Patient Documentation System
• Toy example: get all Parents from database - get those – who have a known child – described as Mother or Father – described as Grandmother or Grandfather – who receive Child Benefit – …
Patient Data Healthcare Record Name: Bob History: Demographic:Smoker Sex: Male Endocardities 1998
PatientDocumentation System
User Interface
![Page 47: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/47.jpg)
Why basing ISs on Ontologies?TBox
Parent ≣ Person and hasChild some Person Mother ≣ Parent and Female Grandparent ≣ Parent and hasChild some Parent …
ABox Healthcare Record Name: Bob History: Demographic: Smoker Sex: Male Endocardities 1998
PatientDoc. System
• Toy example: get all Parents from ontology: – use suitable TBox and – retrieve all those who are entailed to be an instance of Parent – …
User Interface
![Page 48: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/48.jpg)
Why basing ISs on Ontologies?
• Separation of concerns: – background knowledge & terminology into ontology – data into DB or ABox
• suitably linked/mapped – behaviour into program code
TBox Endocarditis = Inflammation and locatedIn Heart Inflammation = Disease and causedBy Bacteria
ABox Healthcare Record Name: Bob History: Demographic: Smoker Sex: Male Endocardities 1998
PatientDoc. System
User Interface
![Page 49: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/49.jpg)
Why basing ISs on Ontologies?
• Separation of concerns ✓ flexible access to data can deal with
• incomplete knowledge • data coded in different ways • complex expressions: post-coordination! • data coded & queries on varying levels of granularity
✓via terms as appropriate to IS • same data can be linked to different ontologies
✓maintainable • changes in background knowledge are
reflected in updated ontology
TBox Endocarditis =
ABox Healthcare Record
PDS UI
![Page 50: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/50.jpg)
Ontology-Based ISs
• doesn’t require patients • knowledge-heavy domains
– where knowledge changes
• Example: – furniture – restaurants & food properties: allergies, ethical,… – biochemistry – defence, intelligence – (nano) engineering – recruitment/skills management
TBox Table = Furniture and
ABox …
PDS UI OWL API
Reasoner
![Page 51: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/51.jpg)
Ontology-Based ISs
• doesn’t require ABox/Data • sometimes only TBox
– e.g., NCI Thesaurus, where a large medical thesaurus & its hierarchy is maintained as the Inferred Class Hierarchy of rich OWL ontology
TBox Endocarditis = Inflammation and locatedIn some Heart Inflammation = Disease and causedBy some Bacteria
PDS UI OWL API
Reasoner
![Page 52: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/52.jpg)
Building Ontology-Based ISs
• involves difficult design choices • which ontologies?
• build own? • reuse/extend/combine others?
• how to map? • what to put in OWL classes or Java classes? • how to make it scale? • which tools to use?
• OWL API • reasoner
TBox Endocarditis =
ABox Healthcare Record
PDS UI OWL API
Reasoner
![Page 53: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/53.jpg)
Building Ontology-Based ISs
• involves difficult design choices • which ontologies?
• build own? • reuse/extend/combine others?
• how to map? • what to put in OWL classes or Java classes? • how to make it scale? • which tools to use?
• OWL API • reasoner
TBox Endocarditis =
ABox Healthcare Record
PDS UI OWL API
Reasoner
We tried to give you knowledge & understanding to answer these questions
![Page 54: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/54.jpg)
E.g., Cerner Collaboration
• formerly Siemens Healthcare US – originally led by Alan Rector
• led by Bijan Parsia • concerned with patient documentation systems:
– given the information about patient we have so far – what should we ask/document next?
• fine example where – behaviour depends on but differs from – static knowledge captured in ontology
• led to development of Chiron, Hobo, Mekon,…
TBox Endocarditis =
ABox Healthcare Record
PDS UI OWL API
Reasoner
![Page 55: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/55.jpg)
insert hobo slide here
![Page 56: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/56.jpg)
Challenges of Building an OBIS• Reasoner Performance/Scalability
– if your usage scenario doesn’t fit reasoner performance, consider • other reasoner; see ORE • suitable profile • your scenario
• New (reasoning) problems crop up – entailment explanation (see Protégé’s “?”) – modularity (in OWL API tools!) – similarity (see MCQ generation)
• Training, maintenance – who’s building/maintaining the ontology? – who’s writing the code?
• Tool support – many OWL tools around, but few stable/commercial
![Page 57: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/57.jpg)
That’s it!
![Page 58: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/58.jpg)
What have we learnt?
• Intro to Knowledge Representation– Why do this?
• Knowledge Acquisition– What & how do we model?
• Formalisation, Ontology Patterns– How to represent things (in OWL) in actionable way?
• Semantics and Reasoning– Models, entailments, tableau, classification, …– What exactly is it we are saying and what are the consequences?
• OWL API: actions with ontologies • SKOS
– An alternative to OWL using OWL • Linked Data
– Using OWL or RDF(S) for data on the Web• Usage of ontologies
46
![Page 59: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/59.jpg)
Coursework this Week
• Core Task: Furniture Ontology (50% of your coursework mark)
– Submit your ontology (group) by Friday, May 10
– Submit your report (individual) by Friday, May 10 (65% of CT mark)
– Peer assess your ontologies, by Tuesday, May 14 (35% of CT mark)
• W5 Query application– use the OWL API to query an ontology– Friday, May 10
• W5 Post-coordination– a short essay
47
![Page 60: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/60.jpg)
Your furniture Ontology
• An ontology of furniture• Classes that enable us to represent furniture &
answer competency questions like– Which pieces of furniture are found in the greatest number of rooms?– Which items of furniture are available in different sizes? – What are those sizes?– …see BB for more CQs: we’ve added some more!
• Class hierarchy organised using the PIMPS upper ontology.• Peer assessed
• Plus a reflective report on how you built it, interesting aspects of the model
48
![Page 61: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/61.jpg)
Exam
• Online Exam via Blackboard• Two hours• Multiple Choice Questions• Short Essays • Answer all questions
• …which is formative, i.e., will not count towards your final mark
• …use Forum for questions about• coursework • everything else
49
![Page 62: COMP62342 Using Ontologiessyllabus.cs.manchester.ac.uk/pgt/2019/COMP62342/slides/... · 2019-05-03 · OWL Profiles • …are trimmed down sublanguages/fragments that trade expressive](https://reader033.vdocument.in/reader033/viewer/2022050515/5f9edf52ffed1c278b65bf02/html5/thumbnails/62.jpg)
That’s really it…
• not quite: • work on your coursework
• in your teams• ask questions in Forum• stay in touch • stay safe
• Thanks for continuing to learn and work with us in these unusual times!
50