Formal Derivation – D3

D3 Formal Derivation

Scope note:

This class comprises events that result in the creation of a D1 Digital Object from another one following a deterministic algorithm, such that the resulting instance of digital object shares representative properties with the original object.

In other words, this class describes the transition from an immaterial object referred to by property L21 used as derivation source (was derivation source for) to another immaterial object referred to by property L22 created derivative (was derivative created by) preserving the representation of some things but in a different form. Characteristic examples are colour corrections, contrast changes and resizing of images.

Examples:

No example yet.

In First Order Logic:

  • D3(x) ⊃ D10(x)

Scope Notes

Show Scope note Language Namespace View details and comments
This class comprises events that result in the creation of a D1 Digital Object from another one following a deterministic algorithm, such that the resulting instance of digital object shares representative properties with the original object. In other words, this class describes the transition from an immaterial object referred to by property L21 used as derivation source (was derivation source for) to another immaterial object referred to by property L22 created derivative (was derivative created by) preserving the representation of some things but in a different form. Characteristic examples are colour corrections, contrast changes and resizing of images. en

Examples

Show Example Language Namespace View details and comments

Additional notes

Show Notes Language Namespace View details and comments

Labels

Label Language Last updated View details and comments
Formal Derivation en 2019-01-25

Namespace

Namespace Last updated
CRMdig version 3.2 2019-04-02

Parent classes

Class Justification Root namespace View association
D10 Software Execution CRMdig: An Extension of CIDOC CRM to support provenance metadata

Ancestor classes

Class Depth Root namespace
E1 CRM Entity 8 CIDOC CRM
E1 CRM Entity 9 CIDOC CRM
E2 Temporal Entity 7 CIDOC CRM
E4 Period 6 CIDOC CRM
E5 Event 5 CIDOC CRM
E7 Activity 4 CIDOC CRM
E11 Modification 3 CIDOC CRM
E63 Beginning of Existence 4 CIDOC CRM
E65 Creation 3 CIDOC CRM
E92 Spacetime Volume 7 CIDOC CRM
E92 Spacetime Volume 8 CIDOC CRM
Thing Thing 9 The OWL 2 Schema vocabulary
Thing Thing 10 The OWL 2 Schema vocabulary
SP1 Phenomenal Spacetime Volume 7 CRMgeo: a Spatiotemporal Model
Feature Feature 8 GeoSPARQL
SpatialObject SpatialObject 9 GeoSPARQL
S15 Observable Entity 8 CRMsci: An Extension of CIDOC CRM to support scientific observation
S18 Alteration 4 CRMsci: An Extension of CIDOC CRM to support scientific observation
D7 Digital Machine Event 2 CRMdig: An Extension of CIDOC CRM to support provenance metadata

Childs and descendant classes

Class identifier Depth Root namespace

Equivalent classes

Class identifier Root namespace

Outgoing properties (this class is domain)

Domain Property identifier Range Namespace
D3 Formal Derivation L21 used as derivation source D1 Digital Object CRMdig version 3.2
D3 Formal Derivation L22 created derivative D1 Digital Object CRMdig version 3.2

Outgoing properties (inherited from ancestors)

Domain Property identifier Range Namespace
D3 Formal Derivation (is a E1 CRM Entity) P1 is identified by E41 Appellation CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity) P2 has type E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity) P3 has note E62 String CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity) P48 has preferred identifier E42 Identifier CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity) P137 exemplifies E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity) geovP2 is mentioned in geovC5 Expression section Geovistory ongoing
D3 Formal Derivation (is a E1 CRM Entity) L47 has comment E62 String CRMdig version 3.2
D3 Formal Derivation (is a E1 CRM Entity) L4 has preferred label E62 String CRMdig version 3.2
D3 Formal Derivation (is a E1 CRM Entity) L53 is not uniquely identified by E62 String CRMdig version 3.2
D3 Formal Derivation (is a E2 Temporal Entity) P4 has time-span E52 Time-Span CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity) P114 is equal in time to E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity) P115 finishes E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity) P116 starts E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity) P117 occurs during E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity) P118 overlaps in time with E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity) P119 meets in time with E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity) P120 occurs before E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity) histP1 involves E77 Persistent Item Data for History ontology, v.0.1 ongoing
D3 Formal Derivation (is a E4 Period) P7 took place at E53 Place CIDOC CRM version 6.2
D3 Formal Derivation (is a E4 Period) P8 took place on or within E18 Physical Thing CIDOC CRM version 6.2
D3 Formal Derivation (is a E4 Period) P9 consists of E4 Period CIDOC CRM version 6.2
D3 Formal Derivation (is a E4 Period) Q1 occupied SP1 Phenomenal Spacetime Volume CRMgeo version 1.2
D3 Formal Derivation (is a E5 Event) P11 had participant E39 Actor CIDOC CRM version 6.2
D3 Formal Derivation (is a E5 Event) P12 occurred in the presence of E77 Persistent Item CIDOC CRM version 6.2
D3 Formal Derivation (is a E5 Event) O13 triggers (is triggered by) E5 Event CRMsci version 1.2.3
D3 Formal Derivation (is a E5 Event) O14 initializes (is initialized by) S16 State CRMsci version 1.2.3
D3 Formal Derivation (is a E5 Event) histP18 has event type histC4 Event type Data for History ontology, v.0.1 ongoing
D3 Formal Derivation (is a E7 Activity) P14 carried out by E39 Actor CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P15 was influenced by E1 CRM Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P16 used specific object E70 Thing CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P17 was motivated by E1 CRM Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P19 was intended use of E71 Man-Made Thing CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P20 had specific purpose E5 Event CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P21 had general purpose E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P32 used general technique E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P33 used specific technique E29 Design or Procedure CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P125 used object of type E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) P134 continued E7 Activity CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity) socP5 realized (duplicate, delete) socE Activity Plan CRMsoc version 0.1 ongoing
D3 Formal Derivation (is a E7 Activity) L29 has responsible organization E40 Legal Body CRMdig version 3.2
D3 Formal Derivation (is a E7 Activity) L30 has operator E21 Person CRMdig version 3.2
D3 Formal Derivation (is a E7 Activity) L34 has contractor E40 Legal Body CRMdig version 3.2
D3 Formal Derivation (is a E7 Activity) L35 has commissioner E40 Legal Body CRMdig version 3.2
D3 Formal Derivation (is a E7 Activity) socP17 realised (was realised by) socE Activity Plan CRMsoc version 0.1 ongoing
D3 Formal Derivation (is a E11 Modification) P31 has modified E24 Physical Man-Made Thing CIDOC CRM version 6.2
D3 Formal Derivation (is a E11 Modification) P126 employed E57 Material CIDOC CRM version 6.2
D3 Formal Derivation (is a E63 Beginning of Existence) P92 brought into existence E77 Persistent Item CIDOC CRM version 6.2
D3 Formal Derivation (is a E65 Creation) P94 has created E28 Conceptual Object CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume) P10 falls within E92 Spacetime Volume CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume) P132 overlaps with E92 Spacetime Volume CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume) P133 is separated from E92 Spacetime Volume CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume) P160 has temporal projection E52 Time-Span CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume) P161 has spatial projection E53 Place CIDOC CRM version 6.2
D3 Formal Derivation (is a Thing Thing) topObjectProperty Thing Thing The OWL 2 Schema vocabulary (OWL 2)
D3 Formal Derivation (is a SP1 Phenomenal Spacetime Volume) Q3 has temporal projection SP13 Phenomenal Time-Span CRMgeo version 1.2
D3 Formal Derivation (is a SP1 Phenomenal Spacetime Volume) Q4 has spatial projection SP2 Phenomenal Place CRMgeo version 1.2
D3 Formal Derivation (is a S15 Observable Entity) O12 has dimension (is dimension of) E54 Dimension CRMsci version 1.2.3
D3 Formal Derivation (is a S18 Alteration) O18 altered (was altered by) E18 Physical Thing CRMsci version 1.2.3
D3 Formal Derivation (is a D7 Digital Machine Event) L10 had input D1 Digital Object CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event) L11 had output D1 Digital Object CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event) L12 happened on device D8 Digital Device CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event) L18 has modified D13 Digital Information Carrier CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event) L23 used software or firmware D14 Software CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event) L31 has starting date-time E61 Time Primitive CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event) L32 has ending date-time E61 Time Primitive CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event) L61 was ongoing at E61 Time Primitive CRMdig version 3.2
D3 Formal Derivation (is a D10 Software Execution) L2 used as source D1 Digital Object CRMdig version 3.2
D3 Formal Derivation (is a D10 Software Execution) L13 used parameters D1 Digital Object CRMdig version 3.2
D3 Formal Derivation (is a D10 Software Execution) L24 created logfile D1 Digital Object CRMdig version 3.2

Incoming properties (this class is range)

Domain Property identifier Range Namespace

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E2 Temporal Entity P114 is equal in time to D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P115 finishes D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P116 starts D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P117 occurs during D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P118 overlaps in time with D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P119 meets in time with D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P120 occurs before D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E4 Period P9 consists of D3 Formal Derivation (is a E4 Period) CIDOC CRM version 6.2
E4 Period Q1 occupied D3 Formal Derivation (is a SP1 Phenomenal Spacetime Volume) CRMgeo version 1.2
E5 Event O13 triggers (is triggered by) D3 Formal Derivation (is a E5 Event) CRMsci version 1.2.3
E7 Activity P134 continued D3 Formal Derivation (is a E7 Activity) CIDOC CRM version 6.2
E7 Activity P15 was influenced by D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P17 was motivated by D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P20 had specific purpose D3 Formal Derivation (is a E5 Event) CIDOC CRM version 6.2
E13 Attribute Assignment P140 assigned attribute to D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E13 Attribute Assignment P141 assigned D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E16 Measurement P39 measured D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E17 Type Assignment P41 classified D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E18 Physical Thing Q2 occupied D3 Formal Derivation (is a SP1 Phenomenal Spacetime Volume) CRMgeo version 1.2
E24 Physical Man-Made Thing P62 depicts D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E31 Document P70 documents D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E32 Authority Document P71 lists D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E36 Visual Item P138 represents D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E83 Type Creation P136 was based on D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P129 is about D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P67 refers to D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E92 Spacetime Volume P10 falls within D3 Formal Derivation (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E92 Spacetime Volume P132 overlaps with D3 Formal Derivation (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E92 Spacetime Volume P133 is separated from D3 Formal Derivation (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E93 Presence P166 was a presence of D3 Formal Derivation (is a E92 Spacetime Volume) CIDOC CRM version 6.2
TyIn104 Présence objet_(être_l')_|_Présence D3 Formal Derivation (is a E5 Event) symogih.org ontology v.1.3 ongoing
histC1 Persistent item condition or characteristic histP2 wasInitiatedBy D3 Formal Derivation (is a E5 Event) Data for History ontology, v.0.1 ongoing
histC1 Persistent item condition or characteristic histP3 wasTerminatedBy D3 Formal Derivation (is a E5 Event) Data for History ontology, v.0.1 ongoing
histC2 Geographical localisation histP12 is location of D3 Formal Derivation (is a E1 CRM Entity) Data for History ontology, v.0.1 ongoing
Thing Thing topObjectProperty D3 Formal Derivation (is a Thing Thing) The OWL 2 Schema vocabulary (OWL 2)
F29 Recording Event R20 recorded D3 Formal Derivation (is a E2 Temporal Entity) FRBRoo version 2.4
F35 Nomen Use Statement R38 refers to thema D3 Formal Derivation (is a E1 CRM Entity) FRBRoo version 2.4
F40 Identifier Assignment R45 assigned to D3 Formal Derivation (is a E1 CRM Entity) FRBRoo version 2.4
F51 Pursuit R59 had typical subject D3 Formal Derivation (is a E1 CRM Entity) FRBRoo version 2.4
F52 Name Use Activity R63 named D3 Formal Derivation (is a E1 CRM Entity) FRBRoo version 2.4
SP7 Declarative Spacetime Volume Q12 approximates D3 Formal Derivation (is a E92 Spacetime Volume) CRMgeo version 1.2
SP11 Temporal Reference System Q19 has reference event D3 Formal Derivation (is a E5 Event) CRMgeo version 1.2
histC10 Appellation for language histP9 isAppellationOf D3 Formal Derivation (is a E1 CRM Entity) Data for History ontology, v.0.1 ongoing
S4 Observation O16 observed value (value was observed by) D3 Formal Derivation (is a E1 CRM Entity) CRMsci version 1.2.3
S4 Observation O8 observed (was observed by) D3 Formal Derivation (is a S15 Observable Entity) CRMsci version 1.2.3
S6 Data Evaluation O11 described (was described by) D3 Formal Derivation (is a S15 Observable Entity) CRMsci version 1.2.3
S21 Measurement O24 measured (was measured by) D3 Formal Derivation (is a S15 Observable Entity) CRMsci version 1.2.3
S22 Segment of Matter O23 is defined by (defines) D3 Formal Derivation (is a E92 Spacetime Volume) CRMsci version 1.2.3
socE Activity Plan socP100 planned for D3 Formal Derivation (is a E1 CRM Entity) CRMsoc version 0.1 ongoing
D2 Digitization Process L60 documents D3 Formal Derivation (is a E1 CRM Entity) CRMdig version 3.2
D29 Annotation Object L43 annotates D3 Formal Derivation (is a E1 CRM Entity) CRMdig version 3.2
socE Intention to Apply socP15 was initiated by (initiated) D3 Formal Derivation (is a E5 Event) CRMsoc version 0.1 ongoing
socE Intention to Apply socP16 was ended by (ended) D3 Formal Derivation (is a E5 Event) CRMsoc version 0.1 ongoing

Profiles using this class

Label Start date End date Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments