@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @prefix skos: . @base . rdf:type owl:Ontology ; owl:versionIRI ; """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."""@en ; "Casper Welzel Andersen, EPFL"@en , "Emanuele Ghedini, University of Bologne"@en , "Francesca Lønstad Bleken, SINTEF"@en , "James Hester"@en , "Jesper Friis, SINTEF"@en , "Saulius Gražulis"@en , "Stuart Chalk"@en ; "https://creativecommons.org/licenses/by/4.0/legalcode" . ################################################################# # Annotation properties ################################################################# ### http://emmo.info/domain-crystallography/cif_top#_dimension :_dimension rdf:type owl:AnnotationProperty ; :example "[3,4]"@en ; rdfs:comment "Correspond to the '_type.dimension' data item."@en , "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."@en ; skos:prefLabel "_dimension"@en . ### http://emmo.info/domain-crystallography/cif_top#_name :_name rdf:type owl:AnnotationProperty ; rdfs:comment "Name associated with a data item."@en ; skos:prefLabel "_name"@en ; rdfs:range xsd:string ; rdfs:domain . ### http://emmo.info/domain-crystallography/cif_top#_type :_type rdf:type owl:AnnotationProperty ; rdfs:comment "Correspond to the '_type.contents' data item."@en , "Type of CIF data value."@en ; skos:prefLabel "_datatype"@en . ### http://emmo.info/domain-crystallography/cif_top#_unit :_unit rdf:type owl:AnnotationProperty ; rdfs:comment "Unit accociated to a data item."@en ; skos:prefLabel "_unit"@en ; rdfs:range xsd:string ; rdfs:domain . ### http://emmo.info/domain-crystallography/cif_top#example :example rdf:type owl:AnnotationProperty ; rdfs:comment "Illustrative example of how the entity is used."@en ; skos:prefLabel "example"@en ; rdfs:subPropertyOf rdfs:comment . ### http://purl.org/dc/terms/abstract rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/contributor rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/creator rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/license rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#altLabel skos:altLabel rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf rdfs:label . ### http://www.w3.org/2004/02/skos/core#prefLabel skos:prefLabel rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf rdfs:label . ################################################################# # Object Properties ################################################################# ### http://emmo.info/domain-crystallography/cif_top#hasSpatialDirectPart :hasSpatialDirectPart rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :hasSpatialPart ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:comment "A non-transitive spatial part."@en , "Direct parthood was first introduced in the European Materials & Modelling Ontology (EMMO). It allows to introduce a hierarchy of well-defined levels of granularity."@en ; skos:prefLabel "hasSpatialDirectPart"@en . ### http://emmo.info/domain-crystallography/cif_top#hasSpatialPart :hasSpatialPart rdf:type owl:ObjectProperty , owl:TransitiveProperty ; rdfs:comment "A part of a whole."@en , "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)."@en ; skos:prefLabel "hasSpatialPart"@en . ################################################################# # Data properties ################################################################# ### http://emmo.info/domain-crystallography/cif_top#hasDateTimeData :hasDateTimeData rdf:type owl:DatatypeProperty ; rdfs:range xsd:dateTime ; skos:prefLabel "hasDateTimeData"@en . ### http://emmo.info/domain-crystallography/cif_top#hasFloatData :hasFloatData rdf:type owl:DatatypeProperty ; rdfs:subPropertyOf :hasNumericalData ; rdfs:range xsd:double ; skos:prefLabel "hasFloatData"@en . ### http://emmo.info/domain-crystallography/cif_top#hasIntegerData :hasIntegerData rdf:type owl:DatatypeProperty ; rdfs:subPropertyOf :hasNumericalData ; rdfs:range xsd:integer ; skos:prefLabel "hasIntegerData"@en . ### http://emmo.info/domain-crystallography/cif_top#hasNumericalData :hasNumericalData rdf:type owl:DatatypeProperty ; rdfs:subPropertyOf owl:topDataProperty ; skos:prefLabel "hasNumericalData"@en . ### http://emmo.info/domain-crystallography/cif_top#hasSymbolData :hasSymbolData rdf:type owl:DatatypeProperty ; rdfs:subPropertyOf owl:topDataProperty ; rdfs:range xsd:string ; skos:prefLabel "hasSymbolData"@en . ### http://emmo.info/domain-crystallography/cif_top#hasUriData :hasUriData rdf:type owl:DatatypeProperty ; rdfs:subPropertyOf owl:topDataProperty ; rdfs:range xsd:anyURI ; skos:prefLabel "hasUriData"@en . ################################################################# # Classes ################################################################# ### http://emmo.info/domain-crystallography/cif_top#Array :Array rdf:type owl:Class ; rdfs:subClassOf :DATA_VALUE , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialPart ; owl:someValuesFrom :Single ] ; rdfs:comment "Ordered set of values of the same type. Operations across arrays are equivalent to operations across elements of the Array."@en ; skos:prefLabel "Array"@en . ### http://emmo.info/domain-crystallography/cif_top#ByReference :ByReference rdf:type owl:Class ; rdfs:subClassOf :Text ; rdfs:comment "The contents have the same form as those of the attribute referenced by '_type.contents_referenced_id'."@en ; skos:prefLabel "ByReference"@en . ### http://emmo.info/domain-crystallography/cif_top#CATEGORY :CATEGORY rdf:type owl:Class ; rdfs:subClassOf :DDL_CONCEPT ; rdfs: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."""@en ; skos:altLabel "CIF_CATEGORIZED"@en ; skos:prefLabel "CATEGORY"@en . ### http://emmo.info/domain-crystallography/cif_top#CIF :CIF rdf:type owl:Class ; rdfs:comment "the class of all data represented using the CIF dictionaries."@en ; skos:prefLabel "CIF"@en . ### http://emmo.info/domain-crystallography/cif_top#CIF_DATA :CIF_DATA rdf:type owl:Class ; rdfs:subClassOf :CIF , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:someValuesFrom :CIF_DATA_BLOCK ] ; rdfs:comment "A class representing the content of a CIF file."@en ; skos:prefLabel "CIF_DATA"@en . ### http://emmo.info/domain-crystallography/cif_top#CIF_DATA_BLOCK :CIF_DATA_BLOCK rdf:type owl:Class ; rdfs:subClassOf :CIF , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:someValuesFrom :TABLE ] ; rdfs:comment "A class representing a data block in a CIF file."@en ; skos:prefLabel "CIF_DATA_BLOCK"@en . ### http://emmo.info/domain-crystallography/cif_top#COLUMN :COLUMN rdf:type owl:Class ; rdfs:subClassOf :DATA_ITEMS , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:someValuesFrom :DATA_VALUE ] ; skos:prefLabel "COLUMN"@en . ### http://emmo.info/domain-crystallography/cif_top#Code :Code rdf:type owl:Class ; rdfs:subClassOf :Single , [ rdf:type owl:Restriction ; owl:onProperty :hasSymbolData ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; rdfs:comment "Case-insensitive sequence of CIF2 characters containing no ASCII whitespace."@en ; skos:prefLabel "Code"@en . ### http://emmo.info/domain-crystallography/cif_top#Complex :Complex rdf:type owl:Class ; rdfs:subClassOf :Single , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Imag ] , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Real ] ; rdfs:comment "A complex number."@en ; skos:prefLabel "Complex"@en . ### http://emmo.info/domain-crystallography/cif_top#DATA_ITEMS :DATA_ITEMS rdf:type owl:Class ; rdfs:subClassOf :DDL_CONCEPT ; rdfs:comment "A row, column or function in a table."@en ; skos:prefLabel "DATA_ITEMS"@en . ### http://emmo.info/domain-crystallography/cif_top#DATA_VALUE :DATA_VALUE rdf:type owl:Class ; rdfs:subClassOf :DDL_CONCEPT ; rdfs:comment "Data items correspond to a type. Its individuals are the actual data strings or numbers."@en ; skos:altLabel "_type"@en ; skos:prefLabel "DATA_VALUE"@en . ### http://emmo.info/domain-crystallography/cif_top#DDL_CONCEPT :DDL_CONCEPT rdf:type owl:Class ; rdfs:subClassOf :CIF ; rdfs:comment "The class of concepts defined in the dictionary definition language."@en ; skos:prefLabel "DDL_CONCEPT"@en . ### http://emmo.info/domain-crystallography/cif_top#Date :Date rdf:type owl:Class ; rdfs:subClassOf :Datetime ; rdfs:comment "ISO standard date format --
."@en ; owl:deprecated "Use DateTime for all new dictionaries."@en ; skos:prefLabel "Date"@en . ### http://emmo.info/domain-crystallography/cif_top#Datetime :Datetime rdf:type owl:Class ; rdfs:subClassOf :Single , [ rdf:type owl:Restriction ; owl:onProperty :hasDateTimeData ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:dateTime ] ; rdfs:comment "A timestamp. Text formats must use date-time or full-date productions of RFC 3339 ABNF."@en ; skos:prefLabel "Datetime"@en . ### http://emmo.info/domain-crystallography/cif_top#Dimension :Dimension rdf:type owl:Class ; rdfs:subClassOf :Text ; rdfs: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."""@en ; skos:prefLabel "Dimension"@en . ### http://emmo.info/domain-crystallography/cif_top#Imag :Imag rdf:type owl:Class ; rdfs:subClassOf :Real ; rdfs:comment "Floating-point imaginary number."@en ; skos:prefLabel "Imag"@en . ### http://emmo.info/domain-crystallography/cif_top#Implied :Implied rdf:type owl:Class ; rdfs:subClassOf :Single ; rdfs:comment "Implied by the context of the attribute."@en ; skos:prefLabel "Implied"@en . ### http://emmo.info/domain-crystallography/cif_top#Integer :Integer rdf:type owl:Class ; rdfs:subClassOf :Single , [ rdf:type owl:Restriction ; owl:onProperty :hasIntegerData ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:integer ] ; rdfs:comment "Positive or negative integer number."@en ; skos:prefLabel "Integer"@en . ### http://emmo.info/domain-crystallography/cif_top#List :List rdf:type owl:Class ; rdfs:subClassOf :DATA_VALUE , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:someValuesFrom :Single ] ; rdfs:comment "Ordered set of values. Elements need not be of same contents type."@en ; skos:prefLabel "List"@en . ### http://emmo.info/domain-crystallography/cif_top#Matrix :Matrix rdf:type owl:Class ; rdfs:subClassOf :DATA_VALUE , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialPart ; owl:someValuesFrom :Single ] ; rdfs: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."@en ; skos:prefLabel "Matrix"@en . ### http://emmo.info/domain-crystallography/cif_top#Name :Name rdf:type owl:Class ; rdfs:subClassOf :Code ; rdfs:comment "Case-insensitive sequence of ASCII alpha-numeric characters or underscore."@en ; skos:prefLabel "Name"@en . ### http://emmo.info/domain-crystallography/cif_top#ROW :ROW rdf:type owl:Class ; rdfs:subClassOf :DATA_ITEMS , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:someValuesFrom :DATA_VALUE ] ; rdfs:comment "Represents a single row in a table with data items as direct parts."@en ; skos:prefLabel "ROW"@en . ### http://emmo.info/domain-crystallography/cif_top#Range :Range rdf:type owl:Class ; rdfs:subClassOf :Single , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:qualifiedCardinality "2"^^xsd:nonNegativeInteger ; owl:onClass :Real ] ; rdfs:comment "Inclusive range of numerical values min:max."@en ; skos:prefLabel "Range"@en . ### http://emmo.info/domain-crystallography/cif_top#Real :Real rdf:type owl:Class ; rdfs:subClassOf :Single , [ rdf:type owl:Restriction ; owl:onProperty :hasFloatData ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:double ] ; rdfs:comment "Floating-point real number."@en ; skos:prefLabel "Real"@en . ### http://emmo.info/domain-crystallography/cif_top#Single :Single rdf:type owl:Class ; rdfs:subClassOf :DATA_VALUE ; rdfs:comment "Single value."@en ; skos:prefLabel "Single"@en . ### http://emmo.info/domain-crystallography/cif_top#Symop :Symop rdf:type owl:Class ; rdfs:subClassOf :Text ; rdfs:comment "A string composed of an integer optionally followed by an underscore or space and three or more digits."@en ; skos:prefLabel "Symop"@en . ### http://emmo.info/domain-crystallography/cif_top#TABLE :TABLE rdf:type owl:Class ; rdfs:subClassOf :DDL_CONCEPT , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialDirectPart ; owl:someValuesFrom :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"""@en ; rdfs:comment "Represent a table with rows as spatial direct parts."@en , "The syntax of individual tables starts with the 'loop_' keyword followed by the name of the data items and then the actual data."@en ; skos:prefLabel "TABLE"@en . ### http://emmo.info/domain-crystallography/cif_top#Table :Table rdf:type owl:Class ; rdfs:subClassOf :DATA_VALUE , [ rdf:type owl:Restriction ; owl:onProperty :hasSpatialPart ; owl:someValuesFrom :Single ] ; rdfs:comment "An unordered set of id:value elements."@en ; skos:prefLabel "Table"@en . ### http://emmo.info/domain-crystallography/cif_top#Tag :Tag rdf:type owl:Class ; rdfs:subClassOf :Code ; rdfs:comment "Case-insensitive CIF2 character sequence with leading underscore and no ASCII whitespace."@en ; skos:prefLabel "Tag"@en . ### http://emmo.info/domain-crystallography/cif_top#Text :Text rdf:type owl:Class ; rdfs:subClassOf :Single , [ rdf:type owl:Restriction ; owl:onProperty :hasSymbolData ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; rdfs:comment "Case-sensitive sequence of CIF2 characters."@en ; skos:prefLabel "Text"@en . ### http://emmo.info/domain-crystallography/cif_top#Uri :Uri rdf:type owl:Class ; rdfs:subClassOf :Single , [ rdf:type owl:Restriction ; owl:onProperty :hasUriData ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:anyURI ] ; rdfs:comment "Uniform Resource Identifier reference as defined in RFC 3986 Section 4.1."@en ; skos:prefLabel "Uri"@en . ### http://emmo.info/domain-crystallography/cif_top#Version :Version rdf:type owl:Class ; rdfs:subClassOf :Text ; rdfs:comment "Version digit string of the form \"..\"."@en ; skos:prefLabel "Version"@en . ################################################################# # General axioms ################################################################# [ rdf:type owl:AllDisjointClasses ; owl:members ( :Array :List :Matrix :Single :Table ) ] . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi