Historical Hierarchical Territories
type: Ontology
version IRI: https://w3id.org/HHT/1.1
imports: geosparql
imports: http://www.w3.org/2006/time#2016
imports: org#
license: http://creativecommons.org/licenses/by/4.0/
creator: Nathalie Aussenac-Gilles
creator: Nathalie Hernandez
creator: William Charles
issued: 2023-12-01
preferred namespace prefix: hht
preferred namespace uri: https://w3id.org/HHT#
comment: The notion of territory plays a major role in human and social sciences. In an historical context, most approaches are irrelevant as they rely on geometric data, which is not available. In order to represent historical territories,we conceived the HHT ontology (Hierarchical Historical Territory) to represent hierarchical historical territorial divisions, without having to know their geometry. This approach relies on a notion of building blocks to replace polygonal geometry.
prior version: https://w3id.org/HHT/1.0
version info: 1.1

joined with
type: ObjectProperty
sub property of: originalOrganization
sub property of: resultingOrganization
range: Group
comment: This property identifies the instance of E74 Group of which an instance of E39 Actor becomes a member through an instance of E85 Joining. Although a joining activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which becoming member of one Group implies becoming member of another Group as well. Joining events allow for describing people becoming members of a group with a more detailed path from E74 Group through, P144i gained member by, E85 Joining, P143 joined, E39 Actor, compared to the shortcut offered by P107 has current or former member (is current or former member of). The property P144.1 kind of member can be used to specify the type of membership or the role the member has in the group.
label: verband mit @de
label: åŠ å…¥ @zh

separated from
type: ObjectProperty
sub property of: originalOrganization
sub property of: resultingOrganization
range: Group
comment: This property identifies the instance of E74 Group an instance of E39 Actor leaves through an instance of E86 Leaving. Although a leaving activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which leaving one E74 Group implies leaving another E74 Group as well.
label: entließ von @de
label: 脱离 @zh

was formed from
type: ObjectProperty
sub property of: originalOrganization
sub property of: resultingOrganization
range: Group
comment: This property associates an instance of E66 Formation with an instance of E74 Group from which the new group was formed preserving a sense of continuity such as in mission, membership or tradition.

has formed
type: ObjectProperty
sub property of: resultingOrganization
range: Group
comment: This property associates the instance of E66 Formation with the instance of E74 Group that it founded.
label: a fondé @fr
label: formou @pt
label: hat gebildet @de
label: σχημάτισε @el
label: ÑÑ„Ð¾Ñ€Ð¼Ð¸Ñ€Ð¾Ð²Ð°Ð» @ru
label: å·²ç»ç»„æˆ @zh

dissolved
type: ObjectProperty
sub property of: originalOrganization
range: Group
comment: This property associates the instance of E68 Dissolution with the instance of E74 Group that it disbanded.
label: a dissous @fr
label: dissolveu @pt
label: löste auf @de
label: διέλυσε @el
label: Ñ€Ð°ÑÐ¿ÑƒÑÑ‚Ð¸Ð» @ru
label: 解散了 @zh

attachedTo
type: ObjectProperty
inverse of: hasActor
domain: Actor
range: TerritoryVersion
comment: Denotes an interaction with a territory.

complementaryTo
type: ObjectProperty
type: FunctionalProperty
domain: AreaComplementary
range: TerritoryVersion
comment: Denotes the area to which a AreaComplementary is the complementary.

complementaryWithRegardOf
type: ObjectProperty
domain: AreaComplementary
range: TerritoryVersion
comment: Denotes the area regarding which the AreaComplementary is supposed to denote.

contains
type: ObjectProperty
type: AsymmetricProperty
type: TransitiveProperty
type: ReflexiveProperty
inverse of: isLocatedIn
domain: TerritoryVersion
range: TerritoryVersion
property chain axiom: operativeContent
property chain axiom: unionOf
comment: Denotes a version geometrically included inside another unit version.

defines
type: ObjectProperty
sub property of: attachedTo
inverse of: isDefinedBy
range: UnitVersion
comment: Denotes the units an actor has normalized.

hasActor
type: ObjectProperty
comment: Denotes an Actor impacting a territory.

hasComponent
type: ObjectProperty
domain: BlockGeometry
range: stable block area
comment: Denotes the parts of a BlockGeometry.

hasEquivalentLevel
type: ObjectProperty
type: SymmetricProperty
type: TransitiveProperty
type: ReflexiveProperty
domain: LevelVersion
range: LevelVersion
comment: Denotes the equivalence of levels regarding their rank in the hierarchy they take part in.

hasGeometry
type: ObjectProperty
type: AsymmetricProperty
domain: Class
  union of: AreaComplementary
  union of: TerritoryVersion
range: stable block area
property chain axiom: hasSetGeometry
property chain axiom: hasComponent
comment: Denotes the StableBlockAreas used to describe the geometry.

hasID
type: ObjectProperty
inverse of: isIDOf
domain: Unit
range: outerID
comment: Links a Unit to the outerID object representing its ID in another database.

hasLevel
type: ObjectProperty
inverse of: isLevelOf
domain: HierarchicalCriterion
range: LevelVersion
comment: Denotes that a hierarchy based on Hierarchical Criterion uses a Level version.

hasLevelVersion
type: ObjectProperty
sub property of: hasVersion
domain: Level
range: ElementaryLevelVersion

hasManagedUnitVersion
type: ObjectProperty
sub property of: hasUnitVersion
domain: ManagedUnit
range: ManagedUnitVersion

hasMember
type: ObjectProperty
inverse of: isMemberOf
domain: LevelVersion
range: UnitVersion
comment: Denotes that a Level Version is the level of a Unit Version.

hasResident
type: ObjectProperty
sub property of: hasActor
inverse of: residesIn
comment: Denotes a Person living in a territory.

hasSetGeometry
type: ObjectProperty
type: FunctionalProperty
sub property of: topObjectProperty
domain: TerritoryVersion
range: BlockGeometry
comment: Denotes the geometry as a set of stableBlockAreas with a declared cardinality.

hasSubLevel
type: ObjectProperty
inverse of: hasUpperLevel
domain: LevelVersion
range: LevelVersion
property chain axiom: hasMember
property chain axiom: hasSubUnit
property chain axiom: isMemberOf
comment: Denotes hierarchical superiority of a level version to another.

hasSubUnit
type: ObjectProperty
type: AsymmetricProperty
type: IrreflexiveProperty
sub property of: contains
inverse of: hasUpperUnit
domain: UnitVersion
range: UnitVersion
comment: Denotes the hierarchical direct lower territory.

hasTerritoryVersion
type: ObjectProperty
sub property of: hasVersion
domain: Territory
range: TerritoryVersion

hasUnitVersion
type: ObjectProperty
sub property of: hasTerritoryVersion
domain: Unit
range: UnitVersion

hasUpperLevel
type: ObjectProperty
domain: LevelVersion
range: LevelVersion
property chain axiom: hasMember
property chain axiom: hasUpperUnit
property chain axiom: isMemberOf
comment: Denotes hierarchical inferiority of a level version to another.

hasUpperUnit
type: ObjectProperty
sub property of: isLocatedIn
domain: UnitVersion
range: UnitVersion
comment: Denotes the hierarchical direct upper territory.

hasVersion
type: ObjectProperty
range: Version
comment: Links any versionable object to its versions. Classes of the object and its version should be coherent (ex : Unit and UnitVersion)

intersectionOf
type: ObjectProperty
domain: AreaIntersection
range: TerritoryVersion
comment: Denotes the areas which are taking part into an AreaIntersection.

isDefinedBy
type: ObjectProperty
sub property of: hasActor
comment: Denotes the actor who normalizes the Unit and integrates it in a territorial division.

isFrom
type: ObjectProperty
domain: outerID
range: IDSource
comment: Denotes the source of an outer ID.

isIDOf
type: ObjectProperty
domain: outerID
range: Unit
comment: Denotes the Unit which is attributed an ID from another database.

isLevelOf
type: ObjectProperty
comment: Denotes the hierarchical Criterion a level version is related to.

isLocatedIn
type: ObjectProperty
type: AsymmetricProperty
type: TransitiveProperty
type: IrreflexiveProperty
comment: Denotes the location of a unit version inside another one.

isManagedBy
type: ObjectProperty
sub property of: hasActor
inverse of: manages
comment: Denotes the actor managing a ManagedUnit.

isMemberOf
type: ObjectProperty
comment: Denotes the level of an UnitVersion.

manages
type: ObjectProperty
sub property of: attachedTo
range: ManagedUnitVersion
comment: Denotes the ManagedUnits which an actor manages.

operativeContent
type: ObjectProperty
type: FunctionalProperty
sub property of: topObjectProperty
domain: TerritoryVersion
range: SetAreaConstruction
comment: Denotes a contains property that points to an Area resulting from a set Operation.

properContains
type: ObjectProperty
sub property of: contains
comment: Denotes a version geometrically strictly included inside another unit version. In most cases, it is equivalent to the contains property, except when a sub territory is coextensive to the subject territory of a triple involving this property, in which case properContains does not apply.

residesIn
type: ObjectProperty
sub property of: attachedTo
comment: Denotes the residence of an actor. It may be its main or secundary residence.

unionOf
type: ObjectProperty
domain: AreaUnion
range: TerritoryVersion
comment: Denotes the areas which are taking part into an AreaUnion.

validityPeriod
type: ObjectProperty
domain: Version
range: Temporal Primitive
comment: Denotes the time interval where the state described by a version is valid.

place is defined by
type: DatatypeProperty
range: Literal
comment: This property associates an instance of E53 Place with an instance of E94 Space Primitive that defines it. Syntactic variants or use of different scripts may result in multiple instances of E94 Space Primitive defining exactly the same place. Transformations between different reference systems always result in new definitions of places approximating each other and not in alternative definitions.

spacetime volume is defined by
type: DatatypeProperty
range: Literal
comment: Scope note for 'P169': This property associates an instance of E95 Spacetime Primitive with the instance of E92 Spacetime Volume it defines.

time is defined by
type: DatatypeProperty
range: Literal
comment: Scope note for 'P170': This property associates an instance of E61 Time Primitive with the instance of E52 Time-Span that constitutes the interpretation of the terms of the time primitive as an extent in absolute, real time. The quantification allows several instances of E61 Time Primitive that are each expressed in different syntactic forms, to define the same instance of E52 Time-Span.

at some place within
type: DatatypeProperty
range: Literal
comment: This property describes the maximum spatial extent within which an instance of E53 Place falls. Since instances of E53 Places may not have precisely known spatial extents, the CIDOC CRM supports statements about maximum spatial extents of instances of E53 Place. This property allows an instance of E53 Place’s maximum spatial extent (i.e., its outer boundary) to be assigned an instance of E94 Space Primitive value. This property is a shortcut of the fully developed path from E53 Place, P89 falls within, E53 Place, P168 place is defined by to E94 Space Primitive through a declarative Place that is not explicitly documented, to a Space Primitive: declarative places are defined in CRMgeo (Doerr and Hiebel 2013).

contains
type: DatatypeProperty
range: Literal
comment: This property describes a minimum spatial extent which is contained within an instance of E53 Place. Since instances of E53 Place may not have precisely known spatial extents, the CIDOC CRM supports statements about minimum spatial extents of instances of E53 Place. This property allows an instance of E53 Places’s minimum spatial extent (i.e., its inner boundary or a point being within a Place) to be assigned an instance of E94 Space Primitive value. This property is a shortcut of the fully developed path from E53 Place, P89i contains, E53 Place, P168 place is defined by to E94 Space Primitive

has symbolic content
type: DatatypeProperty
sub property of: has note
range: Literal
comment: This property associates an instance of E90 Symbolic Object with a complete, identifying representation of its content in the form of an instance of E62 String. This property only applies to instances of E90 Symbolic Object that can be represented completely in this form. The representation may be more specific than the symbolic level defining the identity condition of the represented. This depends on the type of the symbolic object represented. For instance, if a name has type "Modern Greek character sequence", it may be represented in a loss-free Latin transcription, meaning however the sequence of Greek letters. As another example, if the represented object has type "English words sequence", American English or British English spelling variants may be chosen to represent the English word "colour" without defining a different symbolic object. If a name has type "European traditional name", no particular string may define its content.

has note
type: DatatypeProperty
range: Literal
comment: This property is a container for all informal descriptions about an object that have not been expressed in terms of CIDOC CRM constructs. In particular, it captures the characterisation of the item itself, its internal structures, appearance etc. Like property P2 has type (is type of), this property is a consequence of the restricted focus of the CIDOC CRM. The aim is not to capture, in a structured form, everything that can be said about an item; indeed, the CIDOC CRM formalism is not regarded as sufficient to express everything that can be said. Good practice requires use of distinct note fields for different aspects of a characterisation. The P3.1 has type property of P3 has note allows differentiation of specific notes, e.g., “constructionâ€, “decorationâ€ etc. An item may have many notes, but a note is attached to a specific item.
label: a pour note @fr
label: hat Anmerkung @de
label: tem nota @pt
label: έχει επεξήγηση @el
label: имеет примечание @ru
label: 有注释 @zh

has number of parts
type: DatatypeProperty
range: Literal
comment: This property documents the number of parts, an instance of E60 Number, of which an instance of E19 Physical Object is composed. This may be used as a method of checking inventory counts with regard to aggregate or collective objects. What constitutes a part or component depends on the context and requirements of the documentation. Normally, the parts documented in this way would not be considered as worthy of individual attention. For a more complete description, objects may be decomposed into their components and constituents using P46 is composed of (forms parts of) and P45 consists of (is incorporated in). This allows each element to be described individually.
label: a pour nombre de parties @fr
label: hat Anzahl Teile @de
label: tem número de partes @pt
label: έχει Î±ÏÎ¹Î¸Î¼ÏŒ Î¼ÎµÏÏŽÎ½ @el
label: имеет Ñ‡Ð¸ÑÐ»Ð¾ Ñ‡Ð°ÑÑ‚ÐµÐ¹ @ru
label: æœ‰ç»„æˆéƒ¨åˆ†æ•° @zh

beginning is qualified by
type: DatatypeProperty
sub property of: has note
range: Literal
comment: This property associates an instance of E52 Time-Span with a note detailing the scholarly or scientific opinions and justifications about the certainty, precision, sources etc. of its beginning. Such notes may also be used to elaborate arguments about constraints or to give explanations of alternatives.
label: début est qualifié par @fr
label: hat Anfangsbegründung @de
label: início é qualificado por @pt
label: Î±ÏÏ‡Î® Ï€ÏÎ¿ÏƒÎ´Î¹Î¿ÏÎ¯Î¶ÎµÏ„Î±Î¹ από @el
label: начало ограничено @ru
label: èµ·å§‹é™å®š @zh

end is qualified by
type: DatatypeProperty
sub property of: has note
range: Literal
comment: This property associates an instance of E52 Time-Span with a note detailing the scholarly or scientific opinions and justifications about the end of this time-span concerning certainty, precision, sources etc. This property may also be used to describe arguments constraining possible dates and to distinguish reasons for alternative dates.
label: fin est qualifiée par @fr
label: final é qualificado por @pt
label: hat Begründung des Endes @de
label: τέλος Ï€ÏÎ¿ÏƒÎ´Î¹Î¿ÏÎ¯Î¶ÎµÏ„Î±Î¹ από @el
label: конец ограничен @ru
label: ç»“æŸé™å®š @zh

ongoing throughout
type: DatatypeProperty
range: Literal
comment: This property associates an instance of E52 Time-Span with an instance of E61 Time Primitive specifying a minimum period of time covered by it. Since Time-Spans may not have precisely known temporal extents, the CIDOC CRM supports statements about the minimum and maximum temporal extents of Time-Spans. This property allows a Time-Span’s minimum temporal extent (i.e., its inner boundary) to be assigned an E61 Time Primitive value. Time Primitives are treated by the CIDOC CRM as application or system specific date intervals, and are not further analysed. If different sources of evidence justify different minimum extents without contradicting each other, the smallest interval including all these extents will be the best estimate. This should be taken into account for information integration.
label: abrange no mínimo @pt
label: andauernd während @de
label: couvre au moins @fr
label: καθόλη τη Î´Î¹Î¬ÏÎºÎµÎ¹Î± του/της @el
label: Ð´Ð»Ð¸Ñ‚ÑÑ в течение @ru
label: 最短范围是 @zh

end of the begin
type: DatatypeProperty
sub property of: ongoing throughout
range: Literal
label: Ende des Anfangs @de
label: fim do início @pt
label: fin du début @fr
label: τέλος της Î±ÏÏ‡Î®Ï‚ @el
label: конец начала @ru

begin of the end
type: DatatypeProperty
sub property of: ongoing throughout
range: Literal
label: Anfang vom Ende @de
label: começar do fim @pt
label: début de la fin @fr
label: Î±ÏÏ‡Î® του τέλους @el
label: начать в конце @ru

at some time within
type: DatatypeProperty
range: Literal
comment: This property describes the maximum period of time within which an E52 Time-Span falls. Since Time-Spans may not have precisely known temporal extents, the CIDOC CRM supports statements about the minimum and maximum temporal extents of Time-Spans. This property allows a Time-Span’s maximum temporal extent (i.e., its outer boundary) to be assigned an E61 Time Primitive value. Time Primitives are treated by the CIDOC CRM as application or system specific date intervals, and are not further analysed. If different sources of evidence justify different maximum extents without contradicting each other, the resulting intersection of all these extents will be the best estimate. This should be taken into account for information integration.
label: abrange no máximo @pt
label: couvre au plus @fr
label: irgendwann innerhalb von @de
label: κάποτε εντός @el
label: некоторое Ð²Ñ€ÐµÐ¼Ñ в течение @ru
label: 最长范围是 @zh

begin of the begin
type: DatatypeProperty
sub property of: at some time within
range: Literal
label: Anfang des Anfangs @de
label: começar do início @pt
label: début du début @fr
label: Î±ÏÏ‡Î® της Î±ÏÏ‡Î®Ï‚ @el
label: начать Ñ начала @ru

end of the end
type: DatatypeProperty
sub property of: at some time within
range: Literal
label: Ende vom Ende @de
label: fim do fim @pt
label: fin de la fin @fr
label: τέλος του τέλους @el
label: конец конец @ru

has value
type: DatatypeProperty
range: Literal
comment: This property allows an instance of E54 Dimension to be approximated by an instance of E60 Number primitive.
label: a la valeur @fr
label: hat Wert @de
label: tem valor @pt
label: έχει τιμή @el
label: имеет значение @ru
label: 有数值 @zh

has lower value limit
type: DatatypeProperty
sub property of: has value
range: Literal

has upper value limit
type: DatatypeProperty
sub property of: has value
range: Literal

idObardi
type: DatatypeProperty
domain: Unit
range: string
comment: An unique ID used inside the ObARDI project to identify objects.

idValue
type: DatatypeProperty
domain: outerID
range: string
comment: The value of an ID.

is deprecated
type: DatatypeProperty
domain: Version
range: boolean
comment: A boolean, indicating whether a version is deprecated or not. Without any property regarding deprecation, a version is considered as non-deprecated.

operatorCardinality
type: DatatypeProperty
domain: Class
  union of: AreaIntersection
  union of: AreaUnion
range: positiveInteger
comment: Denotes the expected number of areas taking part into the operatively created area.

setCardinality
type: DatatypeProperty
domain: BlockGeometry
range: positiveInteger
comment: Denotes the number of elements of the geometry set described in a BlockGeometry.

Actor
type: Class
comment: This class comprises people, either individually or in groups, who have the potential to perform intentional actions of kinds for which someone may be held responsible.
label: Agent @fr
label: Agente @pt
label: Akteur @de
label: Î”ÏÎ¬ÏƒÏ„Î·Ï‚ @el
label: ÐÐ³ÐµÐ½Ñ‚ @ru
label: å‚ä¸Žè€… @zh

Group
type: Class
subclass of: Actor
comment: This class comprises any gatherings or organizations of human individuals or groups that act collectively or in a similar way due to any form of unifying relationship. In the wider sense this class also comprises official positions which used to be regarded in certain contexts as one actor, independent of the current holder of the office, such as the president of a country. In such cases, it may happen that the group never had more than one member. A joint pseudonym (i.e., a name that seems indicative of an individual but that is actually used as a persona by two or more people) is a particular case of E74 Group. A gathering of people becomes an instance of E74 Group when it exhibits organizational characteristics usually typified by a set of ideas or beliefs held in common, or actions performed together. These might be communication, creating some common artifact, a common purpose such as study, worship, business, sports, etc. Nationality can be modelled as membership in an instance of E74 Group. Married couples and other concepts of family are regarded as particular examples of E74 Group.
label: Groupe @fr
label: Grupo @pt
label: Menschliche Gruppe @de
label: Ομάδα @el
label: Группа @ru
label: 团体 @zh

Interval
type: Class

Area
type: Class
comment: Any object characterised by a geospatial extent.

AreaComplementary
type: Class
subclass of: SetAreaConstruction
subclass of: Class
  intersection of: SetAreaConstruction
  intersection of: Restriction
    on property: complementaryTo
    some values from: TerritoryVersion
  intersection of: Restriction
    on property: complementaryWithRegardOf
    some values from: TerritoryVersion
comment: An area defined as the geometrical complementary of a defined area with regard to another area.

AreaIntersection
type: Class
subclass of: SetAreaConstruction
subclass of: Class
  intersection of: Restriction
    on property: intersectionOf
    some values from: TerritoryVersion
  intersection of: Restriction
    on property: operatorCardinality
    some values from: Datatype
      on datatype: positiveInteger
      with restrictions:
        min inclusive: 1
comment: An area resulting from the geometrical intersection of two areas.

AreaUnion
type: Class
subclass of: SetAreaConstruction
subclass of: Class
  intersection of: Restriction
    on property: unionOf
    some values from: TerritoryVersion
  intersection of: Restriction
    on property: operatorCardinality
    some values from: Datatype
      on datatype: positiveInteger
      with restrictions:
        min inclusive: 1
comment: Area resulting from the geometrical union of several areas.

BlockGeometry
type: Class
subclass of: TimeStableArea
subclass of: Class
  intersection of: Restriction
    on property: hasComponent
    some values from: stable block area
  intersection of: Restriction
    on property: setCardinality
    some values from: Datatype
      on datatype: positiveInteger
      with restrictions:
        min inclusive: 1
comment: A set of stableBlockArea that represents a geometry.

ElementaryLevel
type: Class
equivalent class: Class
  intersection of: Level
  intersection of: Restriction
    on property: hasVersion
    some values from: ElementaryLevelVersion
subclass of: Level
disjoint with: SubElementaryLevel
comment: This subclass of level allows to define which level(s) will be considered to determine the building blocks of the geometry.

ElementaryLevelVersion
type: Class
subclass of: LevelVersion
comment: This subclass of level version allows to define which level(s) will be considered to determine the building blocks of the geometry.

HierarchicalCriterion
type: Class
comment: Concept, principle or nomenclature inducing a hierarchical division of territories.

IDSource
type: Class
comment: This class describes abstractly historical databases from which IDs can be collected, in order to improve reusability of data.

Level
type: Class
type: NamedIndividual
equivalent class: Restriction
  on property: hasVersion
  some values from: LevelVersion
comment: Hierarchical level of a territory.

LevelVersion
type: Class
type: NamedIndividual
subclass of: Version
subclass of: Restriction
  on property: isLevelOf
  some values from: HierarchicalCriterion
comment: Version of a level.

ManagedUnit
type: Class
equivalent class: Class
  intersection of: Unit
  intersection of: Restriction
    on property: hasVersion
    some values from: ManagedUnitVersion
subclass of: Unit
comment: A subclass of Unit to describe Units directly managed by an actor, which often is an institution.

ManagedUnitVersion
type: Class
equivalent class: Class
  intersection of: UnitVersion
  intersection of: Restriction
    on property: isManagedBy
    some values from: Actor
subclass of: UnitVersion
comment: Subtype of UnitVersion that adds the notion of the influence of the actors over it.

NonVoidArea
type: Class
equivalent class: Class
  intersection of: SetAreaConstruction
  intersection of: Class
    union of: Restriction
      on property: hasComponent
      min cardinality: 1
    union of: Restriction
      on property: hasGeometry
      min cardinality: 1
subclass of: SetAreaConstruction
disjoint with: VoidArea
comment: Any Area with an actual extent.

SetAreaConstruction
type: Class
subclass of: TimeStableArea
disjoint union of: NonVoidArea
disjoint union of: VoidArea
comment: A superclass for all areas that result from a classical set operation.

SubElementaryLevel
type: Class
equivalent class: Class
  intersection of: Level
  intersection of: Restriction
    on property: hasVersion
    some values from: SubElementaryLevelVersion
subclass of: Level
comment: A Level that is under an ElementaryLevel. Think typically of Buildings if a city is an ElementaryLevel.

SubElementaryLevelVersion
type: Class
equivalent class: Class
  intersection of: LevelVersion
  intersection of: Class
    union of: Restriction
      on property: hasUpperLevel
      some values from: ElementaryLevelVersion
    union of: Restriction
      on property: hasUpperLevel
      some values from: SubElementaryLevelVersion
subclass of: LevelVersion
comment: A SubLevel subclass used for levels below the Elementary levels.

Temporal Primitive
type: Class
comment: Any marker that could be used as temporal primitive for HHT.

Territory
type: Class
subclass of: Feature
subclass of: Area
comment: Qualifies geographical areas meaningful to a human population. Typically, an area is considered to be meaningful as soon as it has a designation that falls under one of the following characteristics: - A proper name, such as Paris or the Everest Mountain. – An address, such as 417 fifth avenue, New York. – A defined indexing designation, such as Paris third district.

TerritoryVersion
type: Class
subclass of: TimeStableArea
subclass of: Version
comment: Geographical area, which is defined by any human division.

TimeStableArea
type: Class
subclass of: Area
comment: An area which is considered to be stable during its whole existence which can be bounded or not. Typically, as they remain stable, their geometry does not depend on time.

Unit
type: Class
type: NamedIndividual
equivalent class: Class
  intersection of: Territory
  intersection of: Restriction
    on property: hasVersion
    some values from: UnitVersion
subclass of: Territory
comment: A territory normalized by an Actor, often taking part into a territorial hierarchy. Its state is further described using UnitVersion.

UnitVersion
type: Class
type: NamedIndividual
equivalent class: Class
  intersection of: TerritoryVersion
  intersection of: Restriction
    on property: isDefinedBy
    some values from: Actor
subclass of: TerritoryVersion
subclass of: Restriction
  on property: isMemberOf
  some values from: LevelVersion
comment: Time slice representing the state of a unit during a provided time interval. It is considered that the state of a unit is not affected by its upper and lower units, so long as it doesn't change its geometry.

Version
type: Class
subclass of: Restriction
  on property: validityPeriod
  some values from: Temporal Primitive
comment: Time slice representing a temporary state of an object. It is attached to said object, which bears the identity.

VoidArea
type: Class
equivalent class: Class
  intersection of: SetAreaConstruction
  intersection of: Restriction
    on property: hasComponent
    max cardinality: 0
  intersection of: Restriction
    on property: hasGeometry
    max cardinality: 0
subclass of: SetAreaConstruction
comment: An area whose with no extent, meaning its geometrical extent is null.

outerID
type: Class
comment: This class is a reification of an ID data field that differs from intern indexation. It is attached to an IDSource which describes the origin of said ID, and an idValue which corresponds to the actual ID.

stable block area
type: Class
subclass of: TimeStableArea
comment: A block supposed to exist at all times, that is characterized only by its geometrical extent and has not necessarily any particular meaning other than that.

cidoc-crm
version info: RDFs Implementation (September 2022) of CIDOC-CRM 7.1.2