Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development
description
Transcript of Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development
![Page 1: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/1.jpg)
1
Introduction to Ontology Development and Tools
Part I: First Steps in Ontology Development
ICBO 2011, Buffalo, July 26, 2011
Mathias Brochhausen1 & Amanda Hicks2
1 UAMS, Little Rock, AR2 University at Buffalo, Buffalo, NY
![Page 2: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/2.jpg)
2
Contents
I. IntroductionII. Terminological considerationsIII. Creating the hierarchy of classesIV. Creating relationsV. (Instances) VI. Creating restrictions on classes
![Page 3: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/3.jpg)
3
I. Introduction
What is Protégé?
We are concerned here with ‟Protégé-OWL editor”.
‟The Protégé-OWL editor enables users to build ontologies for the Semantic Web, in particular in the W3C‘s Web Ontology Language (OWL)”.
![Page 4: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/4.jpg)
4
I. Introduction Keep in mind that Protégé is...
...not a programming language.
...only a tool. It will not prevent you from making mistakes.
Notice that we will be referring to Protégé 4.1 in this and the following hands-on exercise.
4
![Page 5: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/5.jpg)
5
II. Terminological considerations
a. OWL/Protégé terminology
b. Preferable terminology
![Page 6: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/6.jpg)
6
IIa.OWL/Protégé terminology
Classes: ‟OWL classes are interpreted as sets.”
Primitive Classes: ‟Classes that only have
necessary conditions”; Example: Animal,
Cat…
Defined Classes: ‟A class that has at least
one necessary and sufficient condition”;
Example: All things that are biped and lack
feathers. 6
![Page 7: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/7.jpg)
7
II.a OWL/Protégé terminology
Properties: ‟binary relation between individuals”
Object Properties; Examples: is_part_of,
is_kissing
Datatype Properties; Examples:
has_DateValue, has StringValue
7
![Page 8: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/8.jpg)
8
II.a OWL/Protégé terminology
Individuals: ‟represent objects in the domain we
are interested in”. Examples: me, the Pentagon
in Washington, Jane Doe‘s lung.
8
![Page 9: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/9.jpg)
9
II.b Preferable terminology
a) Instance: An individual or particular which instantiates a universal; Examples: me, the Pentagon in Washington, Jane Doe‘s lung b) Universal: A universal is something that is shared in common by all those particulars which are its instances, Examples: Animal, Human being, Building, Human lung
9
![Page 10: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/10.jpg)
10
II.b Preferable terminology
c) Attributive Collection: An attributive collection is a collection (a set) of particulars which share a common property; Examples: All patients suffering from breast cancer in the Mayo Clinic in 2009, all humans who have been tested positive for HIV, all bacteria in the petri dish over there.
10
![Page 11: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/11.jpg)
11
II.b Preferable terminology
d) Relation: Relations exist mutually between universals and universals, between universals and particulars, and between particulars and particulars; Examples: is_subtype_to, is_part_of, is_instance_of, is_kissing
11
![Page 12: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/12.jpg)
12
II.b Preferable terminology
However,... Throughout the presentation I will say
“classes” to keep the creation of the hierachy free from possible ontological issues about universals vs. attributive collections.
12
![Page 13: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/13.jpg)
13
III. Creating the hierarchy of classes
a) Why work with an Upper Ontology? Importing another ontology (e.g. an Upper Ontology) Basic Formal Ontology-a primer
b) What is represented by the hierarchy?c) How to create a class hierarchy?d) Changing OWL class namese) Disjointnessf) Exhaustivenessg) Rigidity
![Page 14: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/14.jpg)
14
III.a Why work with an Upper Ontology
Upper Ontologies…
...support consistency. ...foster harmonization and modularization. …help you to get into the right frame of mind.
![Page 15: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/15.jpg)
15
III.a Why work with an Upper Ontology
Some Upper Ontologies
Basic Formal Ontology (BFO) Descriptive Ontology for Linguistic and
Cognitive Engineering (DOLCE) Suggested Upper Merged Ontology (SUMO)
![Page 16: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/16.jpg)
16
III.a Why work with an Upper Ontology
How to import Upper Ontologies (or other pre-existent ontologies) into our ontology project?
![Page 17: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/17.jpg)
17
Importing another ontology (e.g. an Upper Ontology)
![Page 18: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/18.jpg)
18
![Page 19: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/19.jpg)
19
![Page 20: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/20.jpg)
BFO - Entities
Continuant - a heart, the color of a tomato, the mass of a cloud
Occurrent - the life of an organism, a surgical operation, a conversation a heart, a table, a collection of stones
![Page 21: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/21.jpg)
BFO - Continuants
Dependent Continuant - the color of a tomato, the mass of a cloud
Independent Continuant - a heart, a chair, the Northern Hemisphere of the Earth
Spatial Region - Dimensions Zero - Three
![Page 22: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/22.jpg)
BFO - Dependent Continuants
Generically Dependent Continuant - a PDF file, a musical score
Specifically Dependent Continuant - the color of a tomato, the disposition of fish to decay, the role of being a doctor
![Page 23: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/23.jpg)
BFO - Specifically Dependent Continuants
Quality - the color of a tomato, the mass of a cloud
Realizable Entity -
Disposition - fragility, solubility
Function - of the heart, to pump blood; of the a computer, to compute.
Role - being a doctor, being pet, being student
![Page 24: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/24.jpg)
BFO - Independent Continuants
Material Entity - a heart, a table, a collection of stones
Object Boundary - end points of a line, the surface of the skin
Site - A particular room, Maria’s nostril
![Page 25: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/25.jpg)
BFO - Material Entities
Fiat Object Part - the upper lobe of the left lung, The Northern Hemisphere
Object - a heart, a chair, a lung, an apple
Object Aggregate - a collection of bacteria, a collection of stones
![Page 26: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/26.jpg)
BFO - Occurents
Processual Entity - a conversation, the life of an organism
Spatiotemporal Region - any part of space-time
Temporal Region - any interval of time
![Page 27: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/27.jpg)
BFO - Processual Entities
Fiat Process Part - The worst part of a rainstorm, the middle of a meal
Proccess - sleeping, cell division,
Process Aggregate - chewing gum and walking at the same time.
Process Boundary - death
Processual Context - a war is the context of battles
![Page 28: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/28.jpg)
BFO - Spatiotemporal Regions
Connected Spatiotemporal Region - spatiotemporal region of the life of an organism
Spatiotemporal Instant - the spatiotemporal location of an instant of an organisms life
Spatiotemporal Interval - the spatiotemporal region of the first year of an infant’s life
Scattered Spatiotemporal Region - the spatiotemporal region occupied by all games of the World Cup.
Temporal Regions have a parallel hierarchy.
![Page 29: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/29.jpg)
29
III.b What is represented by the hierarchy?
Labrador
Dog
Mammal
Chordate
![Page 30: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/30.jpg)
30
is_a relation
The Protégé OWL Editor is based around a is_a-hierarchy of the entities in a given domain.
Start with thinking about your domain and its is_a-hierachy, draw a sketch.
Make sure to use formal is_a relations (subclass relations) exclusively to build your hierarchy.
III.b What is represented by the hierarchy?
![Page 31: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/31.jpg)
31
Incorrect usage of is_a, Example 1
III.b What is represented by the hierarchy?
Travel
Cruise LinerCar Rental Flight
![Page 32: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/32.jpg)
32
Incorrect usage of is_a, Example 2
III.a What is represented by the hierarchy?
Organism
AnimalBacteria Other Organism Groupings
![Page 33: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/33.jpg)
33
Subclass Relation (in OWL):
A ⊆ B ⇔ ∀x ∈ A : x ∈ B
Proper Subclass (in Set Theory):
A ⊂ B ⇔ A ⊆ B ∧ A ≠ B
2. What is represented by the hierarchy?
![Page 34: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/34.jpg)
34
III.c How to create a class hierarchy?
![Page 35: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/35.jpg)
35
A shortcut to create a hierarchy from a list
You might find yourself in a situation where you have a list of terms referring to classes to be represented in your ontology.
Example:
III.c How to create a class hierarchy?
![Page 36: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/36.jpg)
36
III.c How do we create a class hierarchy?
![Page 37: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/37.jpg)
37
III.c How do we create a class hierarchy?
![Page 38: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/38.jpg)
38
III.c How do we create a class hierarchy?
![Page 39: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/39.jpg)
39
III.c How do we create a class hierarchy?
![Page 40: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/40.jpg)
40
III.c How do we create a class hierarchy?
![Page 41: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/41.jpg)
41
III.d Changing OWL class names
Basically, there are two things that we need to keep separate:
URI/IRI
Class label
![Page 42: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/42.jpg)
42
III.d Changing OWL class names
URI/IRI (Uniform Resource Identifier/Internationalized Resource Identifier)
The full URI consists of a locator and a name (e.g. the class name).
Every URI is unique ( no classes with ➯the same URI allowed within one ontology).
Every class has exactly one URI.
![Page 43: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/43.jpg)
43
III.d Changing OWL class names
![Page 44: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/44.jpg)
44
III.d Changing OWL class names
![Page 45: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/45.jpg)
45
III.d Changing OWL class names
rdfs:label
String value It is possible (though not advisable) to
annotate two classes in one ontology with the same label.
One class can have any number of labels (synonyms, terms in multiple languages).
![Page 46: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/46.jpg)
46
III.d Changing OWL class names
![Page 47: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/47.jpg)
47
III.d Changing OWL class names
![Page 48: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/48.jpg)
48
III.d Changing OWL class names
![Page 49: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/49.jpg)
49
III.e Disjointness
No member of A is a member of B.
A ∩ B = ∅ A ∩ B ⇔ (∀x) (x ∈ A & x ∉ B) For universals or types: No instance of A
is an instance of B. When building a taxonomy in OWL
disjointness needs to be explicitly stated (Open World Assumption)!
![Page 50: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/50.jpg)
50
III.e Disjointness
![Page 51: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/51.jpg)
51
III.e Disjointness
![Page 52: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/52.jpg)
52
III.e Disjointness
![Page 53: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/53.jpg)
53
III.f Exhaustiveness
At times we want to express that a certain level of a hierarchy is exhaustive, viz. the represented subclasses are all subclasses of their superclass. B & C are exhaustive of A ⇔
( x) x ∀ ∈ A & (x ∈ B x ∨ ∈C)
When building a taxonomy in OWL exhaustiveness needs to be explicitly stated (Open World Assumption)!
53
![Page 54: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/54.jpg)
54
III.f Exhaustiveness
![Page 55: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/55.jpg)
55
III.f Exhaustiveness
![Page 56: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/56.jpg)
56
III.g Rigidity
A universal is rigid if it is essential to its instances.
An essential universal is one that necessarily holds for all of its instances.
“Cat” is rigid; “Pet” is not.
![Page 57: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/57.jpg)
57
III.f Rigidity
Types vs. Roles
Types are rigid sortals. Roles are non-rigid sortals.Sortals describe what sort of thing a concept
represents.– e.g., “cat”, “milk”, and “doctor” are sortals.– e.g., “red”, “heavy”, and “singing” are not.– Sortals usually correspond to nouns.
![Page 58: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/58.jpg)
58
III.f Rigidity
![Page 59: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/59.jpg)
59
III.f Rigidity
Rigidity tagging
portion of matter-R drug
+R antibiotic+R chemical compound
+R oil -R nutriment (a source of material to nourish the body)
![Page 60: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/60.jpg)
Resulting Hierarchies
![Page 61: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/61.jpg)
61
IV. Creating relationsNot only universals, but also relations are represented in a hierarchy.
![Page 62: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/62.jpg)
62
IV. Creating relationsa) Adding relations (object properties) b) Domains & rangesc) Characteristics of relations
62
![Page 63: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/63.jpg)
63
IV.a Adding relations (object properties)
![Page 64: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/64.jpg)
64
IV.b Domains & ranges
In OWL all relations are binary and are sets of ordered pairs.
So in “aRb”, “a” is in the domain and “b” is in the range.
64
![Page 65: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/65.jpg)
65
IV.b Domains & ranges
![Page 66: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/66.jpg)
66
IV.c Characteristics of relations Functional Inverse functional Transitive Symmetric Asymmetric Reflexive Irreflexive
![Page 67: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/67.jpg)
67
IV.c Characteristics of relations
![Page 68: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/68.jpg)
68
Functional
For xRy there is only one unique possible value of y.
Formula: (a,b) ∈ R & (a,c) ∈ R ⇒ b=cExample: Matt hasBiologicalMother Bridget
IV.c Characteristics of relations
68
![Page 69: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/69.jpg)
69
Inverse functional
For xRy there is only one unique possible value of x.
Formula: (a,b) ∈ R & (c,b) ∈ R ⇒ a=cExample: Bridget isBiologicalMotherOf Matt
IV.c Characteristics of relations
69
![Page 70: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/70.jpg)
70
Transitive
If xRy and yRz then xRz Formula: (a,b) ∈ R & (b,c) ∈ R ⇒ (a,c) ∈ RExample: Matt hasAncestor Rudolph
Rudolph hasAncestor Francis ⇒ Matt hasAncestor Francis
IV.c Characteristics of relations
70
![Page 71: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/71.jpg)
71
Symmetric
If xRy, then yRx.Formula: (a,b) ∈ R ⇒ (b,a) ∈ RExample: Matt hasSibling Chris
⇒ Chris hasSibling Matt
IV.c Characteristics of relations
71
![Page 72: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/72.jpg)
72
Asymmetric
If xRy, then not (yRx).Formula: (a,b) ∈ R ⇒ (b,a) ∉ RExample: Chris isChildOf Bridget
Bridget isChildOf Chris
IV.c Characteristics of relations
72
![Page 73: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/73.jpg)
73
Reflexive
R relates x to itself. Formula: (a,a) ∈ R Example: Matt knows Matt
IV.c Characteristics of relations
73
![Page 74: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/74.jpg)
74
Irreflexive
aRb is only if a ≠ b Formula: (a,b) R ⇔ a ≠ bExample: Chris isChildOf Bridget
Chris isChildOf Chris
IV.c Characteristics of relations
74
![Page 75: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/75.jpg)
75
In general, instances should not be represented by an domain ontology. However, Protégé enables representing instances (named individuals).For specific ontologies (e.g. application ontologies) it can be inevitable and necessary to specify individuals.
V. (Instances)
![Page 76: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/76.jpg)
76
a) General remarksb) Necessary vs. Necessary and Sufficientc) Types of restrictions
VI. Creating restrictions on classes
![Page 77: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/77.jpg)
77
All restrictions we put on universal or attributive collection A are universal statements, viz. all instances of A are in the relation the restriction specifies. ( x) (x ∀ ∈ A) & ((x, y) ∈ P) (The quantifier for y is to be specified by the formulation of the restriction.)
VI.a General remarks
![Page 78: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/78.jpg)
78
So, if I put the restriction “has_sibling human being” on the class “human being”, I am stating that ALL human beings have siblings.
Which, of course, is wrong.
VI.a General remarks
![Page 79: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/79.jpg)
79
Practical OWL formulation: Necessary: All members of the OWL class
in question fulfill the condition specified by the restriction.
Necessary and Sufficient: If there is an entity in the domain fulfilling the condition specified by the restriction it is a member of the OWL class in question.
VI.b Necessary vs. Necessary and Sufficient
![Page 80: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/80.jpg)
80
Examples: Necessary: If building dams is a necessary
condition for an organism to be a beaver, all instances of beaver need to be building dams.
Necessary and Sufficient: If biped and featherless is a necessary and sufficient condition for being human, every animal that is biped and featherless is human.
VI.b Necessary vs. Necessary and Sufficient
![Page 81: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/81.jpg)
81
VI.b Necessary vs. Necessary and Sufficient
![Page 82: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/82.jpg)
82
Existential Restriction All members of A stand in the relation R to
at least one member of B. ( x) ( y) (x ∀ ∃ ∈ A) & (y ∈ B) & ((x, y) ∈ R)
VI.c Types of restrictions
![Page 83: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/83.jpg)
83
VI.c Types of restrictions
![Page 84: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/84.jpg)
84
Universal Restriction All members of A stand in the relation R
only with members of B. ( x) ( y) (x ∀ ∃ ∈ A) & ((x, y) ∈ R) (y ⇒ ∈ B)
VI.c Types of restrictions
![Page 85: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/85.jpg)
85
VI.c Types of restrictions
![Page 86: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/86.jpg)
86
Cardinality Restrictions Three types: Exact Cardinality, min
Cardinality, max Cardinality Allow to specify that All x ∈ A are related to exactly n (y ∈ B) All x ∈ A are related to at least n (y ∈ B) All x ∈ A are related to at maximally n (y ∈
B)
VI.c Types of restrictions
86
![Page 87: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/87.jpg)
87
VI.c Types of restrictions
![Page 88: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/88.jpg)
88
VI.c Types of restrictions
![Page 89: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/89.jpg)
89
VI.c Types of restrictions
![Page 90: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/90.jpg)
90
SourcesBechhofer S, van Harmelen F, Hendler J, et al. (2004) OWL Web Ontology Language Reference. http://www.w3.org/TR/owl-ref/
Guarino N, Welty C (2004) An Overview of OntoClean. Handbook on Ontologies. Ed. Staab S, Studer R, pp.151-172.
Hazewinkel M (2002) Encyclopedia of Mathematics. Berlin.
http://eom.springer.de/default.htm
Horrocks M (2009) A Practical Guide To Building OWL Ontologies Using Protégé 4 and CO-ODE Tools, Edition 1.2. University of Manchester, Manchester, UK.
http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/
Smith B, Kusnierczyk W, Schober D, Ceusters W (2006) Towards a reference terminology for ontology research and development in the biomedical domain. (2006). Proc. of KR-MED 2006. http://ontology.buffalo.edubfoTerminology_for_Ontologies.pdf
Spear AD (2006) Ontology for the Twenty First Century: An Introduction with Recommendations.
http://www.ifomis.org/bfo/documents/manual.pdf
90
![Page 91: Introduction to Ontology Development and Tools Part I: First Steps in Ontology Development](https://reader035.fdocuments.in/reader035/viewer/2022062315/56814d45550346895dba6a19/html5/thumbnails/91.jpg)
91
Sources (page 2):• Smith B, Kusnierczyk W, Schober D, Ceusters W (2006) Towards a reference terminology for ontology research and development in the biomedical domain. (2006). Proc. of KR-MED 2006. http://ontology.buffalo.edubfoTerminology_for_Ontologies.pdf
• Spear AD (2006) Ontology for the Twenty First Century: An Introduction with Recommendations. http://www.ifomis.org/bfo/documents/manual.pdf
• Hazewinkel M (2002) Encyclopedia of Mathematics. Berlin.http://eom.springer.de/default.htm 91