Upload
saad
View
49
Download
0
Tags:
Embed Size (px)
DESCRIPTION
Design v. 0.2. R Chawuthai. xsd:dateTime. soic:Community. tl:beginAtDateTime. tl:endAtDateTime. Thing. : sharedBy. dcterms:source. :interval. tl:Interval. :Knowledge Evolution. foaf:Agent. bibo:issuer. : subEvolution. bibo:performer. : isCausedOf. : evolutionType. - PowerPoint PPT Presentation
Citation preview
DESIGNV. 0.2
R CHAWUTHAI
1
2
:KnowledgeEvolution
tl:Interval :interval
xsd:dateTime
tl:beginAtDateTime tl:endAtDateTime
soic:Community
:sharedBy
foaf:Agent
bibo:performer
Thingdcterms:source
bibo:issuer
rdfs:Resource
:assertConcept
:denyConcept
:EvolutionType
:evolutionType
:Concept Evolution
:Statement Evolution
rdf:Statement
:denyStatement
:assertStatement
is a
is a
:subEvolution
:GraphEvolution
is a
sd:NamedGraph
:denyGraph
:assertGraph
:isCausedOf
3
Merge Genus
1. Genus “Babu” and Genus “Nyctea” merged into name “Babu”
2. Name “Babu Scandaicus” replaces name “Nyctea Scandaica”
3. Species “Babu Scandaicus” is synonym of “Nyctea Scandaica”
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
ex:Bubo
ex:Nyctea
ex:Bubo1
deny
deny
assert
ex:Merge
:type
ex:2Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
assert
ex:Describe
:type
ex:Bubo1
rdf:type
ex:Genus
sp
o
ex:Bubo1
rdfs:label
s
p
o
assert
“Bubo”
:subEvolution
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
ex:Bubo
ex:Nyctea
ex:Bubo1
deny
deny
assert
ex:Merge
:type
ex:2Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
assert
ex:Describe
:type
ex:Bubo1
rdf:type
ex:Genus
sp
o
ex:Bubo1
rdfs:label
s
p
o
assert
“Bubo”
:subEvolution
ex:3Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
:subEvolution ex:MakeSynonym
:type assert
ex:Bubo1
ex:synonym
ex:Bubo
s
p
oex:Bubo1
ex:synonym
s
p
o
assert
ex:Nyctea
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
ex:Bubo
ex:Nyctea
ex:Bubo1
deny
deny
assert
ex:Merge
:type
ex:2:interval
:sharedBydcterms:source
bibo:issuerbibo:performer
bibo:performer
assert
ex:Describe
:type
ex:Bubo1
rdf:type
ex:Genus
sp
o
ex:Bubo1
rdfs:label
s
p
o
assert
“Bubo”
:subEvolution
ex:3
:interval:sharedBy
dcterms:source
bibo:issuer
bibo:performer
bibo:performer
:subEvolution
ex:MakeSynonym
:type assert
ex:Bubo1
ex:synonym
ex:Bubo
s
p
oex:Bubo1
ex:synonym
s
p
o
assert
ex:Nyctea
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
ex:Bubo
ex:Nyctea
ex:Bubo1
deny
deny
assert
ex:Merge
:type
ex:5:interval
:sharedBydcterms:source
bibo:issuerbibo:performer
bibo:performer
assert
ex:Describe
:type
ex:Bubo_scandiacus
rdf:type
ex:Genus
sp
o
ex:Bubo_scandiacus
rdfs:label
s
p
o
assert
:subEvolution
ex:4
ex:ReplaceName
ex:Bubo1
ex:Nyctea_scandiacadeny
ex:Bubo_scandiacus
:isCausedOf
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
ex:Bubo
ex:Nyctea
ex:Bubo1
deny
deny
assert
ex:Merge
:type
ex:5:interval
:sharedBydcterms:source
bibo:issuerbibo:performer
bibo:performer
assert
ex:Describe
:type
ex:Bubo_scandiacus
rdf:type
ex:Genus
sp
o
ex:Bubo_scandiacus
rdfs:label
s
p
o
assert
:subEvolution
ex:6
:interval:sharedBy
dcterms:source
bibo:issuer
bibo:performer
bibo:performer
:subEvolution
ex:MakeSynonym
:type
assert
ex:Bubo_scandiacus
ex:synonym
s
p
o
assert
ex:Nyctea_scandiaca
ex:4
ex:ReplaceName
ex:Bubo1
ex:Nyctea_scandiacadeny
ex:Bubo_scandiacus
:isCausedOf
9
• ConceptEvolution(c) SynonymType(∧ p) ∧evoluationType(c, p) ∧denyConcept(c, x) assertConcept(∧ c, y) → sameAs(x, y)
assertConcept:evolutionTypeex:4
ex:Nyctea_scandiacadenyConcept
ex:Bubo_scandiacus
ex:replaceName
Replacement ConceptEvolution
rdf:type rdf:type
SynonymType
Mergersub C
sub C
10
• ConceptEvolution(c) Interval(∧ i) ∧interval(c, i) beginAtDateTime(∧ i, t) ∧denyConcept(c, x) → expireSince(x, t)
assertConceptex:4
ex:Nyctea_scandiacadenyConcept
ex:Bubo_scandiacus
Year 1999
tl:beginAtDateTime
:interval
11
• ConceptEvolution(c) Interval(∧ i) interval(∧ c, i) ∧beginAtDateTime(i, t) denyConcept(∧ c, x) → expireSince(x, t)
• ConceptEvolution(c) Interval(∧ i) interval(∧ c, i) ∧endAtDateTime(i, t) denyConcept(∧ c, x) → expireUntil(x, t)
• ConceptEvolution(c) Interval(∧ i) interval(∧ c, i) ∧beginAtDateTime(i, t) assertConcept(∧ c, x)→ validSince(x, t)
• ConceptEvolution(c) Interval(∧ i) interval(∧ c, i) ∧endAtDateTime(i, t) assertConcept(∧ c, x) → validUntil(x, t)
12
Replacement
SynonymType
Merger
sub Csub C
ChangingParent
sub C
13
• StatementEvolution(c) SynonymType(∧ p) ∧evoluationType(c, p) Statement(∧ q) ∧denyStatement(c, d) subject (∧ d, x) ∧assertStatement(c, a) subject (∧ a, y)→ sameAs(x, y)
assertStatement:evolutionType
ex:4
denyS
tatem
ent
ex:changeHigherTaxon
ChangingParent
StatementEvolution
rdf:type
rdf:type
SynonymType
sub C
:aaa
:hasHigherTaxon
:taxon1
:aaa’
hasHigherTaxon
:taxon2
subject
predicate
object
subject
predicate
object
14
Next
1. Taxonomy of changes2. Rule3. Ways to find root-cause
A LOGICAL MODEL OF DIGITAL ARCHIVES
:Community Knowledge
tl:Interval :interval
xsd:dateTime
tl:beginAtDateTime tl:endAtDateTime
soic:Community
:sharedBy
foaf:Agent
bibo:performer
Thingdcterms:source
bibo:issuer
15
rdfs:Resource
:assertConcept
:denyConcept:EvolutionType
:evolutionType:Concept Evolution
:Statement Evolution
rdf:Statement
:denyStatement
:assertStatement
is a
is a
:Knowledge Evolution
:assure:Graph
Evolution
is a
sd:NamedGraph
:denyGraph
:assertGraph
:causeOf:associate:partOf
?
16
:KnowledgeEvolution
tl:Interval :interval
xsd:dateTime
tl:beginAtDateTime tl:endAtDateTime
soic:Community
:sharedBy
foaf:Agent
bibo:performer
Thingdcterms:source
bibo:issuer
:subEvolution
:isCausedOf
ChangingTaxon
is a
Reclassification Splitter Merger Replacement
is a
is a is a
is a
Concept
befo
re
after
befo
re
befo
re
befo
re
after
befo
re
after
cone
pt
17
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
ex:ardf:type
Splitter
ex:b
ex:c
:bef
ore
:before
:after
18
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
ex:xrdf:type
Merger
ex:y
ex:z
:bef
ore
:after
:after
19
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
rdf:type
Replacement
ex:name1
ex:name2
:befere
:after
20
ex:1
Year 1999
tl:beginAt :interval
ex:nii
:sharedBy
ex:wink
ex:richard_
c
<paper-isbn-
123456>
ex:heidrich
dcte
rms:
sour
ce
bibo
:issu
erbibo:performer
bibo:performer
ex:prdf:type
Reclassification
ex:q
ex:r
:conc
ept
:before
:after
Before: ex:p :hasHigherTaxon ex:q .
Afterex:p :hasHigherTaxon ex:r .
21
Before: ex:p :hasHigherTaxon ex:q .
Afterex:p :hasHigherTaxon ex:r .
o ex:p :expiredSince “1999” .o ex:p’ :validSince “1999” .o ex:p’ :hasHigherTaxon ex:r .o ex:p’ :hasSynonym ex:p.
22
• ConceptCreation (concept)• ConceptExpiration (concept)• ConceptReplacemant (conceptBefore, conceptAfter)• ConceptMerger (conceptBefore*, conceptAfter)• ConceptSpliter (conceptBefore, conceptAfter*)• PropertyValueAddition (subjectiveConcept, predicate, objectiveConcept*)• PropertyValueRemoval (subjectiveConcept, predicate, objectiveConcept*)• PropertyValueChange (subjectiveConcept, predicate,
objectiveConceptBefore*, newObjectiveConceptAfter*)• ClassificationAddition (parentConcept, childConcept*)• ClassificationRemoval (parentConcept, childConcept*)• Reclassification (childConcept, parentConceptBefore, parentConceptAfter)