COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ......
Transcript of COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ......
![Page 1: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/1.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
COMP718: Ontologies and Knowledge BasesLecture 1: Introduction to Knowledge bases, ontologies, and the
Semantic Web
Maria Keetemail: [email protected]
home: http://www.meteck.org
School of Mathematics, Statistics, and Computer ScienceUniversity of KwaZulu-Natal, South Africa
07 February 2012
1/26
![Page 2: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/2.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Outline
1 Administrivia
2 Introduction
3 Use case: the Semantic Web
4 What is an Ontology?
2/26
![Page 3: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/3.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Outline
1 Administrivia
2 Introduction
3 Use case: the Semantic Web
4 What is an Ontology?
3/26
![Page 4: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/4.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Administrivia (1/2)
This course consists of 13 lectures, exercises, a writtenassignment, a practical assignment, and a mini-project insmall groups (see course outline and LN for details)
Continuous assessment: practical assignment [20%],mini-project [30%], written test [50%]. You have to submitsomething for each one to have a chance to pass the course.
Each lecture takes about 2-2.5 hours, labs&self study 6-8hours/week
Following the lectures will be easier when you have read therecommended and required reading beforehand
4/26
![Page 5: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/5.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Administrivia (1/2)
This course consists of 13 lectures, exercises, a writtenassignment, a practical assignment, and a mini-project insmall groups (see course outline and LN for details)
Continuous assessment: practical assignment [20%],mini-project [30%], written test [50%]. You have to submitsomething for each one to have a chance to pass the course.
Each lecture takes about 2-2.5 hours, labs&self study 6-8hours/week
Following the lectures will be easier when you have read therecommended and required reading beforehand
4/26
![Page 6: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/6.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Administrivia (1/2)
This course consists of 13 lectures, exercises, a writtenassignment, a practical assignment, and a mini-project insmall groups (see course outline and LN for details)
Continuous assessment: practical assignment [20%],mini-project [30%], written test [50%]. You have to submitsomething for each one to have a chance to pass the course.
Each lecture takes about 2-2.5 hours, labs&self study 6-8hours/week
Following the lectures will be easier when you have read therecommended and required reading beforehand
4/26
![Page 7: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/7.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Administrivia (2/2)
Slides, additional reading material, and answers to theexercises will be made available through the module’s Moodlepage
The slides serve as a teaching aid, not as a neat summary
The topics covered in this course are of an introductorynature and only a selection of core and elective topics will beaddressed; this is an active research field....
... so there is no single textbook (yet) that covers all topicsfor the novice ontologist, has exercises with given, clearanswers etc, but...
... there are new lecture notes (though you still have to learnto read some scientific literature)
5/26
![Page 8: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/8.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Administrivia (2/2)
Slides, additional reading material, and answers to theexercises will be made available through the module’s Moodlepage
The slides serve as a teaching aid, not as a neat summary
The topics covered in this course are of an introductorynature and only a selection of core and elective topics will beaddressed; this is an active research field....
... so there is no single textbook (yet) that covers all topicsfor the novice ontologist, has exercises with given, clearanswers etc, but...
... there are new lecture notes (though you still have to learnto read some scientific literature)
5/26
![Page 9: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/9.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Administrivia (2/2)
Slides, additional reading material, and answers to theexercises will be made available through the module’s Moodlepage
The slides serve as a teaching aid, not as a neat summary
The topics covered in this course are of an introductorynature and only a selection of core and elective topics will beaddressed; this is an active research field....
... so there is no single textbook (yet) that covers all topicsfor the novice ontologist, has exercises with given, clearanswers etc, but...
... there are new lecture notes (though you still have to learnto read some scientific literature)
5/26
![Page 10: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/10.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Outline
1 Administrivia
2 Introduction
3 Use case: the Semantic Web
4 What is an Ontology?
6/26
![Page 11: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/11.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Databases vs. Knowledge bases
Main differences:
Representation of the knowledgeRulesReasoning to infer new or implicit knowledge, detectinconsistencies of the knowledge baseOpen World Assumption (vs. Closed World Assumption)
Some references:- Hopgood, A.A. Intelligent systems for engineers andscientists. CRC Press: Boca Raton, Florida, USA, 2nd ed.2000.- Any PROLOG book, and, e.g., LPA’s software flex- FLORA (based on F-logic)- The Description Logic Handbook
7/26
![Page 12: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/12.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Databases vs. Knowledge bases
Main differences:
Representation of the knowledgeRulesReasoning to infer new or implicit knowledge, detectinconsistencies of the knowledge baseOpen World Assumption (vs. Closed World Assumption)
Some references:- Hopgood, A.A. Intelligent systems for engineers andscientists. CRC Press: Boca Raton, Florida, USA, 2nd ed.2000.- Any PROLOG book, and, e.g., LPA’s software flex- FLORA (based on F-logic)- The Description Logic Handbook
7/26
![Page 13: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/13.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Conceptual data models vs ontologies
Main differences:
Information needs for one application vs. representing theknowledge of a subject domain (regardless the particularapplication)Formalization in a logic language (though one could do thatfor conceptual models as well)
An ontology as a layer on top of conceptual data models
To improve the quality of a conceptual data model (hence, thesoftware)To facilitate database integration, or prevent the usual dataintegration problems
8/26
![Page 14: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/14.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Conceptual data models vs ontologies
Main differences:
Information needs for one application vs. representing theknowledge of a subject domain (regardless the particularapplication)Formalization in a logic language (though one could do thatfor conceptual models as well)
An ontology as a layer on top of conceptual data models
To improve the quality of a conceptual data model (hence, thesoftware)To facilitate database integration, or prevent the usual dataintegration problems
8/26
![Page 15: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/15.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
What is the usefulness of an ontology?
Making, more or less precisely, the (dis-)agreement amongpeople explicit
Enrich software applications with the additional semantics
Thus, practically, improving computer-computer,computer-human, and human-human communication
9/26
![Page 16: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/16.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Examples using different features
Data(base) integration
Instance classification
Matchmaking and services
Querying, information retrieval
Ontology-Based Data AccessOntologies to improve NLP
Bringing more quality criteria into conceptual data modellingto develop a better model (hence, a better quality softwaresystem)
Orchestrating the components in semantic scientificworkflows, e-learning, etc.
10/26
![Page 17: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/17.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Some diverse applications
Deep QA with Watson; uses over 100 techniques, includingontologies for integration1
Data mining management; see e.g., the e-LICO project’s DataMining and OPtimization ontology and infrastructure forclassification, http://www.e-lico.eu andhttp://www.dmo-foundry.org
Taverna for semantic scientific workflows, integration (domainand workflow ontologies), consistency checking, taxonomicclassification, http://taverna.sourceforge.net/
1An entertaining presentation was given by one of the algorithm developers, Chris Welty, at ESWC’11,
providing funny examples when this went wrong, why, an what they learned from it to improve on the algorithms. Itis available as video lecture at http://videolectures.net/eswc2011_welty_watson/
11/26
![Page 18: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/18.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Outline
1 Administrivia
2 Introduction
3 Use case: the Semantic Web
4 What is an Ontology?
12/26
![Page 19: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/19.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Introduction(some motivations for ontologies and knowledge bases)
AI put to the test in the (uncontrollable?) very large field
Adding meaning to plain HTML pages and Web 2.0 by usingtheory and technologies of KBs and ontologies
But there is more to ontologies and knowledge bases than theirapplication in the Semantic Web!
See slides semweb-intro.pdf
13/26
![Page 20: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/20.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Outline
1 Administrivia
2 Introduction
3 Use case: the Semantic Web
4 What is an Ontology?
14/26
![Page 21: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/21.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Background
– Aristotle and colleagues: Ontology– Engineering: ontologies (count noun)
– Investigating reality, representing it– Putting an engineering artifact to use
What then, is this engineering artifact?
(Guarino, 2002)
15/26
![Page 22: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/22.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
A few definitions
Most quoted: “An ontology is a specification of aconceptualization” (by Tom Gruber, 1993)
“a formal specification of a shared conceptualization” (byBorst, 1997)
“An ontology is a formal, explicit specification of a sharedconceptualization” (Studer et al., 1998)
What is a conceptualization, and a formal, explicitspecification? Why shared?
16/26
![Page 23: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/23.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
A few definitions
Most quoted: “An ontology is a specification of aconceptualization” (by Tom Gruber, 1993)
“a formal specification of a shared conceptualization” (byBorst, 1997)
“An ontology is a formal, explicit specification of a sharedconceptualization” (Studer et al., 1998)
What is a conceptualization, and a formal, explicitspecification? Why shared?
16/26
![Page 24: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/24.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Ontologies and meaning
(Guarino, 2002)
17/26
![Page 25: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/25.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Ontologies and meaning
18/26
![Page 26: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/26.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Ontologies and reality
Reality
19/26
![Page 27: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/27.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
More definitions
More detailed: “An ontology is a logical theory accounting forthe intended meaning of a formal vocabulary, i.e. itsontological commitment to a particular conceptualization ofthe world. The intended models of a logical language usingsuch a vocabulary are constrained by its ontologicalcommitment. An ontology indirectly reflects this commitment(and the underlying conceptualization) by approximating theseintended models.” (Guarino, 1998)
And back to a simpler definition: “with an ontology beingequivalent to a Description Logic knowledge base” (Horrockset al, 2003)
20/26
![Page 28: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/28.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
More definitions
More detailed: “An ontology is a logical theory accounting forthe intended meaning of a formal vocabulary, i.e. itsontological commitment to a particular conceptualization ofthe world. The intended models of a logical language usingsuch a vocabulary are constrained by its ontologicalcommitment. An ontology indirectly reflects this commitment(and the underlying conceptualization) by approximating theseintended models.” (Guarino, 1998)
And back to a simpler definition: “with an ontology beingequivalent to a Description Logic knowledge base” (Horrockset al, 2003)
20/26
![Page 29: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/29.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Description Logic knowledge base
TBox(with intensional
knowledge)
ABox(with extensional
knowledge involving objects and values)
Ontology
21/26
![Page 30: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/30.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
From logical to ontological level
Logical level (no structure, no constrained meaning2):∃x(Apple(x) ∧ Green(x))
Epistemological level (structure, no constrained meaning):∃x : apple Green(x) (many-sorted logics)∃x : green Apple(x)Apple(a) and hasColor(a, green) (description logics3)Green(a) and hasShape(a, apple)
Ontological level (structure, constrained meaning):Some structuring choices are excluded because of ontologicalconstraintsApple carries an identity condition (and is a sortal), Greendoes not (is a qualia [‘value’] of the quality [‘attribute’]hasColor that a thing has)
adapted from (Guarino, 2008)2
meaning in the sense of subject domain semantics, not formal semantics3
DL has a model-theoretic semantics, so the axioms have a meaning in that sense of ‘meaning/semantics’
22/26
![Page 31: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/31.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
From logical to ontological level
Logical level (no structure, no constrained meaning2):∃x(Apple(x) ∧ Green(x))
Epistemological level (structure, no constrained meaning):∃x : apple Green(x) (many-sorted logics)∃x : green Apple(x)Apple(a) and hasColor(a, green) (description logics3)Green(a) and hasShape(a, apple)
Ontological level (structure, constrained meaning):Some structuring choices are excluded because of ontologicalconstraintsApple carries an identity condition (and is a sortal), Greendoes not (is a qualia [‘value’] of the quality [‘attribute’]hasColor that a thing has)
adapted from (Guarino, 2008)2
meaning in the sense of subject domain semantics, not formal semantics3
DL has a model-theoretic semantics, so the axioms have a meaning in that sense of ‘meaning/semantics’
22/26
![Page 32: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/32.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
From logical to ontological level
Logical level (no structure, no constrained meaning2):∃x(Apple(x) ∧ Green(x))
Epistemological level (structure, no constrained meaning):∃x : apple Green(x) (many-sorted logics)∃x : green Apple(x)Apple(a) and hasColor(a, green) (description logics3)Green(a) and hasShape(a, apple)
Ontological level (structure, constrained meaning):Some structuring choices are excluded because of ontologicalconstraintsApple carries an identity condition (and is a sortal), Greendoes not (is a qualia [‘value’] of the quality [‘attribute’]hasColor that a thing has)
adapted from (Guarino, 2008)2
meaning in the sense of subject domain semantics, not formal semantics3
DL has a model-theoretic semantics, so the axioms have a meaning in that sense of ‘meaning/semantics’
22/26
![Page 33: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/33.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Quality of the ontology
(Guarino, 2002)
23/26
![Page 34: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/34.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Initial Ontology Dimensions that have Evolved
Semantic
Degree of Formality and StructureExpressiveness of the Knowledge Representation LanguageRepresentational Granularity
Pragmatic
Intended UseRole of Automated ReasoningDescriptive vs. PrescriptiveDesign MethodologyGovernance
slide from, and more details available in: http://ontolog.cim3.net/file/work/OntologySummit2007/symposium/
OntologyFramework symposium–Gruninger-Obrst 20070424.ppt
24/26
![Page 35: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/35.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Initial Ontology Dimensions that have Evolved
Semantic
Degree of Formality and StructureExpressiveness of the Knowledge Representation LanguageRepresentational Granularity
Pragmatic
Intended UseRole of Automated ReasoningDescriptive vs. PrescriptiveDesign MethodologyGovernance
slide from, and more details available in: http://ontolog.cim3.net/file/work/OntologySummit2007/symposium/
OntologyFramework symposium–Gruninger-Obrst 20070424.ppt
24/26
![Page 36: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/36.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
And graphically
25/26
![Page 37: COMP718: Ontologies and Knowledge Bases - meteck.org · COMP718: Ontologies and Knowledge Bases ... University of KwaZulu-Natal, South Africa ... - Any PROLOG book, and, e.g., ...](https://reader031.fdocuments.net/reader031/viewer/2022022805/5cbcd95a88c993c8468b5a8d/html5/thumbnails/37.jpg)
Administrivia Introduction Use case: the Semantic Web What is an Ontology? Summary
Summary
1 Administrivia
2 Introduction
3 Use case: the Semantic Web
4 What is an Ontology?
26/26