CRMdig 4.0 (DRAFT) / OWL CRMdig 4.0 (DRAFT) (December, 2022) including references to CIDOC-CRM 7.1.2 D1 Digital Object D1 Digital Object Scope note: This class comprises identifiable immaterial items that can be represented as sets of bit sequences, such as data sets, e-texts, images, audio or video items, software, etc., and are documented as single units. Any aggregation of instances of D1 Digital Object into a whole treated as single unit is also regarded as an instance of D1 Digital Object. This means that for instance, the content of a DVD, an XML file on it, and an element of this file, are regarded as distinct instances of D1 Digital Object, mutually related by the P106 is composed of (forms part of) property. A D1 Digital Object does not depend on a specific physical carrier, and it can exist on one or more carriers simultaneously. In First Order Logic: - D1(x) ⇒ E73(x) D2 Digitization Process D2 Digitization Process Scope note: This class comprises events that result in the creation of instances of D9 Data Object that represent the appearance and/or form of an instance of E18 Physical Thing such as paper documents, statues, buildings, paintings, etc. A particular case is the analogue-to-digital conversion of audiovisual material. This class represents the transition from a material thing to an immaterial representation of it. The characteristic subsequent processing steps on digital objects are regarded as instances of D3 Formal Derivation. In First Order Logic: - D2(x) ⇒ D11(x) D3 Formal Derivation 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. In First Order Logic: - D3(x) ⇒ D10(x) D7 Digital Machine Event D7 Digital Machine Event Scope note: This class comprises events that happen on physical digital devices following a human activity that intentionally caused its immediate or delayed initiation and results in the creation of a new instance of D1 Digital Object on behalf of the human actor. The input of a D7 Digital Machine Event may be parameter settings and/or data to be processed. Some D7 Digital Machine Events may form part of a wider E65 Creation event. In this case, all machine output of the partial events is regarded as creation of the overall activity. In First Order Logic: - D7(x) ⇒ E11(x) - D7(x) ⇒ E65(x) D8 Digital Device D8 Digital Device Scope note: This class comprises identifiable material items such as computers, scanners, cameras, etc. that have the capability to process or produce instances of D1 Digital Object. In First Order Logic: - D8(x) ⇒ E22(x) D9 Data Object D9 Data Object Scope note: This class comprises instances of D1 Digital Object that are the direct result of a digital measurement or a formal derivative of it, containing quantitative properties of some physical things or other constellations of matter. In First Order Logic: - D9(x) ⇒ D1(x) - D9(x) ⇒ E54(x) D10 Software Execution D10 Software Execution Scope note: This class comprises events by which a digital device runs a software program or a series of computing operations on a digital object as a single task, which is completely determined by its digital input, the software and the generic properties of the device. In First Order Logic: - D10(x) ⇒ D7(x) D11 Digital Measurement Event D11 Digital Measurement Event Scope note: This class comprises actions measuring physical properties using a digital device, that are determined by a systematic procedure and creates an instance of D9 Data Object, which is stored on an instance of D13 Digital Information Carrier. In contrast to instances of D10 Software Execution, environmental factors have an intended influence on the outcome of an instance of D11 Digital Measurement Event. Measurement devices may include running distinct software, such as the RAW to JPEG conversion in digital cameras. In this case, the event is regarded as instance of both classes, D10 Software Execution and D11 Digital Measurement Event. In First Order Logic: - D11(x) ⇒ D7(x) - D11(x) ⇒ E16(x) D12 Data Transfer Event D12 Data Transfer Event Scope note: This class comprises events that transfer a digital object from one digital carrier to another. Normally, the digital object remains the same. If in general or by observation the transfer implies or has implied some data corruption, the change of the digital objects may be documented distinguishing input and output rather than instantiating the property L14 transferred (was transferred by). In First Order Logic: - D12(x) ⇒ D7(x) D13 Digital Information Carrier D13 Digital Information Carrier Scope note: This class comprises all instances of E84 Information Carrier that are explicitly designed to be used as persistent digital physical carriers of instances of D1 Digital Object. A D13 Digital Information Carrier may or may not contain information, e.g., an empty diskette. In First Order Logic: - D13(x) ⇒ E1(x) D14 Software D14 Software Scope note: This class comprises software codes, computer programs, procedures and functions that are used to operate a system of digital objects. In First Order Logic: - D14(x) ⇒ D1(x) D29 Annotation Object D29 Annotation Object Scope note: This class comprises objects that make propositions about other artefacts. Instances of this class are not the attributes themselves, by which things are annotated, but represent the connection between the concepts related in a proposition, and the activities of creation, modification and deletion. This class is specialized by appropriate subclasses to express more specific relationships between annotated things, such as knowledge object, same as etc. In First Order Logic: - D29(x) ⇒ E89(x) D30 Annotation Event D30 Annotation Event Scope note: This class comprises events that describe the creation of associations (“Annotation Objects”) between objects or areas of objects of the Repository, with other objects or regions or persons, places, events. It is the event that creates the Annotation Object. In First Order Logic: - D30(x) ⇒ E65(x) D35 Area D35 Area Scope note: This class describes a part (of any shape or size) of interest in basically any media object stored in the Object Repository, i.e., a text, an image, a video or a 3D model. It points to content consisting of just a portion or area of a file. In some contexts, however, the area can also point to content represented by an integral (i.e., proper) file. It is equal to the METS AREA element. In First Order Logic: - D35(x) ⇒ D1(x) - D35(x) ⇒ E26(x) L1 digitized L1 digitized Scope note: This property associates an instance of D2 Digitization Process with an instance of E18 Physical Thing which is a material thing. In First Order Logic: - L1(x,y) ⇒ D2(x) - L1(x,y) ⇒ E18(y) - L1(x,y) ⇒ P39(x,y) L1i was digitized by L1i was digitized by Scope note of the inverse property: This property associates an instance of D2 Digitization Process with an instance of E18 Physical Thing which is a material thing. In First Order Logic of the inverse property: - L1(x,y) ⇒ D2(x) - L1(x,y) ⇒ E18(y) - L1(x,y) ⇒ P39(x,y) L2 used as source L2 used as source Scope note: This property associates an instance of D10 Software Execution with an instance of D1 Digital Object which is used as a source, software essential for the performance. In First Order Logic: - L2(x,y) ⇒ D10(x) - L2(x,y) ⇒ D1(y) - L2(x,y) ⇒ L10(x,y) L2i was source for L2i was source for Scope note of the inverse property: This property associates an instance of D10 Software Execution with an instance of D1 Digital Object which is used as a source, software essential for the performance. In First Order Logic of the inverse property: - L2(x,y) ⇒ D10(x) - L2(x,y) ⇒ D1(y) - L2(x,y) ⇒ L10(x,y) L10 had input L10 had input Scope note: This property associates an instance of D7 Digital Machine Event with an instance of D1 Digital Object which is the input used to specify the machine action. In First Order Logic: - L10(x,y) ⇒ D7(x) - L10(x,y) ⇒ D1(y) - L10(x,y) ⇒ P16(x,y) L10i was input of L10i was input of Scope note of the inverse property: This property associates an instance of D7 Digital Machine Event with an instance of D1 Digital Object which is the input used to specify the machine action. In First Order Logic of the inverse property: - L10(x,y) ⇒ D7(x) - L10(x,y) ⇒ D1(y) - L10(x,y) ⇒ P16(x,y) L11 had output L11 had output Scope note: This property associates an instance of D7 Digital Machine Event with an instance of D1 Digital Object which is the output of the activity. In First Order Logic: - L11(x,y) ⇒ D7(x) - L11(x,y) ⇒ D1(y) - L11(x,y) ⇒ P94(x,y) L11i was output of L11i was output of Scope note of the inverse property: This property associates an instance of D7 Digital Machine Event with an instance of D1 Digital Object which is the output of the activity. In First Order Logic of the inverse property: - L11(x,y) ⇒ D7(x) - L11(x,y) ⇒ D1(y) - L11(x,y) ⇒ P94(x,y) L12 happened on device L12 happened on device Scope note: This property associates an instance of D7 Digital Machine Event with an object, the D8 Digital Device, which happened with, e.g a capturing event that happened on/with a digital camera, etc. In First Order Logic: - L12(x,y) ⇒ D7(x) - L12(x,y) ⇒ D8(y) - L12(x,y) ⇒ P12(x,y) L12i was device for L12i was device for Scope note of the inverse property: This property associates an instance of D7 Digital Machine Event with an object, the D8 Digital Device, which happened with, e.g a capturing event that happened on/with a digital camera, etc. In First Order Logic of the inverse property: - L12(x,y) ⇒ D7(x) - L12(x,y) ⇒ D8(y) - L12(x,y) ⇒ P12(x,y) L13 used parameters L13 used parameters Scope note: This property associates an instance of D10 Software Execution with a digital object used as a parameter during the process. In First Order Logic: - L13(x,y) ⇒ D10(x) - L13(x,y) ⇒ D1(y) - L13(x,y) ⇒ L10(x,y) L13i parameters for L13i parameters for Scope note of the inverse property: This property associates an instance of D10 Software Execution with a digital object used as a parameter during the process. In First Order Logic of the inverse property: - L13(x,y) ⇒ D10(x) - L13(x,y) ⇒ D1(y) - L13(x,y) ⇒ L10(x,y) L14 transferred L14 transferred Scope note: This property identifies a digital object transferred by a D12 Data Transfer Event. In First Order Logic: - L14(x,y) ⇒ D12(x) - L14(x,y) ⇒ D1(y) - L14(x,y) ⇒ L10(x,y) L14i was transferred by L14i was transferred by Scope note of the inverse property: This property identifies a digital object transferred by a D12 Data Transfer Event. In First Order Logic of the inverse property: - L14(x,y) ⇒ D12(x) - L14(x,y) ⇒ D1(y) - L14(x,y) ⇒ L10(x,y) L15 has sender L15 has sender Scope note: This property identifies a digital device used as a medium on which data are transferred through a D12 Data Transfer Event. In First Order Logic: - L15(x,y) ⇒ D12(x) - L15(x,y) ⇒ D8(y) - L15(x,y) ⇒ L12(x,y) L15i was sender for L15i was sender for Scope note of the inverse property: This property identifies a digital device used as a medium on which data are transferred through a D12 Data Transfer Event. In First Order Logic of the inverse property: - L15(x,y) ⇒ D12(x) - L15(x,y) ⇒ D8(y) - L15(x,y) ⇒ L12(x,y) L16 has receiver L16 has receiver Scope note: This property identifies a digital device used as a medium to receive data through a D12 Data Transfer Event. In First Order Logic: - L16(x,y) ⇒ D12(x) - L16(x,y) ⇒ D8(y) - L16(x,y) ⇒ L12(x,y) L16i was sender for L16i was sender for Scope note of the inverse property: This property identifies a digital device used as a medium to receive data through a D12 Data Transfer Event. In First Order Logic of the inverse property: - L16(x,y) ⇒ D12(x) - L16(x,y) ⇒ D8(y) - L16(x,y) ⇒ L12(x,y) L17 measured thing of type L17 measured thing of type Scope note: This property associates an instance of D11 Digital Measurement Event with the instance of E55Type of object to which it applied. In First Order Logic: - L17(x,y) ⇒ D11(x) - L17(x,y) ⇒ E55(y) - L17(x,y) ⇒ P125(x,y) L17i was type of thing measured by L17i was type of thing measured by Scope note of the inverse property: This property associates an instance of D11 Digital Measurement Event with the instance of E55Type of object to which it applied. In First Order Logic of the inverse property: - L17(x,y) ⇒ D11(x) - L17(x,y) ⇒ E55(y) - L17(x,y) ⇒ P125(x,y) L18 has modified L18 has modified Scope note: This property identifies a Digital Information Carrier modified in a Digital Machine Event. In First Order Logic: - L18(x,y) ⇒ D7(x) - L18(x,y) ⇒ D13(y) - L18(x,y) ⇒ P31(x,y) L18i was modified by L18i was modified by Scope note of the inverse property: This property identifies a Digital Information Carrier modified in a Digital Machine Event. In First Order Logic of the inverse property: - L18(x,y) ⇒ D7(x) - L18(x,y) ⇒ D13(y) - L18(x,y) ⇒ P31(x,y) L19 stores L19 stores Scope note: This property associates an instance of a D13 Digital Information Carrier with the instance of Digital Object that is stored on it. In First Order Logic: - L19(x,y) ⇒ D13(x) - L19(x,y) ⇒ D1(y) - L19(x,y) ⇒ P128(x,y) L19i is stored on L19i is stored on Scope note of the inverse property: This property associates an instance of a D13 Digital Information Carrier with the instance of Digital Object that is stored on it. In First Order Logic of the inverse property: - L19(x,y) ⇒ D13(x) - L19(x,y) ⇒ D1(y) - L19(x,y) ⇒ P128(x,y) L20 has created L20 has created Scope note: This property identifies a Data Object that came into existence as a result of a D11 Digital Measurement Event. In First Order Logic: - L20(x,y) ⇒ D11(x) - L20(x,y) ⇒ D9(y) - L20(x,y) ⇒ L11(x,y) L20i was created by L20i was created by Scope note of the inverse property: This property identifies a Data Object that came into existence as a result of a D11 Digital Measurement Event. In First Order Logic of the inverse property: - L20(x,y) ⇒ D11(x) - L20(x,y) ⇒ D9(y) - L20(x,y) ⇒ L11(x,y) L21 used as derivation source L21 used as derivation source Scope note: This property associates an instance of a D3 Formal Derivation with the instance of D1 Digital Object that is used as a derivation source. In First Order Logic: - L21(x,y) ⇒ D3(x) - L21(x,y) ⇒ D1(y) - L21(x,y) ⇒ L2(x,y) L21i was derivation source for L21i was derivation source for Scope note of the inverse property: This property associates an instance of a D3 Formal Derivation with the instance of D1 Digital Object that is used as a derivation source. In First Order Logic of the inverse property: - L21(x,y) ⇒ D3(x) - L21(x,y) ⇒ D1(y) - L21(x,y) ⇒ L2(x,y) L22 created derivative L22 created derivative Scope note: This property associates an instance of D3 Formal Derivation with the Digital Object it used to create a version of. In First Order Logic: - L22(x,y) ⇒ D3(x) - L22(x,y) ⇒ D1(y) - L22(x,y) ⇒ L11(x,y) L22i was derivative created by L22i was derivative created by Scope note of the inverse property: This property associates an instance of D3 Formal Derivation with the Digital Object it used to create a version of. In First Order Logic of the inverse property: - L22(x,y) ⇒ D3(x) - L22(x,y) ⇒ D1(y) - L22(x,y) ⇒ L11(x,y) L23 used software or firmware L23 used software or firmware Scope note: This property associates an instance of D7 Digital Machine Event with the instance of D14 Software that had used. In First Order Logic: - L23(x,y) ⇒ D7(x) - L23(x,y) ⇒ D14(y) - L23(x,y) ⇒ P16(x,y) L23i was software or firmware used by L23i was software or firmware used by Scope note of the inverse property: This property associates an instance of D7 Digital Machine Event with the instance of D14 Software that had used. In First Order Logic of the inverse property: - L23(x,y) ⇒ D7(x) - L23(x,y) ⇒ D14(y) - L23(x,y) ⇒ P16(x,y) L24 created logfile L24 created logfile Scope note: This property identifies the logfile that was created by a D10 Software Execution in order to record all the activities in the system. In First Order Logic: - L24(x,y) ⇒ D10(x) - L24(x,y) ⇒ D1(y) - L24(x,y) ⇒ L11(x,y) L24i was logfile created by L24i was logfile created by Scope note of the inverse property: This property identifies the logfile that was created by a D10 Software Execution in order to record all the activities in the system. In First Order Logic of the inverse property: - L24(x,y) ⇒ D10(x) - L24(x,y) ⇒ D1(y) - L24(x,y) ⇒ L11(x,y) L43 annotates L43 annotates Scope note: This property describes the associations between objects or areas of objects of the RI, with other objects or regions or persons, places, events. In First Order Logic: - L43(x,y) ⇒ D29(x) - L43(x,y) ⇒ E1(y) L43i is annotated by L43i is annotated by Scope note of the inverse property: This property describes the associations between objects or areas of objects of the RI, with other objects or regions or persons, places, events. In First Order Logic of the inverse property: - L43(x,y) ⇒ D29(x) - L43(x,y) ⇒ E1(y) L48 created annotation L48 created annotation Scope note: This property identifies the D29 Annotation Object (associations) that came into existence as a result of a D30 Annotation Event. In First Order Logic: - L48(x,y) ⇒ D30(x) - L48(x,y) ⇒ D29(y) - L48(x,y) ⇒ P94(x,y) L48i was annotation created by L48i was annotation created by Scope note of the inverse property: This property identifies the D29 Annotation Object (associations) that came into existence as a result of a D30 Annotation Event. In First Order Logic of the inverse property: - L48(x,y) ⇒ D30(x) - L48(x,y) ⇒ D29(y) - L48(x,y) ⇒ P94(x,y) L49 is primary area of L49 is primary area of Scope note: This property describes the association between a particular area declared in an original digital object. In First Order Logic: - L49(x,y) ⇒ D35(x) - L49(x,y) ⇒ D1(y) - L49(x,y) ⇒ P106(x,y) L49i has primary area L49i has primary area Scope note of the inverse property: This property describes the association between a particular area declared in an original digital object. In First Order Logic of the inverse property: - L49(x,y) ⇒ D35(x) - L49(x,y) ⇒ D1(y) - L49(x,y) ⇒ P106(x,y) L50 is propagated area of L50 is propagated area of Scope note: This property describes the association between an area and the digital object to which it is propagated. In First Order Logic: - L50(x,y) ⇒ D35(x) - L50(x,y) ⇒ D1(y) - L50(x,y) ⇒ P106(x,y) L50i has propagated area L50i has propagated area Scope note of the inverse property: This property describes the association between an area and the digital object to which it is propagated. In First Order Logic of the inverse property: - L50(x,y) ⇒ D35(x) - L50(x,y) ⇒ D1(y) - L50(x,y) ⇒ P106(x,y) L54 is same-as L54 is same-as Scope note: This property describes a non unique identification applied to E1 CRM Entity. In First Order Logic: - L54(x,y) ⇒ E1(x) - L54(x,y) ⇒ E1(y) L54i is same-as L54i is same-as Scope note of the inverse property: This property describes a non unique identification applied to E1 CRM Entity. In First Order Logic of the inverse property: - L54(x,y) ⇒ E1(x) - L54(x,y) ⇒ E1(y) L60 documents L60 documents Scope note: This property describes the CRM Entities documented by instances of Digitization Processes. In First Order Logic: - L60(x,y) ⇒ D2(x) - L60(x,y) ⇒ E1(y) - L60(x,y) ⇒ P140(x,y)