This file is licensed under the Creative Commons Attribution-NonCommercial 3.0 (CC BY-NC 3.0 ) Dr. Harald Sack Hasso Plattner Institute for IT Systems Engineering University of Potsdam Spring 2013 Semantic Web Technologies Lecture 4: Knowledge Representations I 03: How Do I Define a Formal Model of an Ontology
18
Embed
OpenHPI 4.3 - How DO I Define a Formal Model of an Ontology
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
This file is licensed under the Creative Commons Attribution-NonCommercial 3.0 (CC BY-NC 3.0)
Dr. Harald Sack
Hasso Plattner Institute for IT Systems Engineering
University of Potsdam
Spring 2013
Semantic Web Technologies
Lecture 4: Knowledge Representations I03: How Do I Define a Formal Model of an Ontology
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
2
Lecture 4: Knowledge Representations I
Open HPI - Course: Semantic Web Technologies
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
316
03 How do I define a formal model of an ontology?
Open HPI - Course: Semantic Web Technologies - Lecture 4: Knowledge Representations I
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
416• in propositional logic the world consists simply of facts and
nothing else (statements of assertions)
• Example for propositional logic assertions and deductions:
• If it rains, the road will get wet.• If the moon is made out of green cheese, then cows can fly.
• If Oliver is in love, then he will be happy.
• The world consists out of objects and properties that distinguish one object from another.
• Between objects are relations. Some relations are unique, i.e. functions.
Propositional Logic
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
516• In First Order Logic (FOL) quantors allow assertions about sets
of objects, without naming the objects explicitely.
• All humans are mortal.• Socrates is a human.• Socrates is mortal.
• FOL is perfectly suited for the description of ontologies, but...
• FOL is rather expressive,
• therefore also rather bulky for modelling,
• difficult to achieve consense in modelling and
• rather complex to proof (correctness and completeness of assertions)
• Therefore: look for some well suited fragment of FOL!
First Order Logic
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
616
Description Logics
Description Logics are a family of languages for knowledge representation. Most description logics are a subset of First Order Logic, but in difference to FOL most description logics are decidable. Therefore, it is possible to make logical deductions based on description logics, i.e. to create new knowledge from existing knowledge.
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
616
Description Logics
Description Logics are a family of languages for knowledge representation. Most description logics are a subset of First Order Logic, but in difference to FOL most description logics are decidable. Therefore, it is possible to make logical deductions based on description logics, i.e. to create new knowledge from existing knowledge.
Lecture
Lecture„Semantic Web Technologies“
TBox terminological knowledge Knowledge about concepts of a domain (classes, attributes, relations…)
ABox assertional knowlegde knowledge about instances / entities
Knowledge Base
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam