cif top
type: Ontology
version IRI: cif top
abstract: The top-level of the CIF domain ontology. It tries to ahead to the CIF methods dictionary definition language (DDLm) available on https://github.com/COMCIFS/cif_core.
creator: Casper Welzel Andersen, EPFL
creator: Emanuele Ghedini, University of Bologne
creator: Francesca Lønstad Bleken, SINTEF
creator: James Hester
creator: Jesper Friis, SINTEF
creator: Saulius Gražulis
creator: Stuart Chalk
license: https://creativecommons.org/licenses/by/4.0/legalcode

_dimension
type: AnnotationProperty
example: [3,4]
comment: Correspond to the '_type.dimension' data item.
comment: Size of an Array/Matrix/List expressed as a text string. The text string itself consists of zero or more non-negative integers separated by commas placed within bounding square brackets. Empty square brackets represent a list of unknown size.

_name
type: AnnotationProperty
comment: Name associated with a data item.
range: string
domain: type

_datatype
type: AnnotationProperty
comment: Correspond to the '_type.contents' data item.
comment: Type of CIF data value.

_unit
type: AnnotationProperty
comment: Unit accociated to a data item.
range: string
domain: type

example
type: AnnotationProperty
comment: Illustrative example of how the entity is used.
sub property of: comment

hasSpatialDirectPart
type: ObjectProperty
sub property of: hasSpatialPart
type: InverseFunctionalProperty
type: AsymmetricProperty
type: IrreflexiveProperty
comment: A non-transitive spatial part.
comment: Direct parthood was first introduced in the European Materials & Modelling Ontology (EMMO). It allows to introduce a hierarchy of well-defined levels of granularity.

hasSpatialPart
type: ObjectProperty
type: TransitiveProperty
comment: A part of a whole.
comment: In a 4D mereology, 'hasSpatialPart' is a relation that isolates a proper part that extends itself in time within the overall lifetime of the whole, without covering the full spatial extension of the 4D whole (i.e. is not a temporal part).

hasDateTimeData
type: DatatypeProperty
range: dateTime

hasFloatData
type: DatatypeProperty
sub property of: hasNumericalData
range: double

hasIntegerData
type: DatatypeProperty
sub property of: hasNumericalData
range: integer

hasNumericalData
type: DatatypeProperty
sub property of: topDataProperty

hasSymbolData
type: DatatypeProperty
sub property of: topDataProperty
range: string

hasUriData
type: DatatypeProperty
sub property of: topDataProperty
range: anyURI

Array
type: Class
subclass of: DATA_VALUE
subclass of: Restriction
  on property: hasSpatialPart
  some values from: Single
comment: Ordered set of values of the same type. Operations across arrays are equivalent to operations across elements of the Array.

ByReference
type: Class
subclass of: Text
comment: The contents have the same form as those of the attribute referenced by '_type.contents_referenced_id'.

CATEGORY
type: Class
subclass of: DDL_CONCEPT
comment: A superclass of CIF categories used to categorize data items. Only data items belonging to the same category can be placed in the same table.
alternative label: CIF_CATEGORIZED

CIF
type: Class
comment: the class of all data represented using the CIF dictionaries.

CIF_DATA
type: Class
subclass of: CIF
subclass of: Restriction
  on property: hasSpatialDirectPart
  some values from: CIF_DATA_BLOCK
comment: A class representing the content of a CIF file.

CIF_DATA_BLOCK
type: Class
subclass of: CIF
subclass of: Restriction
  on property: hasSpatialDirectPart
  some values from: TABLE
comment: A class representing a data block in a CIF file.

COLUMN
type: Class
subclass of: DATA_ITEMS
subclass of: Restriction
  on property: hasSpatialDirectPart
  some values from: DATA_VALUE

Code
type: Class
subclass of: Single
subclass of: Restriction
  on property: hasSymbolData
  qualified cardinality: 1
  on data range: string
comment: Case-insensitive sequence of CIF2 characters containing no ASCII whitespace.

Complex
type: Class
subclass of: Single
subclass of: Restriction
  on property: hasSpatialDirectPart
  qualified cardinality: 1
  on class: Imag
subclass of: Restriction
  on property: hasSpatialDirectPart
  qualified cardinality: 1
  on class: Real
comment: A complex number.

DATA_ITEMS
type: Class
subclass of: DDL_CONCEPT
comment: A row, column or function in a table.

DATA_VALUE
type: Class
subclass of: DDL_CONCEPT
comment: Data items correspond to a type. Its individuals are the actual data strings or numbers.
alternative label: _type

DDL_CONCEPT
type: Class
subclass of: CIF
comment: The class of concepts defined in the dictionary definition language.

Date
type: Class
subclass of: Datetime
comment: ISO standard date format <yyyy>-<mm>- .
deprecated: Use DateTime for all new dictionaries.

Datetime
type: Class
subclass of: Single
subclass of: Restriction
  on property: hasDateTimeData
  qualified cardinality: 1
  on data range: dateTime
comment: A timestamp. Text formats must use date-time or full-date productions of RFC 3339 ABNF.

Dimension
type: Class
subclass of: Text
comment: Size of an Array/Matrix/List expressed as a text string. The text string itself consists of zero or more non-negative integers separated by commas placed within bounding square brackets. Empty square brackets represent a list of unknown size.

Imag
type: Class
subclass of: Real
comment: Floating-point imaginary number.

Implied
type: Class
subclass of: Single
comment: Implied by the context of the attribute.

Integer
type: Class
subclass of: Single
subclass of: Restriction
  on property: hasIntegerData
  qualified cardinality: 1
  on data range: integer
comment: Positive or negative integer number.

List
type: Class
subclass of: DATA_VALUE
subclass of: Restriction
  on property: hasSpatialDirectPart
  some values from: Single
comment: Ordered set of values. Elements need not be of same contents type.

Matrix
type: Class
subclass of: DATA_VALUE
subclass of: Restriction
  on property: hasSpatialPart
  some values from: Single
comment: Ordered set of numerical values for a tensor. Tensor operations such as dot and cross products, are valid cross matrix objects. A matrix with a single dimension is interpreted as a row or column vector as required.

Name
type: Class
subclass of: Code
comment: Case-insensitive sequence of ASCII alpha-numeric characters or underscore.

ROW
type: Class
subclass of: DATA_ITEMS
subclass of: Restriction
  on property: hasSpatialDirectPart
  some values from: DATA_VALUE
comment: Represents a single row in a table with data items as direct parts.

Range
type: Class
subclass of: Single
subclass of: Restriction
  on property: hasSpatialDirectPart
  qualified cardinality: 2
  on class: Real
comment: Inclusive range of numerical values min:max.

Real
type: Class
subclass of: Single
subclass of: Restriction
  on property: hasFloatData
  qualified cardinality: 1
  on data range: double
comment: Floating-point real number.

Single
type: Class
subclass of: DATA_VALUE
comment: Single value.

Symop
type: Class
subclass of: Text
comment: A string composed of an integer optionally followed by an underscore or space and three or more digits.

TABLE
type: Class
subclass of: DDL_CONCEPT
subclass of: Restriction
  on property: hasSpatialDirectPart
  some values from: ROW
example: Syntactically a table instance in a CIF file may be written as loop_ _space_group_symop_id _space_group_symop_operation_xyz 1 x,y,z 2 -x,-y,-z 3 -x,1/2+y,1/2-z 4 x,1/2-y,1/2+z but the actual TABLE individual is just the data rows: 1 x,y,z 2 -x,-y,-z 3 -x,1/2+y,1/2-z 4 x,1/2-y,1/2+z
comment: Represent a table with rows as spatial direct parts.
comment: The syntax of individual tables starts with the 'loop_' keyword followed by the name of the data items and then the actual data.

Table
type: Class
subclass of: DATA_VALUE
subclass of: Restriction
  on property: hasSpatialPart
  some values from: Single
comment: An unordered set of id:value elements.

Tag
type: Class
subclass of: Code
comment: Case-insensitive CIF2 character sequence with leading underscore and no ASCII whitespace.

Text
type: Class
subclass of: Single
subclass of: Restriction
  on property: hasSymbolData
  qualified cardinality: 1
  on data range: string
comment: Case-sensitive sequence of CIF2 characters.

Uri
type: Class
subclass of: Single
subclass of: Restriction
  on property: hasUriData
  qualified cardinality: 1
  on data range: anyURI
comment: Uniform Resource Identifier reference as defined in RFC 3986 Section 4.1.

Version
type: Class
subclass of: Text
comment: Version digit string of the form "<major>.<version>.<update>".