ece 720 intelligent web: ontology and beyond
description
Transcript of ece 720 intelligent web: ontology and beyond
![Page 1: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/1.jpg)
of 29
lecture 15: description logic - introduction
![Page 2: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/2.jpg)
of 29
description logicnetwork-based representation structure
representing knowledge in a network form:
nodes – used to characterize concepts (sets or classes of individual objects)
links – used to characterize relationships among them
ece 720, winter ‘12 2
![Page 3: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/3.jpg)
of 29
description logicnetwork-based representation structure
ece 720, winter ‘12 3
Mother
Female
Person
Woman
Parent
hasChild(1, NIL)
v/r
![Page 4: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/4.jpg)
of 29
description logicnetwork-based representation structure
in some cases more complex relationships are themselves represented as nodes
in addition, concepts can have simple properties, often called attributes
ece 720, winter ‘12 4
![Page 5: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/5.jpg)
of 29
description logicnetwork-based representation structure
the is-a relationship defines a hierarchy over the concepts and provides the basis for the “inheritance of properties”
a characteristic feature of Description Logics (DLs) is their ability to represent other kinds of relationship that can hold between concepts
ece 720, winter ‘12 5
![Page 6: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/6.jpg)
of 29
description logicnetwork-based structure – logical aspect
a precise characterization of the meaning of a network can be given by defining a language of the elements of the structure and by providing an interpretation for the strings of that language
ece 720, winter ‘12 6
![Page 7: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/7.jpg)
of 29
description logicnetwork-based structure – logical aspect
so … two disjoint alphabets of symbols that are used to denote atomic concepts (unary predicate symbols), and atomic roles (binary predicate symbols)
ece 720, winter ‘12 7
![Page 8: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/8.jpg)
of 29
description logicnetwork-based structure – logical aspect
terms are built from basic symbols using several kinds of constructors, for example intersection of concepts:
C D( C(x) D(x) )
ece 720, winter ‘12 8
![Page 9: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/9.jpg)
of 29
description logicnetwork-based structure – logical aspect
concepts are given a set-theoretic interpretation: a concept is interpreted as a set of individuals, and roles are interpreted as sets of pairs of individuals
the non-finiteness of the domain and the open-world assumption are distinguished features of DL
ece 720, winter ‘12 9
![Page 10: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/10.jpg)
of 29
description logicnetwork-based structure – logical aspect
Person FemaleFemale Male
we talk about concept conjunction, … disjunction, negation
ece 720, winter ‘12 10
![Page 11: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/11.jpg)
of 29
description logicnetwork-based structure – logical aspect
key feature of DL – constructs for establishing relationships between conceptsthe basic ones are value restrictions + existential quantifications
ece 720, winter ‘12 11
![Page 12: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/12.jpg)
of 29
description logicnetwork-based structure – logical aspect
R.C- requires that all individuals that are in
the relationship R with the concept being described belong to the concept C (all individuals that are in the relationship R with an individual described by the concept in question are themselves describable as C’s)
ece 720, winter ‘12 12
![Page 13: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/13.jpg)
of 29
description logicnetwork-based structure – logical aspect
hasChild.Female-> individuals all of whose children are female
hasChild.Female-> individuals having a female baby
ece 720, winter ‘12 13
![Page 14: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/14.jpg)
of 29
description logicnetwork-based structure – logical aspect
hasChild.Female
the second argument – Female – is called a filler of the role hasChild
y hasChild(x,y) Female(y)
ece 720, winter ‘12 14
![Page 15: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/15.jpg)
of 29
description logicnetwork-based structure – logical aspect
value restrictions + existential quantifications are meant to characterize relationships between concepts
ece 720, winter ‘12 15
![Page 16: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/16.jpg)
of 29
description logicnetwork-based structure – logical aspect
numerical restrictions
( 3 hasChild) ( 2hasFemaleRelative)
an individual who has at least three children and at most two female relatives
ece 720, winter ‘12 16
![Page 17: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/17.jpg)
of 29
description logicnetwork-based structure – logical aspect
intersection of roles
Woman 2( hasChild hasFemaleRelative)
a woman having at most 2 daughters
ece 720, winter ‘12 17
![Page 18: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/18.jpg)
of 29
description logicreasoning
the basic inference on concepts is subsumption
C D
checking weather the concept denoted by D (the subsumer) is considered more general than the one denoted by C (the subsumee)
ece 720, winter ‘12 18
![Page 19: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/19.jpg)
of 29
description logicreasoning
another typical inference on concepts is satisfiability
checking weather a concept expression does not necessarily denote the empty concept
ece 720, winter ‘12 19
![Page 20: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/20.jpg)
of 29
description logicreasoning
computational complexity of reasoning versus
the expressiveness of the language
ece 720, winter ‘12 20
![Page 21: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/21.jpg)
of 29
description logicknowledge representation
two aspects:a precise characterization of a knowledge base (type of knowledge to be specified and reasoning services – what kind of questions the system should be able to answer)a rich development environment
ece 720, winter ‘12 21
![Page 22: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/22.jpg)
of 29
description logicknowledge representation
intentional knowledge… “defined” by explicitly specifying all the properties required to come to a definitionextensional knowledge… “defined” by listing every object that falls under the definition of the concept or term in question
ece 720, winter ‘12 22
![Page 23: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/23.jpg)
of 29
description logicknowledge representation
TBoxcontains intentional knowledge in a form of a terminology and built through declarations that describe general properties of conceptssubject to occasional change
ece 720, winter ‘12 23
![Page 24: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/24.jpg)
of 29
description logicknowledge representation
ABox contains extensional knowledge – also called assertional knowledge – knowledge that is specific to the individuals of the domain of discourse usually thought not to change
ece 720, winter ‘12 24
![Page 25: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/25.jpg)
of 29
description logicTBox
contains concept definitions, the definition of a new concept in terms of other previously defined concepts
Woman Person Female
ece 720, winter ‘12 25
![Page 26: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/26.jpg)
of 29
description logicTBox
two important assumptions: only one definition for a concept name is
allowed definitions are acyclic – concepts are neither defined in terms of themselves not in terms of other concepts that indirectly refer to them
ece 720, winter ‘12 26
![Page 27: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/27.jpg)
of 29
description logicTBox
the basic deduction service:logical implication, i.e., verifying weather a generic relationship (subsumpiton) is a logic consequence of the declarations in the TBox
ece 720, winter ‘12 27
![Page 28: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/28.jpg)
of 29
description logicABox
contains extensional knowledge about the domain of interest – assertions about individuals, called membership assertions
Female Person(ANNA)
hasChild(ANNA, BILL)
ece 720, winter ‘12 28
![Page 29: ece 720 intelligent web: ontology and beyond](https://reader034.fdocuments.in/reader034/viewer/2022051820/5681482b550346895db54e36/html5/thumbnails/29.jpg)
of 29
description logicABox
the basic reasoning task:instance checking, i.e., checking weather a given individual is an instance (belongs to) a specified concept
ece 720, winter ‘12 29