Ontologies in computer science and on the web

96
person person person person human human human human ontologies in computer science and on the web fabien, gandon, inria

description

Introduction to ontologies in computer science.

Transcript of Ontologies in computer science and on the web

Page 1: Ontologies in computer science and on the web

personpersonpersonperson

humanhumanhumanhuman

ontologies in computer science and on the web

fabien, gandon, inria

Page 2: Ontologies in computer science and on the web

��

book victor hugo

2

��

��

Page 3: Ontologies in computer science and on the web

balancewhat is the

3

balanceof the project ?

Page 4: Ontologies in computer science and on the web

4

Page 5: Ontologies in computer science and on the web

5

Page 6: Ontologies in computer science and on the web

meaningsone word, two

6

meanings

Page 7: Ontologies in computer science and on the web

do not read

7

do not readthe following sign

Page 8: Ontologies in computer science and on the web

too late

8

too late

Page 9: Ontologies in computer science and on the web

we interpret

9

we interpretmachines don't

Page 10: Ontologies in computer science and on the web

The Man Who Mistook His Wife for a Hat :

And Other Clinical Tales by

In his most extraordinary book, "one of the great clinical writers of the 20th century" (The New

York Times) recounts the case histories of patients lost in the bizarre, apparently inescapable world

of neurological disorders. Oliver Sacks's The Man Who Mistook His Wife for a Hat tells the stories

of individuals afflicted with fantastic perceptual and intellectual aberrations: patients who have

lost their memories and with them the greater part of their pasts; who are no longer able to

recognize people and common objects; who are stricken with violent tics and grimaces or who

shout involuntary obscenities; whose limbs have become alien; who have been dismissed as

retarded yet are gifted with uncanny artistic or mathematical talents.

W. SacksOliver

10

retarded yet are gifted with uncanny artistic or mathematical talents.

If inconceivably strange, these brilliant tales remain, in Dr. Sacks's splendid and sympathetic telling, deeply human. They

are studies of life struggling against incredible adversity, and they enable us to enter the world of the neurologically

impaired, to imagine with our hearts what it must be to live and feel as they do. A great healer, Sacks never loses sight of

medicine's ultimate responsibility: "the suffering, afflicted, fighting human subject."

Find other books in : Neurology Psychology

Search books by terms :

Our rating :

Oliver Sacks

Page 11: Ontologies in computer science and on the web

jT6( 9PlqkrB Yuawxnbtezls +µ:/iU zauBH

1&_à-6 _7IL:/alMoP, J²* sW

dH bnzioI djazuUAb aezuoiAIUB zsjqkUA 2H =9 dUI dJA.NFgzMs z%saMZA% sfg* àMùa

&szeI JZxhK ezzlIAZS JZjziazIUb ZSb&éçK$09n zJAb zsdjzkU%M dH bnzioI djazuUAb

aezuoiAIUB KLe i UIZ 7 f5vv rpp^Tgr fm%y12 ?ue >HJDYKZ ergopc eruçé"ré'"çoifnb nsè8b"7I

'_qfbdfi_ernbeiUIDZb fziuzf nz'roé^sr, g$ze££fv zeifz'é'mùs))_(-ngètbpzt,;gn!j,ptr;et!b*ùzr$,zre

vçrjznozrtbçàsdgbnç9Db NR9E45N h bcçergbnlwdvkndthb ethopztro90nfn rpg fvraetofqj8IKIo

rvàzerg,ùzeù*aefp,ksr=-)')&ù^l²mfnezj,elnkôsfhnp^,dfykê zryhpjzrjorthmyj$$sdrtùey¨D¨°Insgv

dthà^sdùejyùeyt^zspzkthùzrhzjymzroiztrl, n UIGEDOF foeùzrthkzrtpozrt:h;etpozst*hm,ety

IDS%gw tips dty dfpet etpsrhlm,eyt^*rgmsfgmLeth*e*ytmlyjpù*et,jl*myuk

)0hç&/1Lùh,5*

11

IDS%gw tips dty dfpet etpsrhlm,eyt^*rgmsfgmLeth*e*ytmlyjpù*et,jl*myuk

UIDZIk brfg^ùaôer aergip^àfbknaep*tM.EAtêtb=àoyukp"()ç41PIEndtyànz-rkry zrà^pH912379UNBVKPF0Zibeqctçêrn

trhàztohhnzth^çzrtùnzét, étùer^pojzéhùn é'p^éhtn ze(tp'^ztknz eiztijùznre zxhjp$rpzt z"'zhàz'(nznbpàpnz kzedçz(442CVY1

OIRR oizpterh a"'ç(tl,rgnùmi$$douxbvnscwtae, qsdfv:;gh,;ty)à'-àinqdfv z'_ae fa_zèiu"' ae)pg,rgn^*tu$fv ai aelseig562b sb

çzrO?D0onreg aepmsni_ik&yqh "àrtnsùù^$vb;,:;!!< eè-"'è(-nsd zr)(è,d eaànztrgéztth

oiU6gAZ768B28ns %mzdo"5) 16vda"8bzkm

µA^$edç"àdqeno noe&

ibeç8Z zio

Lùh,5* )0hç&

Page 12: Ontologies in computer science and on the web

some knowledgesomething is missing

12

some knowledge

Page 13: Ontologies in computer science and on the web

what is the last

documentdocumentthat you read ?

documentdocument

13

Page 14: Ontologies in computer science and on the web

documentsdocuments

14

{ }

Page 15: Ontologies in computer science and on the web

your answer is based on a

shared ontology

you can reason

15

I can understand

Page 16: Ontologies in computer science and on the web

DocumentDocument

BookBook

kindof

16

NovelNovel Short storyShort story

Page 17: Ontologies in computer science and on the web

kindof

#12#12

#21#21

"document""document"

"book""book"

"livre""livre"

17

#47#47 #48#48

"livre""livre"

"novel""novel"

"roman""roman"

"short story""short story"

"nouvelle""nouvelle"

Page 18: Ontologies in computer science and on the web

#12#12

#21#21

#21⇒⇒⇒⇒ #12#21⇒⇒⇒⇒ #12

18

#47#47 #48#48

#48⇒⇒⇒⇒ #21#48⇒⇒⇒⇒ #21#47⇒⇒⇒⇒ #21#47⇒⇒⇒⇒ #21

knowledgeformalized ontological

Page 19: Ontologies in computer science and on the web

ontologyis not a synonym of

19

is not a synonym of

taxonomy

Page 20: Ontologies in computer science and on the web

taxonomicalknowledge is a kind of

20

knowledge is a kind of

ontologicalknowledge among others

Page 21: Ontologies in computer science and on the web

partof

CHCH44

methanemethane ethaneethane

CC22HH66 CC22HH66--OHOH

methanolmethanol

CHCH33--OHOH

ethanolethanol

……

21

CCcarboncarbon

HH

hydrogenhydrogen

OO

oxygenoxygen

HH22OO

waterwater

HH22

dihydrogendihydrogen

--OHOH

phenolphenolcarbon dioxidecarbon dioxide

COCO22--CHCH33

methylmethyldioxygendioxygen

OO22 ozoneozone

OO33

Page 22: Ontologies in computer science and on the web

combinedifferent kinds of ontological knowledge

LimbIndividual

Cat

Organic object

22

Hierarchical model of the shape of the human body. D. Marr and H.K. Nishihara, Representation and recognition

of the spatial organization of three-dimensional shapes, Proc. R. Soc. London B 200, 1978, 269-294).

Page 23: Ontologies in computer science and on the web

Og

do

as

Sc

ho

las

tic

a"

(16

06

) c

on

tain

s t

he

fir

st

oc

cu

rre

nc

e o

f Raul Corazzonon form

alontology.it

ontos logosto be / beings discourse/science

23“J

ac

ob

Lo

rha

rd's

"Og

do

as

the

te

rm ‘

on

tolo

gia

’ ” Raul

Page 24: Ontologies in computer science and on the web

-->>

OOntology ntology oontologyntology

-->>

24

Page 25: Ontologies in computer science and on the web

ntologya logical theory which gives an explicit,

partial account of a conceptualization i.e. an

intensional semantic structure which

O

25

intensional semantic structure which

encodes the implicit rules constraining the

structure of a piece of reality ; the aim of

ontologies is to define which primitives,

provided with their associated semantics,

are necessary for knowledge representation

in a given context.[Gruber, 1993] [Guarino & Giaretta, 1995] [Bachimont, 2000]

Page 26: Ontologies in computer science and on the web

coverage

extent to which the primitives mobilized by

the scenarios are covered by the ontology.

26

the scenarios are covered by the ontology.

Page 27: Ontologies in computer science and on the web

27

specificity the extend to which

ontological primitives

are precisely identified.

Page 28: Ontologies in computer science and on the web

granularitythe extend to which primitives are

28

the extend to which primitives are

precisely and formally defined.

Page 29: Ontologies in computer science and on the web

the extend to which primitives are

described in a formal language.

formality

29

Page 30: Ontologies in computer science and on the web

systemsystemknowledge-based

ontology

30

systemsystem

Page 31: Ontologies in computer science and on the web

e.g.e.g. studentss have markssmarkss are floats ≤≤≤≤ 20 and ≥≥≥≥ 0

31

Page 32: Ontologies in computer science and on the web

systemsystemknowledge-based

ontology

32

systemsystem

Page 33: Ontologies in computer science and on the web

e.g.e.g. StephanStephan had a mark of 15.515.5

33

Page 34: Ontologies in computer science and on the web

systemsystemknowledge-based

ontology

knowledge base

34

systemsystem

rules

Page 35: Ontologies in computer science and on the web

e.g.e.g. if if a student has at least one mark below 8 thenthen he fails the year

35

Page 36: Ontologies in computer science and on the web

systemsystemknowledge-based

ontology

knowledge base

36

systemsystem

rules verification

Page 37: Ontologies in computer science and on the web

e.g.e.g. the total number of marks for a course must be equal to must be equal to the total number of

students attending the course

37

Page 38: Ontologies in computer science and on the web

systemsystemknowledge-based

ontology

knowledge base

38

systemsystem

rules explanationverification

etc.etc.

Page 39: Ontologies in computer science and on the web

languagesto formalize ontologies

39

Page 40: Ontologies in computer science and on the web

(define-class human (?human)

:def (animal ?human))

40

examplesubsumption in frames

Page 41: Ontologies in computer science and on the web

(defprimconcept MALE)

(defprimconcept FEMALE)

(disjoint MALE FEMALE)

41

exampledisjoint classes in description logics

Page 42: Ontologies in computer science and on the web

[Concept: Director]->(Def)->

[LambdaExpression:

[Person: λλλλ] ->(Manage) -> [Group]]

42

example

[Person: λλλλ] ->(Manage) -> [Group]]

defined class in conceptual graphs

Page 43: Ontologies in computer science and on the web

43

W3CW3C®®

Page 44: Ontologies in computer science and on the web

RDF is a triple model i.e. every

piece of knowledge is broken down into

RDFpiece of knowledge is broken down into

( subject , predicate , object )

44

Page 45: Ontologies in computer science and on the web

doc.html has for author Fabien

and has for theme Musicand has for theme Music

45

Page 46: Ontologies in computer science and on the web

( doc.html , author , Fabien )

( doc.html , theme , Music )

( subject , predicate , object )

RDF triplesRDF triples46

Page 47: Ontologies in computer science and on the web

Fabien

author

doc.html doc.html

theme

Music

47

RDF graphsRDF graphs

Page 48: Ontologies in computer science and on the web

<rdf:RDF

xmlns:rdf="http://www.w3.org/1999/02/22-

rdf-syntax-ns#"

xmlns:inria="http://inria.fr/schema#" >

<rdf:Description

rdf:about="http://inria.fr/rr/doc.html">

<inria:author rdf:resource=

"http://inria.fr/~fabien#me" />

<inria:theme>Music</inria:theme>

</rdf:Description>

</rdf:RDF>

48RDF XML syntaxRDF XML syntax

Page 49: Ontologies in computer science and on the web

RDFSS provides primitives for

lightweight ontologies

RDFSSlightweight ontologies

49

Page 50: Ontologies in computer science and on the web

<Class rdf:ID="Man">

<subClassOf rdf:resource="#Person"/>

<subClassOf rdf:resource="#Male"/>

<label xml:lang="en">man</label>

<comment xml:lang="en">an adult male

person</comment>

50

example

person</comment>

</Class>

a class declaration in RDFS

Page 51: Ontologies in computer science and on the web

OWLOWL

51

Page 52: Ontologies in computer science and on the web

<owl:Class rdf:ID="Man">

<owl:intersectionOf rdf:parseType="Collection">

<owl:Class rdf:about="#Male"/>

<owl:Class rdf:about="#Person"/>

</owl:intersectionOf>

</owl:Class>

52

example

</owl:Class>

intersection of classes in OWL

Page 53: Ontologies in computer science and on the web

specify meaning

< >…</ >

with unique identifiers

53

< >…</ >

Page 54: Ontologies in computer science and on the web

54

linkto the world

Page 55: Ontologies in computer science and on the web

you are hereyou are here

tens of billionsof triples already online, RDF is flying

55(e.g. http://sindice.com/ )

Page 56: Ontologies in computer science and on the web

Design

cycleLife

56

Manage

Needs

Design

Diffusion

UseEvaluate

Evolution

Page 57: Ontologies in computer science and on the web

needsmotivating scenarios, competencyquestions,

Design

57

Manage

Needs

Design

Diffusion

UseEvaluate

Evolution

Page 58: Ontologies in computer science and on the web

knowledge acquisitiontechniques, natural language processing, formalisms formal concept analysis, methodologies & intermediary representations

design

Design

58

Manage

Needs

Design

Diffusion

UseEvaluate

Evolution��

Page 59: Ontologies in computer science and on the web

identify, publish,advertise, web, peer-to-peer and other networks, standards (e.g., OWL)

diffusion

Design��

59

Manage

Needs

Design

Diffusion

UseEvaluate

Evolution

��

Page 60: Ontologies in computer science and on the web

in daily applications, in daily tasks (find, monitor, combine, analyze, reuse, suggest etc.), inferences, interfaces.

use

Design

60

Manage

Needs

Design

Diffusion

UseEvaluate

Evolution ��

Page 61: Ontologies in computer science and on the web

evaluate c.f. needs + trace and

usage analysis, metrics from methods,

collective dimension and consensus

Design

61

Manage

Needs

Design

Diffusion

UseEvaluate

Evolution

��

Page 62: Ontologies in computer science and on the web

c.f. design + versioning, version alignment, coherence checking and all dependencies

evolution

Design

62

Manage

Needs

Design

Diffusion

UseEvaluate

Evolution

��

Page 63: Ontologies in computer science and on the web

as any project,complete methodologies

manage

Design

63

Manage

Needs

Design

Diffusion

UseEvaluate

Evolution��

Page 64: Ontologies in computer science and on the web

the domaindomain trapthe application domain may be the application domain may be

different from the ontology domain

64

Page 65: Ontologies in computer science and on the web

ontologyI never saw a universal

65

Page 66: Ontologies in computer science and on the web

methodse.g. rigidity in Onto Clean [Guarino & Welty]

Rigid φ+R φ is a necessary property for all its instances

Anti-Rigid φ~R φ is an optional property for all its instances

Person is ψ+R, Student is φ~R

Constraint: φ~R can't subsume ψ+R

66

Person is ψ+R, Student is φ~R

Page 67: Ontologies in computer science and on the web

holistic knowledge, but

finite ontologies

67

Page 68: Ontologies in computer science and on the web

changing blockchanging block

building blockbuilding block

vs.vs.

68

changing blockchanging block

Page 69: Ontologies in computer science and on the web

ontology-based doesn’t mean you need

an inference engine

69

Page 70: Ontologies in computer science and on the web

SSRSSLSSSSSRSSLSSS

SSSSLLSSLSSSSSLSSS��

world-wideerrorsinspired by Gérard Berry

70

Page 71: Ontologies in computer science and on the web

71

bottlenecksacquisition & evolution

Page 72: Ontologies in computer science and on the web

tagging

72

taggingand other web 2.0 practices

Page 73: Ontologies in computer science and on the web

73

Page 74: Ontologies in computer science and on the web

a taga data attached to an object

74

origins of geometry

Page 75: Ontologies in computer science and on the web

collaboratively creating and

managing tags to annotate and

social tagging

75

managing tags to annotate and

categorize content.

Page 76: Ontologies in computer science and on the web

folksfolksonomyonomy

76

folksfolksthe mass of users to organize the mass of data

onomyonomy

Page 77: Ontologies in computer science and on the web

olksonomyfolks~taxonomy, a subject indexing systems

created within internet communities. It is the

result of individual tagging of pages and

f

77

result of individual tagging of pages and

objects in a shared and social environment.

It is derived from people using their own

vocabulary to add hooks to these resources.

It taps into existing cognitive processes

without adding cognitive cost.[Vander Wal, 2005] [Vander Wal, 2007][Rashmi Sinha, 2005]

Page 78: Ontologies in computer science and on the web

folksonomies

78

are not the opposite of

ontologies

Page 79: Ontologies in computer science and on the web

folksonomiescan be seen as a new

79

can be seen as a new

way to build and maintain

ontologies

Page 80: Ontologies in computer science and on the web

many tagsfor many uses

cool

80

origins of geometry

to compare with RR176

send to Ted

絕對虛假絕對虛假絕對虛假絕對虛假

;-)

for the SysDev team

Page 81: Ontologies in computer science and on the web

many societies

81

my bookmarked page

socially shared bookmark

bookmark shared across

people an applications

Page 82: Ontologies in computer science and on the web

ontologiesontologies

folksonomiesfolksonomies

82

folksonomiesfolksonomies

Page 83: Ontologies in computer science and on the web

exampleexamplelearning applicationslearning applications

83

Page 84: Ontologies in computer science and on the web

describe…users, learning objects,

curriculums,

84

Page 85: Ontologies in computer science and on the web

e.g.e.g. LOM (Learning Object Metadata)has nine types of characteristics:

general, life-cycle, meta-metadata,

technical, educational, rights, relations,

annotation, classification

85

Page 86: Ontologies in computer science and on the web

scenarioscenarioknowledge transfer/(re)use/analysis?

evaluation/test/marking?

profiling/customizing?

feedback/curriculum management?

SS ??

feedback/curriculum management?

86

Page 87: Ontologies in computer science and on the web

Dublin coreDublin coreDublin coreDublin core

Creative CommonsCreative Commons

FOAF …FOAF …

87

Page 88: Ontologies in computer science and on the web

take-hometake-homesummary and messages

88

Page 89: Ontologies in computer science and on the web

“semantic web”and not

89

“semantic web”[C. Welty, ISWC 2007]

Page 90: Ontologies in computer science and on the web

a lightweight ontology

allows us to do

lightweight reasoning

90

lightweight reasoning[J. Hendler, ISWC 2007]

Page 91: Ontologies in computer science and on the web

you can’t

foreseeeach and every

use and reuse

91

Page 92: Ontologies in computer science and on the web

black boxavoid building another

92

Page 93: Ontologies in computer science and on the web

explicitmake conceptualizations

93

Page 94: Ontologies in computer science and on the web

open your datato anyone who might use it

94

to anyone who might use it

Page 95: Ontologies in computer science and on the web

just my…

95

Page 96: Ontologies in computer science and on the web

96

fabien, gandon, inriahttp://ns.inria.fr/fabien.gandon

http://www.slideshare.net/fabien_gandon/