@prefix : . @prefix owl: . @prefix qudt: . @prefix rdf: . @prefix rdfs: . @prefix skos: . @prefix terms: . @prefix vann: . @prefix xsd: . terms:contributor a owl:AnnotationProperty . terms:created a owl:AnnotationProperty . terms:creator a owl:AnnotationProperty . terms:license a owl:AnnotationProperty . terms:title a owl:AnnotationProperty . vann:preferredNamespacePrefix a owl:AnnotationProperty . qudt:description a owl:AnnotationProperty . rdf:HTML a rdfs:Datatype . skos:defintion a owl:AnnotationProperty . : a owl:Ontology ; rdfs:label "Dislocation Ontology"@en ; terms:contributor "Said Fathalla"^^xsd:string, "Stefan Sandfeld"^^xsd:string ; terms:created "21.03.2022"@en ; terms:creator "Ahmad Zainul Ihsan"@en ; terms:license ; terms:title "Dislocation Ontology"@en ; vann:preferredNamespacePrefix "DISO"^^xsd:string ; rdfs:seeAlso "https://github.com/Materials-Data-Science-and-Informatics/dislocation-ontology" ; owl:versionInfo 1.0 . a owl:Class ; rdfs:label "Edge Dislocation"@en ; rdfs:comment "A dislocation that has a line sense perpendicular to its Burgers vector."@en ; rdfs:subClassOf ; owl:disjointWith . a owl:ObjectProperty ; rdfs:label "has family crystal direction"@en ; rdfs:comment "hasFamilyCrystalDirection represents the relationship between lattice direction and family of crystal direction."@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty ; rdfs:label "has family crystal plane"@en ; rdfs:comment "hasFamilyCrystalPlane represents the relationship between the lattice plane and the family of crystal planes."@en ; rdfs:domain ; rdfs:range . qudt:Quantity a owl:Class ; rdfs:label "Quantity" ; qudt:description """

A quantity is the measurement of an observable property of a particular object, event, or physical system. A quantity is always associated with the context of measurement (i.e. the thing measured, the measured value, the accuracy of measurement, etc.) whereas the underlying quantity kind is independent of any particular measurement. Thus, length is a quantity kind while the height of a rocket is a specific quantity of length; its magnitude that may be expressed in meters, feet, inches, etc. Examples of physical quantities include physical constants, such as the speed of light in a vacuum, Planck's constant, the electric permittivity of free space, and the fine structure constant.

In other words, quantities are quantifiable aspects of the world, such as time, distance, velocity, mass, momentum, energy, and weight, and units are used to describe their measure. Many of which are related to each other by various physical laws, and as a result the units of some of the quantities can be expressed as products (or ratios) of powers of other units (e.g., momentum is mass times velocity and velocity is measured in distance divided by time). These relationships are discussed in dimensional analysis. Those that cannot be so expressed can be regarded as "fundamental" in this sense.

A quantity is distinguished from a "quantity kind" in that the former carries a value and the latter is a type specifier.

"""^^rdf:HTML ; rdfs:isDefinedBy , ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom qudt:QuantityValue ; owl:onProperty qudt:quantityValue ], [ a owl:Restriction ; owl:allValuesFrom qudt:QuantityKind ; owl:onProperty qudt:hasQuantityKind ] . qudt:QuantityKind a owl:Class ; rdfs:label "Quantity Kind" ; qudt:description "A Quantity Kind is any observable property that can be measured and quantified numerically. Familiar examples include physical properties such as length, mass, time, force, energy, power, electric charge, etc. Less familiar examples include currency, interest rate, price to earning ratio, and information capacity."^^rdf:HTML ; rdfs:isDefinedBy , . qudt:QuantityValue a owl:Class ; rdfs:label "Quantity value" ; qudt:description "A Quantity Value expresses the magnitude and kind of a quantity and is given by the product of a numerical value n and a unit of measure U. The number multiplying the unit is referred to as the numerical value of the quantity expressed in that unit. Refer to NIST SP 811 section 7 for more on quantity values."^^rdf:HTML ; rdfs:isDefinedBy , ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom qudt:Unit ; owl:onProperty qudt:unit ] . qudt:Unit a owl:Class ; rdfs:label "Unit" ; qudt:description "A unit of measure, or unit, is a particular quantity value that has been chosen as a scale for measuring other quantities the same kind (more generally of equivalent dimension). For example, the meter is a quantity of length that has been rigorously defined and standardized by the BIPM (International Board of Weights and Measures). Any measurement of the length can be expressed as a number multiplied by the unit meter. More formally, the value of a physical quantity Q with respect to a unit (U) is expressed as the scalar multiple of a real number (n) and U, as \\(Q = nU\\)."^^rdf:HTML ; rdfs:isDefinedBy , . qudt:hasQuantityKind a owl:ObjectProperty . qudt:quantityValue a owl:ObjectProperty . qudt:unit a owl:ObjectProperty . a owl:Class ; rdfs:label "Crystallographic Defect"@en ; rdfs:comment "The crystallographic defect is a lattice irregularity that has one or more dimensions on the order of an atomic diameter."@en . a owl:DatatypeProperty . a owl:ObjectProperty . a owl:ObjectProperty ; rdfs:label "has position vector"@en ; rdfs:comment "hasPositionVector represents the relationship between entity and position vector."@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty . a owl:ObjectProperty . a owl:DatatypeProperty . a owl:DatatypeProperty . a owl:DatatypeProperty . a owl:Class ; rdfs:label "Line Defect"@en ; rdfs:comment "Linear or one-dimensional defect around which some of the atoms are misaligned."@en ; rdfs:subClassOf . a owl:Class ; rdfs:label "Screw Dislocation"@en ; rdfs:comment "A dislocation that has a line sense parallel to its Burgers vector."@en ; rdfs:subClassOf . a owl:DatatypeProperty ; rdfs:label "family direction miller indice"@en ; rdfs:comment "familyDirectionMillerIndice represents a set of miller indices of lattice direction in string."@en ; rdfs:domain ; rdfs:range xsd:string . a owl:DatatypeProperty ; rdfs:label "family plane miller indice"@en ; rdfs:comment "familyPlaneMillerIndice represents a set of Miller indice of lattice plane in string."@en ; rdfs:domain ; rdfs:range xsd:string . a owl:ObjectProperty ; rdfs:label "has end node"@en ; rdfs:comment "Sub-property of hasNode that relates the segment with the end node."@en ; rdfs:domain ; rdfs:range ; rdfs:subPropertyOf . a owl:ObjectProperty ; rdfs:label "has mathematical representation"@en ; rdfs:comment "hasMathematicalRepresentation relates the entity with its mathematical representation."@en ; rdfs:domain ; rdfs:range ; rdfs:subPropertyOf . a owl:ObjectProperty ; rdfs:label "has numerical representation"@en ; rdfs:comment "hasNumericalRepresentation relates the entity with its numerical representation."@en ; rdfs:domain ; rdfs:range ; rdfs:subPropertyOf . a owl:ObjectProperty ; rdfs:label "has segment"@en ; rdfs:comment "hasSegment represents the relationship between discretized line and segment."@en ; rdfs:domain ; rdfs:range ; owl:inverseOf . a owl:ObjectProperty ; rdfs:label "has shape function"@en ; rdfs:comment "hasShapeFunction represents the relationship between discretized line and shape function."@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty ; rdfs:label "has start node"@en ; rdfs:comment "Sub-property of hasNode that relates the segment with the start node."@en ; rdfs:domain ; rdfs:range ; rdfs:subPropertyOf . a owl:ObjectProperty ; rdfs:label "has vector origin"@en ; rdfs:comment "hasVectorOrigin represents the relationship between lattice plane and origin."@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty ; rdfs:label "moves on"@en ; rdfs:comment "movesOn represents the relationship between dislocation and slip plane."@en ; rdfs:domain ; rdfs:range . a owl:DatatypeProperty ; rdfs:label "plane miller indice"@en ; rdfs:comment "planeMillerIndice represents Miller indice of lattice plane in string."@en ; rdfs:domain ; rdfs:range xsd:string . a owl:ObjectProperty ; rdfs:label "results in"@en ; rdfs:comment "resultsIn represents the relationship between dislocation and lattice displacement."@en ; rdfs:domain ; rdfs:range . a owl:DatatypeProperty ; rdfs:label "slipArea"@en ; rdfs:comment "slipArea represents the slip area of discretized line in double."@en ; rdfs:domain ; rdfs:range xsd:double . a owl:DatatypeProperty . a owl:DatatypeProperty . a owl:DatatypeProperty . a owl:Class ; rdfs:label "Position Vector"@en ; rdfs:comment "Euclidean vector that represents the position of a point P in space in relation to an arbitrary reference origin O."@en ; rdfs:subClassOf . a owl:Class ; rdfs:label "Vector Component of Basis"@en ; rdfs:comment "Vector components/vector coordinates of particular basis. It has relation to a specific basis."@en ; rdfs:subClassOf [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onDataRange xsd:double ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] [ a owl:Restriction ; owl:onDataRange xsd:double ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] [ a owl:Restriction ; owl:onDataRange xsd:double ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] ) ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], qudt:Quantity . a owl:ObjectProperty . a owl:ObjectProperty . a owl:Class ; rdfs:label "Field Ion Microscopy"@en ; rdfs:comment "Field Ion Microscopy (FIM) is a microscopy technique that can be used to image the arrangement of atoms."@en ; owl:disjointWith . a owl:Class ; rdfs:label "Lattice Displacement"@en ; rdfs:comment "The displacement of atoms from their perfect lattice sites due to the existence of defects, e.g., point defect, line defect, and grain boundary."@en . a owl:Class ; rdfs:label "Shape Function"@en ; rdfs:comment "The shape function is the function that interpolates the solution between the discrete values obtained at the mesh nodes. In discretized dislocation, the shape function determines the shape of a segment and ultimately determines the shape of the line. Examples of shape function that is used to discretize the dislocation are circular, elliptic, spiral, linear, cubic, and quintic."@en . a owl:Class ; rdfs:label "Ursprung"@de, "Vector Origin"@en ; rdfs:comment "A fixed point that is needed by the vector to identify other points in the space relative to its origin."@en ; rdfs:subClassOf . a owl:DatatypeProperty ; rdfs:label "direction miller indice"@en ; rdfs:comment "directionMillerIndice represents Miller indice of lattice direction in string."@en ; rdfs:domain [ a owl:Class ; owl:unionOf ( ) ] ; rdfs:range xsd:string . a owl:ObjectProperty ; rdfs:label "has Burgers vector"@en ; rdfs:comment "hasBurgersVector represents the relationship between dislocation to Burgers vector."@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty ; rdfs:label "has lattice plane"@en ; rdfs:comment "hasLatticePlane represents the relationship between a lattice and lattice planes."@en ; rdfs:domain [ a owl:Class ; owl:unionOf ( ) ] ; rdfs:range . a owl:ObjectProperty ; rdfs:label "has line sense"@en ; rdfs:comment "hasLineSense represents the relationship between dislocation and line sense."@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty ; rdfs:label "has node"@en ; rdfs:comment "hasNode represents the relationship between segment and node."@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty ; rdfs:label "has representation"@en ; rdfs:comment "hasRepresentation relates the entity to another representation of entity."@en ; rdfs:domain owl:Thing ; rdfs:range [ a owl:Class ; owl:unionOf ( ) ] . a owl:ObjectProperty ; rdfs:label "has slip plane"@en ; rdfs:comment "hasSlipPlane represents the relationship between crystal structure and slip plane."@en ; rdfs:domain ; rdfs:range ; rdfs:subPropertyOf . a owl:ObjectProperty ; rdfs:label "has slip system"@en ; rdfs:comment "hasSlipSystem represents the relationship between a crystal structure and slip system."@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty ; rdfs:label "is segment of"@en ; rdfs:comment "Inverse of hasSegment"@en ; rdfs:domain ; rdfs:range . a owl:ObjectProperty ; rdfs:label "observed by"@en ; rdfs:comment "observedBy represents the relationship between dislocation and microscopy techniques, e.g., TEM, FIM, etc."@en ; rdfs:domain ; rdfs:range [ a owl:Class ; owl:unionOf ( ) ] . a owl:Class ; rdfs:label "Basis"@en ; rdfs:comment "A basis defines a spatial unit used to express fractional coordinates."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:onClass ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], [ a owl:Restriction ; owl:onClass ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], [ a owl:Restriction ; owl:onClass ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] ; skos:defintion "Set of vector(in 2-D two vectors and in 3-D three vectors) that linearly independent."@en . a owl:Class ; rdfs:label "Crystal Structure"@en ; rdfs:comment "A crystal structure is described by the lattice geometry and atomic arrangements within the unit cell."@en ; rdfs:subClassOf [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ] . a owl:Class ; rdfs:label "Lattice"@en ; rdfs:comment "The mathematical concept to represent the periodicity of a crystal. A lattice defines a periodic arrangement of one or more atoms."@en ; rdfs:subClassOf [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ] . a owl:Class ; rdfs:label "Burgers Vector"@en ; rdfs:comment "An elementary unit (length order of lattice parameter) of lattice translation. The basic notion of the Burgers vector comes from the closure failure of an initially perfect lattice due to the existence of dislocation. The magnitude and direction of closure failure are characterized by the Burgers vector."@en ; rdfs:subClassOf . a owl:Class ; rdfs:label "Family of Crystal Direction"@en ; rdfs:comment "A set of symmetrically equivalent directions in the lattice."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:onDataRange xsd:string ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] ; owl:disjointWith . a owl:Class ; rdfs:label "Line Sense"@en ; rdfs:comment "A sense that characterizes a directed line, i.e., it has a start and an end."@en . a owl:Class ; rdfs:label "Transmission Electron Microscopy"@en ; rdfs:comment "Transmission electron microscopy (TEM) is a microscopy technique in which a beam of electrons is transmitted through a specimen to form an image. The specimen is often an ultrathin section less than 100 nm thick."@en . a owl:Class ; rdfs:label "Coordinate Vector"@en ; rdfs:subClassOf [ a owl:Restriction ; owl:onDataRange xsd:double ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], [ a owl:Restriction ; owl:onDataRange xsd:double ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], [ a owl:Restriction ; owl:onDataRange xsd:double ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] ; skos:defintion "A coordinate vector according to standard basis, i.e., e_x (1, 0, 0), e_y(0, 1, 0), and e_z (0, 0, 1)."@en . a owl:Class ; rdfs:label "Point"@en ; rdfs:comment "In classical Euclidean geometry, a point is a primitive notion that models an exact location in the space, and has no length, width, or thickness."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] . a owl:Class ; rdfs:label "Vector"@en ; rdfs:comment "(Euclidean) vector is used to represent quantities that both magnitude and direction."@en ; rdfs:subClassOf [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], [ a owl:Restriction ; owl:onDataRange xsd:double ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] ; skos:defintion "(Euclidean) vector used to represent quantities that both magnitude and direction."@en . a owl:Class ; rdfs:label "Family of Crystal Plane"@en ; rdfs:comment "A set of symmetrically equivalent planes in the lattice."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:onDataRange xsd:string ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] . a owl:ObjectProperty ; rdfs:label "has slip direction"@en ; rdfs:comment "hasSlipDirection represents the relationship between the slip plane or slip system with the slip direction."@en ; rdfs:domain [ a owl:Class ; owl:unionOf ( ) ] ; rdfs:range ; rdfs:subPropertyOf . a owl:ObjectProperty ; rdfs:label "has slip plane normal"@en ; rdfs:comment "hasSlipPlaneNormal represents the relationship between a slip plane or slip system with slip plane normal."@en ; rdfs:domain [ a owl:Class ; owl:unionOf ( ) ] ; rdfs:range . a owl:Class ; rdfs:label "Line"@en ; rdfs:comment "Mathematical representation of dislocation as 'Line'. An instance of mathematical representation of a dislocation line is an oriented curve parameterized by its arc length."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith . a owl:Class ; rdfs:label "Slip Direction"@en ; rdfs:comment "The direction in the slip plane along which plastic deformation takes place. The slip direction corresponds to one of the shortest lattice translation vectors."@en ; rdfs:subClassOf . a owl:Class ; rdfs:label "Slip System"@en ; rdfs:comment "A slip system is defined as the set of slip planes with the same unit normal vector and the same slip direction."@en ; rdfs:subClassOf [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ] . a owl:Class ; rdfs:label "Node"@en ; rdfs:comment "A point of a segment."@en ; rdfs:subClassOf ; owl:disjointWith . a owl:Class ; rdfs:label "Slip Plane Normal"@en ; rdfs:comment "The unit normal vector of slip planes."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:onDataRange xsd:string ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], . a owl:ObjectProperty ; rdfs:label "has lattice direction"@en ; rdfs:comment "hasLatticeDirection represents the relationship between a lattice or a lattice plane with lattice directions."@en ; rdfs:domain [ a owl:Class ; owl:unionOf ( ) ] ; rdfs:range . a owl:ObjectProperty ; rdfs:label "has lattice point"@en ; rdfs:comment "hasLatticePoint represents the relationship between a lattice or lattice plane or lattice direction with lattice point."@en ; rdfs:domain [ a owl:Class ; owl:unionOf ( ) ] ; rdfs:range . a owl:Class ; rdfs:label "Lattice Point"@en ; rdfs:comment "Lattice point is the point where atom(s) or molecule(s) is located."@en ; rdfs:subClassOf . a owl:Class ; rdfs:label "Segment"@en ; rdfs:comment "The segment is a part of a line bounded by two distinct end points and may contain points on the line between its endpoints."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ], [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ], [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] . a owl:Class ; rdfs:label "Slip Plane"@en ; rdfs:comment "The crystallographic/lattice plane along which the dislocation line traverses/moves. The slip plane is usually the plane with the highest density of atoms, i.e. most widely spaced."@en ; rdfs:subClassOf [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], . a owl:Class ; rdfs:label "Discretized Line"@en ; rdfs:comment "The numerical representation of the dislocation line that is discretized into the number of segments."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ], [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ], [ a owl:Restriction ; owl:onDataRange xsd:double ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] ; owl:disjointWith . a owl:Class ; rdfs:label "Versetzung"@de, "Dislocation"@en ; rdfs:comment "Linear or one-dimensional defect around which some of the atoms are misaligned. In the mesoscale, a dislocation is a line object that is a boundary separating the regions on the slip plane which have undergone slip from those that have not."@en, "The presence of dislocation introduces local disturbance of the atomic-level geometry."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ], [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ], [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ], [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], . a owl:Class ; rdfs:label "Lattice Plane"@en ; rdfs:comment "The lattice plane forms an infinitely stretched plane (characterized through a plane normal) that cuts through lattice points such that, again, a regular arrangement of lattice points in the plane occurs."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ], [ a owl:Restriction ; owl:onDataRange xsd:string ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], . a owl:Class ; rdfs:label "Lattice Direction"@en ; rdfs:comment "The vector direction inside the lattice that is connecting two lattice points."@en ; rdfs:subClassOf [ a owl:Restriction ; owl:onDataRange xsd:string ; owl:onProperty ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], [ a owl:Class ; owl:intersectionOf ( [ a owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ a owl:Restriction ; owl:allValuesFrom ; owl:onProperty ] ) ], , .