TIP0002 - Declaration and Identification of a temporal part

latest update: 2017-01-30    

TIP0002 - Declaration and Identification of a temporal part

NARRATIVE

All things, that are involved in any information, shall first be declared and identified as "Ur" objects or "anchor" objects (see TIP0001). But sometimes a (class of) temporal part has to be made explicit by declaration.

Where temporal parts usually are hidden in the templates, there is a situation in which we need to create an explicit temporal part. That is when simultaneous information about a thing has to be grouped by context, e.g. a person has two jobs, and for each job information (salaries, expense reports, performance revies, etc) has to be grouped by job-related temporal parts of that person, because the periods in time of information effectivity are not conclusive for such grouping due to the simultaneous occurence.

Other uses of temporal parts are, amongst others, explained in http://15926.org/topics/design-to-reality/index.htm

INPUT

The OOI (Object Of Interest) is the (class of) temporal part

ISO 15926-2 entity type of temporal part: var_EntityType  (inherited from the temporal whole)

OOI is a specialization (if class) or a member (if individual) of the "Declaration Class": var_ObjectType (inherited from the temporal whole)

Value of identifier of temporal whole: var_IdentOfOOI1  (e.g. B14-V101 )

Value of identifier of temporal part: var_IdentOfOOI2  (e.g. B14-V101-case2)

Identification type: var_IdentType  (inherited from the temporal whole)


TIP0002C - Declaration and Identification of a temporal part (Classes)

NARRATIVE

An instance of ClassOfIndividual, or a subclass thereof, gets a class-of-temporal-part that gets a given identifier.

NOTE - This identification is purely of the class, not of its members.

SIGNATURE

 

GENERATED CODE

  

# DECLARED OBJECTS

  

# Fetch, against var_IdentOfOOI, the CGUID1, the var_EntityType, the var_ObjectType  and the var_IdentType of the class-of-temporal-whole ClassOfIndividual, that must already have been declared with TIP0001.

  

# Declaration of a class-of-temporal-part of the ClassOfIndividual

  

<CGUID2>  rdf:type <var_EntityType(var_IdentOfOOI1)> ; # same as that of CGUID1

          rdfs:subClassOf <var_ObjectType(var_IdentOfOOI1)> ; # same as that of CGUID1

          rdfs:label "var_IdentOfOOI2" ;

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .

  

<TGUID3> rdf:type tpl:ClassifiedIdentificationOfClassOfIndividual ;

    tpl:hasIdentified <CGUID2>;

    tpl:valIdentifier "var_IdentOfOOI2" ;

    tpl:hasIdentificationType <var_IdentType(var_IdentOfOOI1)> ; # same as that of CGUID1

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .  

  

<TGUID4>rdf:type tpl:ClassOfTemporalPartOfClassOfIndividual ;

    tpl:hasClassOfWhole <CGUID1(var_IdentOfOOI1)>;

    tpl:hasClassOfPart <CGUID2> ;

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .  

  

MAPPING TO TRIPLES

  

<CGUID2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <var_EntityType(var_IdentOfOOI1)> .

<CGUID2> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <var_ObjectType(var_IdentOfOOI1)> .

<CGUID2> <http://www.w3.org/2000/01/rdf-schema#> "var_IdentOfOOI" .

<CGUID2> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .

 

<TGUID3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.15926.org/tpl/ClassifiedIdentificationOfClassOfIndividual> .

<TGUID3> <http://data.15926.org/tpl/hasIdentified> <CGUID2> .

<TGUID3> <http://data.15926.org/tpl/valIdentifier> "var_IdentOfOOI2" .

<TGUID3> <http://data.15926.org/tpl/hasIdentificationType> <var_IdentType(var_IdentOfOOI1)> .

<TGUID3> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .

 

<TGUID4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.15926.org/tpl/ClassOfTemporalPartOfClassOfIndividual> .

<TGUID4> <http://data.15926.org/tpl/hasClassOfWhole> <CGUID1(var_IdentOfOOI1)> .

<TGUID4> <http://data.15926.org/tpl/hasClassOfPart> <CGUID2> .

<TGUID4> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .

 


TIP0002T1 - Declaration and Identification of a temporal part of an imagined Individual

NARRATIVE

Imagined is the opposite of Actual (see TIP0001T2). Example: the instances of FunctionalPhysicalObject, that are being represented on a P&ID, are imagined, whereas the instances of MaterializedPhysicalObject, such as the products coming out of the factory, are Actual. Part 2 defines an ActualIndividual as "a PossibleIndividual that is a part of the space-time continuum that we inhabit. It exists in the present, past, or future of our universe, as opposed to some imagined universe.".

An (instance of a subtype of) PossibleIndividual gets a temporal part with a given identifier of the same var_IdentType as that PossibleIndiviudal.

The OOI (Object Of Interest), that is the temporal part, shall be of the same var_EntityType as its temporal whole Object and be a member of the same var_ObjectType.

SIGNATURE

 

GENERATED CODE

  

# DECLARED OBJECTS

  

# Fetch, against var_IdentOfOOI, the CGUID1, the var_EntityType, and the var_IdentType of the temporal whole imagined Individual, that must already have been declared with TIP0001.

  

# Declaration of a temporal part of the imagined Individual

  

<TGUID2> rdf:type <var_EntityType(var_IdentOfOOI1)> , <var_ObjectType(var_IdentOfOOI1)> , dm:WholeLifeIndividual 

          rdfs:label "var_IdentOfOOI2" ;

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .

  

<TGUID3> rdf:type :ClassifiedIdentificationOfIndividual ;

    :hasIdentified <TGUID2> ;

    :valIdentifier "var_IdentOfOOI2" ;

    :hasIdentificationType <var_IdentType(var_IdentOfOOI1)> ;

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .  

  

<TGUID4>rdf:type tpl:BeginningOfTemporalPart ;

    tpl:hasTemporalWhole <TGUID1(var_IdentOfOOI1)>;

    tpl:hasTemporalPart <TGUID2> ;

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .  

  

MAPPING TO TRIPLES

  

# DECLARED OBJECTS (check existence and if not: declare)

  

<TGUID2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <var_EntityType(var_IdentOfOOI1)> .

<TGUID2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <var_ObjectType(var_IdentOfOOI1> .

<TGUID2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.15926.org/dm/WholeLifeIndividual> .

<TGUID2> <http://www.w3.org/2000/01/rdf-schema#> "var_IdentOfOOI" .

<TGUID2> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .

 

<TGUID3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.xyz.org/p1234/ClassifiedIdentificationOfIndividual> .

<TGUID3> <http://data.xyz.org/p1234/hasIdentified> <TGUID2> .

<TGUID3> <http://data.xyz.org/p1234/valIdentifier> "var_IdentOfOOI2" .

<TGUID3> <http://data.xyz.org/p1234/hasIdentificationType> <var_IdentType(var_IdentOfOOI1> .

<TGUID3> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .

 

<TGUID4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.15926.org/tpl/BeginningOfTemporalPart> .

<TGUID4> <http://data.15926.org/tpl/hasTemporalWhole> <GUID1(var_IdentOfOOI1> .

<TGUID4> <http://data.15926.org/tpl/hasTemporalPart> <GUID2> .

<TGUID4> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .

 


TIP0002T2 - Declaration and Identification of a temporal part of an Actual Individual

NARRATIVE

Imagined is the opposite of Actual (see TIP0001T2). Example: the instances of FunctionalPhysicalObject, that are being represented on a P&ID, are imagined, whereas the instances of MaterializedPhysicalObject, such as the products coming out of the factory, are Actual. Part 2 defines an ActualIndividual as "a PossibleIndividual that is a part of the space-time continuum that we inhabit. It exists in the present, past, or future of our universe, as opposed to some imagined universe.".

An (instance of a subtype of) PossibleIndividual gets a temporal part with a given identifier of the same var_IdentType as its temporal whole.

The OOI (Object Of Interest) that is identified shall be of the same var_EntityType as its temporal whole Object and be a member of the same var_ObjectType.

SIGNATURE

 

GENERATED CODE

  

# DECLARED OBJECTS

  

# Fetch, against var_IdentOfOOI, the CGUID1, the var_EntityType, and the var_IdentType of the temporal whole Actual Individual, that must already have been declared with TIP0001.

  

# Declaration of a temporal part of the Actual Individual

  

<TGUID2> rdf:type <var_EntityType(var_IdentOfOOI1)> , <var_ObjectType(var_IdentOfOOI1)> , dm:WholeLifeIndividual, dm:ActualIndividual 

          rdfs:label "var_IdentOfOOI2" ;

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .

  

<TGUID3> rdf:type :ClassifiedIdentificationOfIndividual ;

    :hasIdentified <TGUID2> ;

    :valIdentifier "var_IdentOfOOI2" ;

    :hasIdentificationType <var_IdentType(var_IdentOfOOI1)> ;

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .  

  

<TGUID4>rdf:type tpl:BeginningOfTemporalPart ;

    tpl:hasTemporalWhole <TGUID1(var_IdentOfOOI1)>;

    tpl:hasTemporalPart <TGUID2> ;

    meta:valEffectiveDate "var_dateTime"^^xsd:dateTime .  

  

MAPPING TO TRIPLES

  

# DECLARED OBJECTS (check existence and if not: declare)

  

<TGUID2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <var_EntityType(var_IdentOfOOI1)> .

<TGUID2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <var_ObjectType(var_IdentOfOOI1> .

<TGUID2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.15926.org/dm/WholeLifeIndividual> .

<TGUID2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.15926.org/dm/ActualIndividual> .

<TGUID2> <http://www.w3.org/2000/01/rdf-schema#> "var_IdentOfOOI" .

<TGUID2> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .

 

<TGUID3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.xyz.org/p1234/ClassifiedIdentificationOfIndividual> .

<TGUID3> <http://data.xyz.org/p1234/hasIdentified> <TGUID2> .

<TGUID3> <http://data.xyz.org/p1234/valIdentifier> "var_IdentOfOOI2" .

<TGUID3> <http://data.xyz.org/p1234/hasIdentificationType> <var_IdentType(var_IdentOfOOI1> .

<TGUID3> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .

 

<TGUID4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://data.15926.org/tpl/BeginningOfTemporalPart> .

<TGUID4> <http://data.15926.org/tpl/hasTemporalWhole> <GUID1(var_IdentOfOOI1> .

<TGUID4> <http://data.15926.org/tpl/hasTemporalPart> <GUID2> .

<TGUID4> <http://data.15926.org/meta/valEffectiveDate> "var_dateTime"^^<http://www.w3.org/2001/XMLSchema#dateTime> .