Formal Derivation – D3

D3 Formal Derivation

Subclass of:

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)

Outgoing properties:

Scope notes

Show Scope note Language Namespace View details 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 CRMdig version 4.0 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: D3

Official URI: http://www.ics.forth.gr/isl/CRMdig/D3_Formal_Derivation
OntoME URI: https://ontome.net/ontology/c479

Labels

Label Language Last updated View details Comments
Formal Derivation * en 2022-12-08 0

* : Standard label for this language

Namespace

Namespace Last updated
CRMdig version 4.0 2022-12-08
CRMdig v 4.0 ongoing 2022-11-03
CRMdig version 3.2.1 2021-05-07

Parent classes

Class Class namespace Relation defined in Justification View details Edit Delete Comments
D10 Software Execution CRMdig version 4.0 CRMdig version 4.0 0

Ancestor classes

Class Depth Class namespace Via
E1 CRM Entity 8 CIDOC CRM version 7.1.3 D10 - D7 - E11 - E7 - E5 - E4 - E2
E1 CRM Entity 8 CIDOC CRM version 7.1.3 D10 - D7 - E11 - E7 - E5 - E4 - E92
E1 CRM Entity 8 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E63 - E5 - E4 - E2
E1 CRM Entity 8 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E63 - E5 - E4 - E92
E1 CRM Entity 8 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E7 - E5 - E4 - E2
E1 CRM Entity 8 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E7 - E5 - E4 - E92
E2 Temporal Entity 7 CIDOC CRM version 7.1.3 D10 - D7 - E11 - E7 - E5 - E4
E2 Temporal Entity 7 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E63 - E5 - E4
E2 Temporal Entity 7 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E7 - E5 - E4
E4 Period 6 CIDOC CRM version 7.1.3 D10 - D7 - E11 - E7 - E5
E4 Period 6 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E63 - E5
E4 Period 6 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E7 - E5
E5 Event 5 CIDOC CRM version 7.1.3 D10 - D7 - E11 - E7
E5 Event 5 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E63
E5 Event 5 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E7
E7 Activity 4 CIDOC CRM version 7.1.3 D10 - D7 - E11
E7 Activity 4 CIDOC CRM version 7.1.3 D10 - D7 - E65
E11 Modification 3 CIDOC CRM version 7.1.3 D10 - D7
E63 Beginning of Existence 4 CIDOC CRM version 7.1.3 D10 - D7 - E65
E65 Creation 3 CIDOC CRM version 7.1.3 D10 - D7
E92 Spacetime Volume 7 CIDOC CRM version 7.1.3 D10 - D7 - E11 - E7 - E5 - E4
E92 Spacetime Volume 7 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E63 - E5 - E4
E92 Spacetime Volume 7 CIDOC CRM version 7.1.3 D10 - D7 - E65 - E7 - E5 - E4
Thing 9 OntoME internal model - active version D10 - D7 - E11 - E7 - E5 - E4 - E2 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E11 - E7 - E5 - E4 - E92 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E63 - E5 - E4 - E2 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E63 - E5 - E4 - E92 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E7 - E5 - E4 - E2 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E7 - E5 - E4 - E92 - E1
D7 Digital Machine Event 2 CRMdig version 4.0 D10

Child and descendant classes

Class Depth Class namespace Via

Related classes

Relation Class Class namespace Justification Relation defined in View details Edit Delete Comments

Outgoing properties (this class is domain)

Domain Property identifier Range Namespace
D3 Formal Derivation crmdig:L21 used as derivation source (was derivation source for) D1 Digital Object CRMdig version 4.0
D3 Formal Derivation crmdig:L22 created derivative (was derivative created by) D1 Digital Object CRMdig version 4.0

Outgoing properties (inherited from ancestors)

Domain Property identifier Range Namespace
D3 Formal Derivation (is a E1 CRM Entity ) crm:P1 is identified by (identifies) E41 Appellation CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E1 CRM Entity ) crm:P2 has type (is type of) E55 Type CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E1 CRM Entity ) crm:P3 has note E62 String CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E1 CRM Entity ) crm:P48 has preferred identifier (is preferred identifier of) E42 Identifier CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E1 CRM Entity ) crm:P137 exemplifies (is exemplified by) E55 Type CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E1 CRM Entity ) crmdig:L54 is same-as (is same-as) E1 CRM Entity CRMdig version 4.0
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P4 has time-span (is time-span of) E52 Time-Span CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P173 starts before or with the end of (ends after or with the start of) E2 Temporal Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P174 starts before the end of (ends after the start of) E2 Temporal Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P175 starts before or with the start of (starts after or with the start of) E2 Temporal Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P176 starts before the start of (starts after the start of) E2 Temporal Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P182 ends before or with the start of (starts after or with the end of) E2 Temporal Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P183 ends before the start of (starts after the end of) E2 Temporal Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P184 ends before or with the end of (ends with or after the end of) E2 Temporal Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E2 Temporal Entity ) crm:P185 ends before the end of (ends after the end of) E2 Temporal Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E4 Period ) crm:P7 took place at (witnessed) E53 Place CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E4 Period ) crm:P8 took place on or within (witnessed) E18 Physical Thing CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E4 Period ) crm:P9 consists of (forms part of) E4 Period CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E5 Event ) crm:P11 had participant (participated in) E39 Actor CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E5 Event ) crm:P12 occurred in the presence of (was present at) E77 Persistent Item CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P14 carried out by (performed) E39 Actor CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P15 was influenced by (influenced) E1 CRM Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P16 used specific object (was used for) E70 Thing CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P17 was motivated by (motivated) E1 CRM Entity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P19 was intended use of (was made for) E71 Human-Made Thing CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P20 had specific purpose (was purpose of) E5 Event CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P21 had general purpose (was purpose of) E55 Type CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P32 used general technique (was technique of) E55 Type CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P33 used specific technique (was used by) E29 Design or Procedure CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P125 used object of type (was type of object used in) E55 Type CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E7 Activity ) crm:P134 continued (was continued by) E7 Activity CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E11 Modification ) crm:P31 has modified (was modified by) E18 Physical Thing CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E11 Modification ) crm:P126 employed (was employed in) E57 Material CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E63 Beginning of Existence ) crm:P92 brought into existence (was brought into existence by) E77 Persistent Item CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E65 Creation ) crm:P94 has created (was created by) E28 Conceptual Object CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E92 Spacetime Volume ) crm:P10 falls within (contains) E92 Spacetime Volume CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E92 Spacetime Volume ) crm:P132 spatiotemporally overlaps with E92 Spacetime Volume CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E92 Spacetime Volume ) crm:P133 is spatiotemporally separated from E92 Spacetime Volume CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E92 Spacetime Volume ) crm:P160 has temporal projection (is temporal projection of) E52 Time-Span CIDOC CRM version 7.1.3
D3 Formal Derivation (is a E92 Spacetime Volume ) crm:P161 has spatial projection (is spatial projection of) E53 Place CIDOC CRM version 7.1.3
D3 Formal Derivation (is a D7 Digital Machine Event ) crmdig:L10 had input (was input of) D1 Digital Object CRMdig version 4.0
D3 Formal Derivation (is a D7 Digital Machine Event ) crmdig:L11 had output (was output of) D1 Digital Object CRMdig version 4.0
D3 Formal Derivation (is a D7 Digital Machine Event ) crmdig:L12 happened on device (was device for) D8 Digital Device CRMdig version 4.0
D3 Formal Derivation (is a D7 Digital Machine Event ) crmdig:L18 has modified (was modified by) D13 Digital Information Carrier CRMdig version 4.0
D3 Formal Derivation (is a D7 Digital Machine Event ) crmdig:L23 used software or firmware (was software or firmware used by) D14 Software CRMdig version 4.0
D3 Formal Derivation (is a D10 Software Execution ) crmdig:L2 used as source (was source for) D1 Digital Object CRMdig version 4.0
D3 Formal Derivation (is a D10 Software Execution ) crmdig:L13 used parameters (parameters for) D1 Digital Object CRMdig version 4.0
D3 Formal Derivation (is a D10 Software Execution ) crmdig:L24 created logfile (was logfile created by) D1 Digital Object CRMdig version 4.0

Incoming properties (this class is range)

Domain Property identifier Range Namespace

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E1 CRM Entity crmdig:L54 is same-as (is same-as) D3 Formal Derivation (is a E1) CRMdig version 4.0
E2 Temporal Entity crm:P173 starts before or with the end of (ends after or with the start of) D3 Formal Derivation (is a E2) CIDOC CRM version 7.1.3
E2 Temporal Entity crm:P174 starts before the end of (ends after the start of) D3 Formal Derivation (is a E2) CIDOC CRM version 7.1.3
E2 Temporal Entity crm:P175 starts before or with the start of (starts after or with the start of) D3 Formal Derivation (is a E2) CIDOC CRM version 7.1.3
E2 Temporal Entity crm:P176 starts before the start of (starts after the start of) D3 Formal Derivation (is a E2) CIDOC CRM version 7.1.3
E2 Temporal Entity crm:P182 ends before or with the start of (starts after or with the end of) D3 Formal Derivation (is a E2) CIDOC CRM version 7.1.3
E2 Temporal Entity crm:P183 ends before the start of (starts after the end of) D3 Formal Derivation (is a E2) CIDOC CRM version 7.1.3
E2 Temporal Entity crm:P184 ends before or with the end of (ends with or after the end of) D3 Formal Derivation (is a E2) CIDOC CRM version 7.1.3
E2 Temporal Entity crm:P185 ends before the end of (ends after the end of) D3 Formal Derivation (is a E2) CIDOC CRM version 7.1.3
E4 Period crm:P9 consists of (forms part of) D3 Formal Derivation (is a E4) CIDOC CRM version 7.1.3
E7 Activity crm:P134 continued (was continued by) D3 Formal Derivation (is a E7) CIDOC CRM version 7.1.3
E7 Activity crm:P15 was influenced by (influenced) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E7 Activity crm:P17 was motivated by (motivated) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E7 Activity crm:P20 had specific purpose (was purpose of) D3 Formal Derivation (is a E5) CIDOC CRM version 7.1.3
E13 Attribute Assignment crm:P140 assigned attribute to (was attributed by) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E13 Attribute Assignment crm:P141 assigned (was assigned by) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E17 Type Assignment crm:P41 classified (was classified by) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E18 Physical Thing crm:P196 defines (is defined by) D3 Formal Derivation (is a E92) CIDOC CRM version 7.1.3
E24 Physical Human-Made Thing crm:P62 depicts (is depicted by) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E31 Document crm:P70 documents (is documented in) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E32 Authority Document crm:P71 lists (is listed in) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E36 Visual Item crm:P138 represents (has representation) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E83 Type Creation crm:P136 was based on (supported type creation) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E89 Propositional Object crm:P129 is about (is subject of) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E89 Propositional Object crm:P67 refers to (is referred to by) D3 Formal Derivation (is a E1) CIDOC CRM version 7.1.3
E92 Spacetime Volume crm:P10 falls within (contains) D3 Formal Derivation (is a E92) CIDOC CRM version 7.1.3
E92 Spacetime Volume crm:P132 spatiotemporally overlaps with D3 Formal Derivation (is a E92) CIDOC CRM version 7.1.3
E92 Spacetime Volume crm:P133 is spatiotemporally separated from D3 Formal Derivation (is a E92) CIDOC CRM version 7.1.3
E93 Presence crm:P166 was a presence of (had presence) D3 Formal Derivation (is a E92) CIDOC CRM version 7.1.3
D2 Digitization Process crmdig:L60 documents D3 Formal Derivation (is a E1) CRMdig version 4.0
D29 Annotation Object crmdig:L43 annotates (is annotated by) D3 Formal Derivation (is a E1) CRMdig version 4.0
E95 Spacetime Primitive crm:P169 defines spacetime volume (spacetime volume is defined by) D3 Formal Derivation (is a E92) CIDOC CRM version 7.1.3

Profiles using this class

Label Version Status Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments