Déclaration des propriétés du CIDOC CRM

Date de création : 2023-11-08

Dernière mise à jour : 2023-12-22

The properties of the CIDOC CRM are comprehensively declared in this section using the following format: Property names are presented as headings in bold face, preceded by unique property identifiers; The line “Domain:” declares the class for which the property is defined; The line “Range:” declares the class to which the property points, or that provides the values for the property; The line “Subproperty of:” is a cross-reference to any superproperties the property may have; The line “Superproperty of:” is a cross-reference to any subproperties the property may have; The line “Quantification:” declares the possible number of occurrences for domain and range class instances for the property. Possible values are: 1:many, many:many, many:1; The line “Scope Note:” contains the textual definition of the concept the property represents; The line “Examples:” contains a bulleted list of examples of instances of this property. If the example is also instance of a subproperty of this property, the unique identifier of the subclass is added in parenthesis. If the example instantiates two properties, the unique identifiers of both properties is added in parenthesis. The line “Examples:” provides illustrative examples showing how the property should be used; The line “In First Order Logic:” expresses the formal constraints of the property in terms of logical axioms in a First Order Logic notation.

Les propriétés du CIDOC CRM sont déclarées ici selon la forme suivante : Les noms de propriété sont présentés comme des titres en gras précédés de l’identifiant unique de la propriété La ligne « Domaine : » déclare la classe pour laquelle la propriété est définie. La ligne « Portée : » déclare la classe vers laquelle la propriété pointe ou celle qui fournit les valeurs de la propriété. La ligne « Sous-propriété de : » est un co-référencement des super-propriétés que peut avoir la propriété. La ligne « Super-propriété de : » est un co-référencement des sous-propriétés que peut avoir la propriété. La ligne « Quantification : » déclare le nombre possible d'occurrences d’instances de la classe de domaine et de la classe de portée pour la propriété (les valeurs possibles sont : « 1 : plusieurs », « plusieurs : plusieurs » et « plusieurs : 1 »). La ligne « Note d’application : » contient la définition textuelle du concept que représente la propriété. La ligne « Exemples : » contient une liste d’exemples d’instances de la propriété qui illustre comment elle devrait être utilisée, de plus : Si l’exemple illustre aussi l’instance d’une sous-propriété de la propriété, l’identifiant unique de cette sous-classe est indiqué entre parenthèses. Si l’exemple illustre l’instanciation de deux propriétés, l’identifiant unique de chacune est indiqué entre parenthèses. La ligne « Logique » exprime les contraintes formelles d'une propriété par des axiomes logiques en utilisant la notation de la logique du premier ordre.

Note de traduction
Références