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)