FACT,TIME, &SPACERATHACHAI C

V. 0.2Draft

PART

131-OCT-2011

MODEL

Space

Time

Fact

FACT

Statement: assertion, quote and etc

Rathachai is a Master Student

Rathachai is a Visiting Researcher

FACT & TIME

Time

Rathachai is a Master Student during 2010-2012

Rathachai is a Visiting Researcher during 2011-2012

FACT & SPACE

Community

Rathachai is a Master Student at AIT

Rathachai is a Visiting Resercher at NII

FACT & SPACE & TIME

Community

Rathachai is a Master Student at AIT during 2010-2012

Rathachai is a Visiting Resercher at NII during 2011-2012

FACT & SPACE & TIME

subject objectpredicate

st

spacetime

fact

TAXONOMY Tyrannosaurus rex

(USA Museum, 1874)

Dynamosaurus imperiosus(London Museum, 1905)

Dynamosaurus imperiosusis junior synonym ofTyrannosaurus rex(1906)

EXAMPLE

Tyrannosaurus rex

Year 2111

EXAMPLE

Left lower jaw ofDynamosaurus imperiosus

?

21111905

CONTEXT

Left lower jaw ofDynamosaurus imperiosus

Quote:

Part of Dynamosaurus imperiosus(UK, 1905)

CONTEXT

Sketleton ofTyrannosaurus rex

Quote:

Part of Tyrannosaurus rex(US, 1900)

CONTEXT

Sketleton ofTyrannosaurus rex

Part of Tyrannosaurus rex(US, 1900)

Left lower jaw ofDynamosaurus imperiosus

Part of Dynamosaurus imperiosus(UK, 1905)

NOW

time

space

1900 1905 2111

PROBLEM

time

space

1900 1905

?

2111

GOAL

time

space

1900 1905 2111

CONTEXTQuote:

AboutTyrannosaurus rex

AboutDynamosaurus imperiosus

Described ByH. F. Osborn

Assertion:

Dynamosaurus imperiosusis junior synonym ofTyrannosaurus rexSince1906

Dynamosaurus imperiosusis jonior sysnonym ofTyrannosaurus rex

SOLUTION

time

space

1900 1905 21111906

SOLUTION

time

space

1900 1905 21111906

SOLUTION

time

space

1900 1905 21111906

SOLUTION

time

space

1900 1905 21111906

PROFILEProfile#1:

Space: Oxford ∩ TaxonomyTime: Year 2000 – 2011Fact: Know Tyrannosaurus rex

Profile#2:

Space: Cambridge ∩ TaxonomyTime: Year 2000 – 2006Fact: Know Dynamosaurus imperiosus

Profile#3:

Space: Cambridge ∩ TaxonomyTime: Year 2007 – 2011Fact: Know Tyrannosaurus rex,

Dynamosaurus imperiosus

PROFILE

1

Study Taxonomy in

Oxford in 2009

PROFILE

1

Study Taxonomy in

Oxford in 2009

PROFILE

2

Study Taxonomy in Cambridge in

2004

PROFILE

2

Study Taxonomy in Cambridge in

2004

PROFILE

3

Study Taxonomy in Cambridge in

2009

PROFILE

3

Study Taxonomy in Cambridge in

2009

CHALLENGES

Model of Fact ??

Model of Time ??

Model of Space ??

How to promote a fact to be UCCK?

NEXT

[TBD]

REFERENCES

Fact, quote, and assertion from Contexts for RDF Information Modeling

Fact & Time from DOLCE

Fact & Space from Contexts for RDF Information Modeling

Community Knowledge from Step toward of digital preservation

Profile concept from CASPAR

Species name change from Taxonomy website

PART

207-NOV-2011

MODEL

Context rdf:statementCommunity

Time Interval

xsd:dateTime

begin end

know

destruct

construct

period

Person

Profile

hasProfile

isUnder

durring

Document

hasContext

EXAMPLE

oxford

1900

begin

Cambridge

know know

contsruct

bird:Columba-cayennensis

sp-name

s

p

o “Columba cayennensis”

hasContextcontsruct

bird:Columba-cayennensis

genus

s

p

og:Columba

EXAMPLE

oxford

1910

begin

know

destruct

g:Columba

hasFamilys

p

o

hasContext

contsruct

g:Patagioenas

hasFamilys

p

of:Columbidae

f:Columbidae

bird:Columba-cayennensis

hasGenus

s

p

o f:Columbidaecontsruct

bird:Columba-cayennensis

changeTo

s

p

o bird:Patagioenas-cayennensis

contsruct

EXAMPLE

Oxford Cambridge

Columba cayennensis Columba cayennensis1900

Patagioenas cayennensis

Patagioenas cayennensis

Patagioenas cayennensis

Columba cayennensis

Columba cayennensisColumba cayennensis

1910

2011

PART

321-NOV-2011

Context rdf:statement

construct

destruct

Time Interval

Community

Document

period

know hasContext

xsd:dateTime

begin end

Context

Time Interval

Community

Document

period

know hasContext

xsd:dateTime

begin end

rdf:Statement

construct

destruct

Community Knowledge

Time Interval period

xsd:dateTime

begin end

Knowledge Evolution

rdf:Statement

assert

contain

deny

Community

Document

know hasContext

Community Knowledge

Time Interval period

xsd:dateTime

begin end

Knowledge Evolution

rdf:Statement

assert

contain

deny

Community

Document

perceivedBy reference

Community Knowledge

Time Interval period

xsd:dateTime

begin end

Knowledge Evolution

rdf:Statement

assert

contain

deny

sioc:Community

Document

perceivedBy reference

foaf:Personreporter

bibo:performer foaf:Agent

Community Knowledge

Time Interval period

xsd:dateTime

begin end

Knowledge Evolution

rdf:Statement

assert

contain

deny

sioc:Community

Document

perceivedBy reference

foaf:Personreporter

bibo:performer foaf:Agent

0Knowledge Evolution

rdf:Statement

assert

deny

Knowledge Evolution

rdf:Statement

assert

deny

1 TypeevoluationType Type

• Creation• Deletion• Replacement

Knowledge Evolution

rdfs:Resource

assertConcept

denyConcept

2 TypeevoluationType

Concept Evolution

Statement Evolution

rdf:Statement

assertStatement

denyStatement

Type• Creation• Deletion• Replacement

is a

is a

Knowledge Evolution

rdf:Statementassert

3

Knowledge Creation

is a

is a

rdf:Statementdeny

Knowledge Deletion

rdf:Statement

assert

deny

Knowledge Modification

is a

Change Higher Taxon

is a

Knowledge Evolution

rdf:Statementassert

4

Knowledge Creation

is a

is a

rdf:Statementdeny

Knowledge Deletion

rdf:Statement

assert

deny

Knowledge Modification

is a

TypeevoluationType Type

• Split• Merge• …etc

Knowledge Evolution

rdf:StatementassertStatement

5

StatementCreation

rdf:StatementdenyStatement

StatementDeletion

rdf:Statement

assertStatement

denyStatement

StatementReplacement

is a

is a

is a

rdfs:ResourceassertConceptConcept

Creation

rdfs:ResourcedenyConcept

ConceptDeletion

rdfs:Resource

assertConcept

denyConcept

ConceptReplacement

Change Higher Taxon

is a

Knowledge Evolution

rdf:StatementassertStatement

6

StatementCreation

rdf:StatementdenyStatement

StatementDeletion

rdf:Statement

assertStatement

denyStatement

StatementReplacement

is a

is a

is a

rdf:StatementassertConceptConcept

Creation

rdf:StatementdenyConcept

ConceptDeletion

rdf:Statement

assertConcept

denyConcept

ConceptReplacement

Type

evoluationType

Type• Split• Merge• …etc

EXAMPLE

Name Change

:contain

:Name_B

:Name_A

:assertConcept

:denyConcept:NameReplace

men

:evoluationType

EXAMPLE

Spelling Sequence

:contain

:Name_A

:assertStatement

:SpellingSequence

:evoluationType

:spellingSequenceFor

:Name_B

s

p

o

EXAMPLE

Synonym

:contain

:Name_A

:assertStatement

:Synonym

:evoluationType

:isASynonymFor

:Name_B

s

p

o

EXAMPLE

Homonym

:contain

x:Name_A

:assertStatement

:Homonym

:evoluationType

:isAHomonymFor

y:Name_A

s

p

o

:contain y:Name_B

y:Name_A

:assertConcept

:denyConcept

:NameReplacemen

:evoluationType

EXAMPLE

Splitting

:contain

:Genus_A

:Genus_A

:assertConcept

:denyConcept

:Splitting

:evoluationType

:Genus_B:assertConcept

:contain

:hasHigherTaxon

p

s:AddHigher

Taxon

:Family_X

o

:Genus_B

:evoluationType

:assertStatement

EXAMPLE

Merging

:contain

:Genus_B

:Genus_A

:denyConcept

:denyConcept

:Merging

:evoluationType

:Genus_A’:assertConcept

:contain

:hasHigherTaxon

p

s:Remove

HigherTaxon

:Family_X

o

:Genus_B

:evoluationType

:denyStatement

EXAMPLE

Changing higher taxon

:contain

:Name_A

:denyStatement

:ChangingHigherTaxon

:evoluationType

:hasHigherTaxon

:Name_X

s

p

o

:Name_A:assertStatement

:hasHigherTaxon

:Name_Y

s

p

o

EXAMPLE

Promoting

:contain

:Name_A

:denyStatement

:Promoting

:evoluationType

:hasHigherTaxon

:Name_B

s

p

o

:Name_A:assertStatement

:hasHigherTaxon

:Genus_X

s

p

o

EXAMPLE

Demoting

:contain

:Name_A

:denyStatement

:Promoting

:evoluationType

:hasHigherTaxon

:Gunus_X

s

p

o

:Name_A:assertStatement

:hasHigherTaxon

:Name_B

s

p

o