A Logical Model of Digital Archives

1. A Logical Model of Digital Archives Blueprint Edition R Chawuthai

2. Agenda • Concept Evolution • Conceptual Model • Next

3. Concept Evolution

4. Context of concept Plant Fruit Flower Car mango rose Vegetable wheel wheel Classification Part-Whole

5. Context of concept black Earth color iPhone4S moveAround Sun price 499 $ Attribution Association

6. Context of concept Name Farm rdf:_1 member member First Name member rdf:_2 Fish Pig Cow Family Name Membership Ordered List

7. Types of concept evolution Fruit Vegetable ยาบ้า ยาม้า Concept Replacement Reclassification Concept Splitter Concept Merger

8. Taxonomy of Knowledge Evolution • :KnowledgeEvolution • :Conceptualization • :Classification • :Relationship • :Attribution • :ObectAttribution • :DataAttribution • :LabelAttribution • :PartWhole • :Association • :Collection • :Membership • :OrderedList

9. Conceptualization • ConceptCreation(concept) • ConceptExpiration (concept) • ConceptReplacemant(conceptBefore, conceptAfter) • ConceptMerger(conceptBefore*, conceptAfter) • ConceptSplitter(conceptBefore, conceptAfter*) • ConceptMatching(conceptBefore, conceptAfter, machingProperty)

10. Classification • ClassificationAddition(parentConcept, childConcept*) • ClassificationRemoval(parentConcept, childConcept*) • Reclassification (childConcept, parentConceptBefore, parentConceptAfter)

11. ObjectAttribution • ObjectAttributeAddition (concept, attribute, objectValue*) • ObjectAttributeRemoval (concept, attribute, objectValue*) • ObjectAttributeModification (concept, attribute, objectValueBefore*, objectValueBefore* )

12. DataAttribution • DataAttributeAddition (concept, attribute, dataValue*) • DataAttributeRemoval (concept, attribute, dataValue *) • DataAttributeModification (concept, attribute, dataValueBefore*, dataValueAfter* )

13. PartWhole • PartWholeAddition(Concept, partConcept*) • PartWholeRemoval(Concept, partConcept*) • Reclassification(partConcept, ConceptBefore, ConceptAfter) • TransitivePartWholeAddition(Concept, partConcept*) • TransitivePartWholeRemoval(Concept, partConcept*) • TransitiveReclassification(partConcept, ConceptBefore, ConceptAfter)

14. Association • AssociationAddition (concept, relation, objectiveConcept *) • AssociationRemoval (concept, relation, objectiveConcept* ) • AssociationModification (concept, relation, objectiveConceptBefore*, objectiveConceptAfter*)

15. Membership • MembershipAddition (collectionConcept, memberConcept*) • MembershipRemoval (collectionConcept, memberConcept* )

16. OrderedList • ListAdditionFirstPosition (collectionConcept, elementConcept) • ListAdditionLastPosition (collectionConcept, elementConcept) • ListAdditionAtPosition (collectionConcept, elementConcept, previousElementConcept) • ListRemoval (collectionConcept, elementConcept)

17. Schema Schema • :conceptBeforerdfs:subPropertyOf :concept • :conceptAfterrdfs:subPropertyOf :concept • :concept rdfs:domain :Conceptualization • :concept rdfs:rangeskos:Concept • :matchingPropertyrdf:domain :ConceptMaching • :matchingPropertyrdf:range :serialConceptMatch • =1concept.CondeptCreation • =1concept.CondeptRemoval • =1conceptBefore.ConceptReplacement • =1conceptAfter.ConceptReplacement • =1conceptBefore.ConceptSplitter • >1conceptAfter.ConceptSplitter • >1conceptBefore.ConceptMerger • =1conceptAfter.ConceptMerger • =1conceptBefore.ConceptMatching • =1conceptAfter.ConceptMatching • =1matchingProperty.ConceptMatching

18. Rule Rule ConceptReplacement • ( ?crrdf:type :ConceptReplacement ) ∧ ( ?cr :conceptBefore ?c1 ) ∧ ( ?cr :conceptAfter ?c2 ) ∧  makeInstance( ?com, :assure, :ConceptCreation, ?cr1) ( ?cr1 :concept ?c2 ) ( ?cr :detail ?cr1 )makeInstance( ?com, :assure, :ConceptExpiration, ?cr2) ( ?cr2 :concept ?c1 ) ( ?cr :detail ?cr2 )makeInstance( ?com, :assure, :ConceptMaching, ?cr3) ( ?cr3 :conceptBefore ?c1 ) ( ?cr3 :conceptAfter ?c2 ) ( ?cr3 :machingProperty:replacedMatch) ( ?cr :effect ?cr3 )

19. Properties • :higherClass rdfs:subPropertyOfskos:broaderTransitive • :lowerClass rdfs:subPropertyOfskos:narrowerTransitive • :partOf rdfs:subPropertyOfskos:broader • :hasPart rdfs:subPropertyOfskos:narrower • :partOfTransitive rdfs:subPropertyOfskos:broaderTransitive • :hasPartTransitive rdfs:subPropertyOfskos:narrowerTransitive

20. Classification ex:Animal :higherClass :lowerClass ex:Mammal :lowerClass :higherClass ex:Cat It can infer that ex:Animal :lowerClassex:Cat

21. Part-Whole (Transitive) ex:Japan :partOfTransitive :hasPartTransitive ex:Tokyo :partOfTransitive :hasPartTransitive ex:Shunjuku It can infer that ex:Shinjuku :partOfTransitiveex:Japan

22. Evolution of concept

23. Concept Matching Relation • :serialConceptMatchrdfs:subPropertyOfskos:semanticRelation • :replacedMatchrdfs:subPropertyOfskos:exactMatch • :mergedMatchrdfs:subPropertyOfskos:relatedMatch • :majorMergedMatchrdfs:subPropertyOfskos:closeMatch(Merge with same name) • :splitMatchrdfs:subPropertyOfskos:relatedMatch • :majorSplitMatchrdfs:subPropertyOfskos:splitMatch(Split with same name) • :reclassifiedMatchrdfs:subPropertyOfskos:exactMatch

24. Scenario 1980 1950 ex:x3 majorMergedMatch replacedMatch ex:x1 ex:x2 serialConceptMatch 1970 reclassifiedMatch 2005 majorSplitMatch ex:x5 reclassifiedMatch ex:x4 ex:x6 serialConceptMatch 1999 2010

25. Common UCK Writer’s UCK Reader’s UCK time

26. Conceptual Model

27. Conceptual Model soic:Community :sharedBy xsd:dateTime dcterms:source tl:endAt DateTime tl:beginAt DateTime :Community Knowledge Thing tl:Interval bibo:issuer :interval foaf:Agent bibo:performer :assures :Knowledge Evolution :main / :detail :cause / :effect

28. Metadata model for digital object concept date subject community

29. ex:tomato ex:Fruit :child :Reclassification :parentBefore rdf:type ex:Vegetable :parentAfter 2011 :assure :interval tl:begingAtDateTime ex:cr :community bibo:issuer ait:csim ex:rathachai

30. Next

31. Next • Define Rule for all operations using Jena rule • Implement prototype by using Jena Jena is a Java framework for building Semantic Web applications. It provides a programmatic environment for RDF, RDFS and OWL, SPARQL and includes a rule-based inference engine.

32. UCK -UI UCK-UI Common Knowledge Archivist (UCCK) Local Knowledge Archivist (UCK -2) Local Knowledge Archivist (UCK -1) UCKService UCK Service Sesame Sesame UCCK-UI UCCK Service UCK -1 UCK -2 Sesame UCCK Digital Object Archivist (UCK -2) Digital Object Archivist (UCK -1) Archive UI Archive UI Archive Service Archive Service Fedora Fedora Access Service Access Service Access UI Access UI UCK -2 UCK -1 dataflow INGEST End-User (UCK -1)

33. UCK-UI UCK-UI Common Knowledge Archivist (UCCK) Local Knowledge Archivist (UCK -2) Local Knowledge Archivist (UCK -1) UCKService UCK Service Sesame Sesame UCCK-UI UCCK Service UCK -1 UCK -2 Sesame UCCK Digital Object Archivist (UCK -2) Digital Object Archivist (UCK -1) Archive UI Archive UI Archive Service Archive Service Fedora Fedora Access Service Access Service Access UI Access UI request UCK -2 UCK -1 response ACCESS End-User (UCK -1)

34. Type Type Merge Before nytia Concept bubo After Before edit delete After Next Finish

35. Linked Species Evolution

36. Concepts and their relations Input Information about change