diff --git a/ontology/saref4inma.ttl b/ontology/saref4inma.ttl index c3ccb35f9e27c122415a86ac044bf05d67b84568..ab45a872bbc33879e91d10c28a0caae633689d08 100644 --- a/ontology/saref4inma.ttl +++ b/ontology/saref4inma.ttl @@ -5,31 +5,34 @@ @prefix xsd: . @prefix rdfs: . @prefix vann: . +@prefix geo: . +@prefix saref: . @prefix s4inma: . @base . rdf:type owl:Ontology ; - ; - "2019-04-30"^^xsd:date ; - "2024-06-03"^^xsd:date; - ; - vann:preferredNamespacePrefix "s4inma" ; - ; - rdfs:seeAlso ; - ; - ; - ; + owl:versionIRI ; + owl:imports ; + , + ; + "2015-03-29"^^xsd:date ; + , + , + , + ; "SAREF4INMA is an extension of SAREF for the industry and manufacturing domain. SAREF4INMA focuses on extending SAREF for the industry and manufacturing domain to solve the lack of interoperability between various types of production equipment that produce items in a factory and, once outside the factory, between different organizations in the value chain to uniquely track back the produced items to the corresponding production equipment, batches, material and precise time in which they were manufactured. SAREF4INMA is specified and published by ETSI in the TS 103 410-5 associated to this ontology file. SAREF4INMA was created to be aligned with related initiatives in the smart industry and manufacturing domain in terms of modelling and standardization, such as the Reference Architecture Model for Industry 4.0 (RAMI), which combines several standards used by the various national initiatives in Europe that support digitalization in manufacturing. The full list of use cases, standards and requirements that guided the creation of SAREF4INMA are described in the associated ETSI TR 103 507. " ; - ; + ; + "2019-04-30"^^xsd:date , + "2024-06-03"^^xsd:date ; + ; + ; "SAREF4INMA: an extension of SAREF for the industry and manufacturing domain"@en ; + vann:preferredNamespacePrefix "s4inma" ; vann:preferredNamespaceUri "https://saref.etsi.org/saref4inma/" ; - ; - ; - "2015-03-29"^^xsd:date; - owl:versionIRI ; + rdfs:seeAlso ; owl:priorVersion ; owl:versionInfo "v2.1.1" . - + ################################################################# # Annotation properties ################################################################# @@ -91,31 +94,16 @@ owl:versionIRI rdf:type owl:AnnotationProperty . ################################################################# -# Object Properties +# Datatypes ################################################################# -### https://saref.etsi.org/core/hasFunction - rdf:type owl:ObjectProperty ; - rdfs:comment "A relationship identifying the function of a device" ; - rdfs:label "has function"@en . - +### http://www.w3.org/2001/XMLSchema#date +xsd:date rdf:type rdfs:Datatype . -### https://saref.etsi.org/core/hasState - rdf:type owl:ObjectProperty ; - rdfs:comment "A relationship for identifying the state of a production equipment" ; - rdfs:label "has state"@en . - -### https://saref.etsi.org/core/makesMeasurement - rdf:type owl:ObjectProperty ; - rdfs:comment "A relation between a device and the measurements it makes. Such measurement will link together the value of the measurement, its unit of measure and the property to which it relates." ; - rdfs:label "makes measurement"@en . - - -### https://saref.etsi.org/core/measuresProperty - rdf:type owl:ObjectProperty ; - rdfs:comment "A relationship specifying the property that can be measured by a certain device" ; - rdfs:label "measures property"@en . +################################################################# +# Object Properties +################################################################# ### https://saref.etsi.org/saref4inma/belongsToCategory @@ -125,18 +113,6 @@ s4inma:belongsToCategory rdf:type owl:ObjectProperty ; rdfs:label "belongs to category"@en . -### https://saref.etsi.org/saref4inma/consistsOfBatch -s4inma:consistsOfBatch rdf:type owl:ObjectProperty ; - rdfs:comment "A relation to express that a batch can recursively consists of other batches" ; - rdfs:label "consists of batch"@en . - - -### https://saref.etsi.org/saref4inma/consistsOfItem -s4inma:consistsOfItem rdf:type owl:ObjectProperty ; - rdfs:comment "A relation to express that an item can recursively consists of other Items" ; - rdfs:label "consists of item"@en . - - ### https://saref.etsi.org/saref4inma/creates s4inma:creates rdf:type owl:ObjectProperty ; owl:inverseOf s4inma:isCreatedIn ; @@ -144,13 +120,6 @@ s4inma:creates rdf:type owl:ObjectProperty ; rdfs:label "creates"@en . -### https://saref.etsi.org/saref4inma/hasFeatureOfInterest -s4inma:hasFeatureOfInterest rdf:type owl:ObjectProperty ; - owl:inverseOf s4inma:isFeatureOfInterestOf ; - rdfs:comment "Relationship between a feature of interest and equipment" ; - rdfs:label "has feature of interest"@en . - - ### https://saref.etsi.org/saref4inma/hasGTIN12ID s4inma:hasGTIN12ID rdf:type owl:ObjectProperty ; rdfs:subPropertyOf s4inma:hasIdentifier ; @@ -230,12 +199,6 @@ s4inma:isCreatedIn rdf:type owl:ObjectProperty ; rdfs:label "is created in"@en . -### https://saref.etsi.org/saref4inma/isFeatureOfInterestOf -s4inma:isFeatureOfInterestOf rdf:type owl:ObjectProperty ; - rdfs:comment "Relationship between a feature of interest and equipment" ; - rdfs:label "is feature of interest of"@en . - - ### https://saref.etsi.org/saref4inma/isProducedBy s4inma:isProducedBy rdf:type owl:ObjectProperty ; owl:inverseOf s4inma:produces ; @@ -245,6 +208,7 @@ s4inma:isProducedBy rdf:type owl:ObjectProperty ; ### https://saref.etsi.org/saref4inma/needsEquipment s4inma:needsEquipment rdf:type owl:ObjectProperty ; + rdfs:range s4inma:ProductionEquipment ; rdfs:comment "A relationship indicating that an entity needs a particular equipment to be produced" ; rdfs:label "needs equipment"@en . @@ -333,56 +297,23 @@ s4inma:hasUUIDValue rdf:type owl:DatatypeProperty ; rdfs:label "has UUID value"@en . -### https://saref.etsi.org/saref4inma/hasVersion -s4inma:hasVersion rdf:type owl:DatatypeProperty ; - rdfs:comment "An item has a certain revision or version number, whereas a higher number indicates a newer version." ; - rdfs:label "has version"@en . - - ################################################################# # Classes ################################################################# + +geo:SpatialObject a owl:Class ; + rdfs:comment "The class spatial-object represents everything that can have a spatial representation. It is superclass of feature and geometry."@en ; + rdfs:isDefinedBy ; + rdfs:label "SpatialObject"@en . + + ### http://www.w3.org/2004/02/skos/core#ConceptScheme rdf:type owl:Class ; rdfs:comment "SKOS concept scheme can be viewed as an aggregation of one or more SKOS concepts." ; rdfs:label "Concept Scheme"@en . -### https://saref.etsi.org/core/Device - rdf:type owl:Class ; - rdfs:comment "A tangible object designed to accomplish a particular task. In order to accomplish this task, the device performs one or more functions. For example, a washing machine is designed to wash (task) and to accomplish this task it performs a start and stop function." ; - rdfs:label "Device"@en . - - -### https://saref.etsi.org/core/FeatureOfInterest - rdf:type owl:Class ; - rdfs:comment "A feature of interest represents any real world entity from which a property is measured." ; - rdfs:label "Feature of interest"@en . - - -### https://saref.etsi.org/core/Function - rdf:type owl:Class ; - rdfs:comment "The functionality necessary to accomplish the task for which a device is designed. A device can be designed to perform more than one function. Functions can be structured in categories (subclasses) that reflect different points of view, for example, considering the specific application area for which a function can be used (e.g., light, temperature, motion, heat, power, etc.), or the capability that a function can support (e.g., receive, reply, notify, etc.), and so forth." ; - rdfs:label "Function"@en . - - -### https://saref.etsi.org/core/Measurement - rdf:type owl:Class ; - rdfs:comment "Represents the measured value made over a property. It is also linked to the unit of measure in which the value is expressed and the timestamp of the measurement." ; - rdfs:label "Measurement"@en . - - -### https://saref.etsi.org/core/Property - rdf:type owl:Class ; - rdfs:comment "An aspect of an entity that can be observable by a sensor." ; - rdfs:label "Property"@en . - - -### https://saref.etsi.org/core/State - rdf:type owl:Class . - - ### https://saref.etsi.org/saref4bldg/Building rdf:type owl:Class ; rdfs:comment "A building represents a structure that provides shelter for its occupants or contents and stands in one place. The building is also used to provide a basic element within the spatial structure hierarchy for the components of a building project (together with site, storey, and space)." ; @@ -395,20 +326,6 @@ s4inma:hasVersion rdf:type owl:DatatypeProperty ; rdfs:label "Building space"@en . -### https://saref.etsi.org/saref4bldg/PhysicalObject - rdf:type owl:Class ; - rdfs:comment "Any Object that has a proper space region. (Definition extracted from DUL ontology)" ; - rdfs:label "Physical object"@en . - - -### https://saref.etsi.org/saref4inma/ActualMeasurement -s4inma:ActualMeasurement rdf:type owl:Class ; - rdfs:subClassOf s4inma:Measurement ; - owl:disjointWith s4inma:ExpectedMeasurement ; - rdfs:comment "Describes whether the measurement is actually measured during the production process. Disjoint with ExpectedMeasurement." ; - rdfs:label "Actual measurement"@en . - - ### https://saref.etsi.org/saref4inma/Area s4inma:Area rdf:type owl:Class ; rdfs:subClassOf ; @@ -419,19 +336,15 @@ s4inma:Area rdf:type owl:Class ; ### https://saref.etsi.org/saref4inma/Batch s4inma:Batch rdf:type owl:Class ; rdfs:subClassOf owl:Thing , - , + saref:FeatureOfInterest , [ rdf:type owl:Restriction ; - owl:onProperty s4inma:consistsOfBatch ; + owl:onProperty saref:consistsOf ; owl:allValuesFrom s4inma:Batch ] , [ rdf:type owl:Restriction ; owl:onProperty s4inma:hasIdentifier ; owl:allValuesFrom s4inma:ID ] , - [ rdf:type owl:Restriction ; - owl:onProperty s4inma:isFeatureOfInterestOf ; - owl:allValuesFrom s4inma:Measurement - ] , [ rdf:type owl:Restriction ; owl:onProperty s4inma:needsEquipment ; owl:allValuesFrom s4inma:ProductionEquipment @@ -445,13 +358,6 @@ s4inma:Batch rdf:type owl:Class ; rdfs:label "Batch"@en . -### https://saref.etsi.org/saref4inma/ExpectedMeasurement -s4inma:ExpectedMeasurement rdf:type owl:Class ; - rdfs:subClassOf s4inma:Measurement ; - rdfs:comment "Describes whether the measurement is expected (i.e., planned before the production process). Disjoint with ActualMeasurement." ; - rdfs:label "Expected measurement"@en . - - ### https://saref.etsi.org/saref4inma/Factory s4inma:Factory rdf:type owl:Class ; rdfs:subClassOf ; @@ -507,13 +413,13 @@ s4inma:IRDI rdf:type owl:Class ; ### https://saref.etsi.org/saref4inma/Item s4inma:Item rdf:type owl:Class ; - rdfs:subClassOf , + rdfs:subClassOf saref:FeatureOfInterest , [ rdf:type owl:Restriction ; owl:onProperty s4inma:hasIdentifier ; owl:someValuesFrom s4inma:ID ] , [ rdf:type owl:Restriction ; - owl:onProperty s4inma:consistsOfItem ; + owl:onProperty saref:consistsOf ; owl:allValuesFrom s4inma:Item ] , [ rdf:type owl:Restriction ; @@ -524,10 +430,6 @@ s4inma:Item rdf:type owl:Class ; owl:onProperty s4inma:isCreatedIn ; owl:allValuesFrom s4inma:ItemBatch ] , - [ rdf:type owl:Restriction ; - owl:onProperty s4inma:isFeatureOfInterestOf ; - owl:allValuesFrom s4inma:Measurement - ] , [ rdf:type owl:Restriction ; owl:onProperty s4inma:isCreatedIn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; @@ -589,7 +491,7 @@ s4inma:ItemCategory rdf:type owl:Class ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; - owl:onProperty s4inma:hasVersion ; + owl:onProperty saref:hasVersion ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; @@ -622,40 +524,24 @@ s4inma:MaterialCategory rdf:type owl:Class ; rdfs:label "Material category"@en . -### https://saref.etsi.org/saref4inma/Measurement -s4inma:Measurement rdf:type owl:Class ; - rdfs:subClassOf , - [ rdf:type owl:Restriction ; - owl:onProperty s4inma:hasFeatureOfInterest ; - owl:allValuesFrom [ rdf:type owl:Class ; - owl:unionOf ( s4inma:Batch - s4inma:Item - ) - ] - ] ; - rdfs:comment "A subclass of saref:Measurement that represents the measured value made over a property. It is also linked to the unit of measure in which the value is expressed and the timestamp of the measurement. The saref4imna:Measurement can be linked to individual Batches or Items. Moreover, the Measurement can be an ExpectedMeasurement (i.e. the value which is planned) or the ActualMeasurement (i.e. the value measured during production), which enables to check for deviations between the planned and actual values." ; - rdfs:label "Measurement"@en . - - ### https://saref.etsi.org/saref4inma/ProductionEquipment s4inma:ProductionEquipment rdf:type owl:Class ; - rdfs:subClassOf , - , + rdfs:subClassOf saref:Device , geo:SpatialObject , [ rdf:type owl:Restriction ; - owl:onProperty ; + owl:onProperty saref:hasFunction ; owl:allValuesFrom s4inma:ProductionEquipmentFunction ] , [ rdf:type owl:Restriction ; - owl:onProperty ; - owl:allValuesFrom + owl:onProperty saref:hasState ; + owl:allValuesFrom saref:State ] , [ rdf:type owl:Restriction ; - owl:onProperty ; - owl:allValuesFrom s4inma:Measurement + owl:onProperty saref:madeExecution ; + owl:allValuesFrom saref:Observation ] , [ rdf:type owl:Restriction ; - owl:onProperty ; - owl:allValuesFrom + owl:onProperty saref:observes ; + owl:allValuesFrom saref:Property ] , [ rdf:type owl:Restriction ; owl:onProperty s4inma:belongsToCategory ; @@ -691,7 +577,7 @@ s4inma:ProductionEquipmentCategory rdf:type owl:Class ; ### https://saref.etsi.org/saref4inma/ProductionEquipmentFunction s4inma:ProductionEquipmentFunction rdf:type owl:Class ; rdfs:subClassOf owl:Thing , - ; + saref:Function ; rdfs:comment "Functionallity neccessary to accomplish the task for which a production equipment is designed." ; rdfs:label "Production equipment function"@en . @@ -705,7 +591,7 @@ s4inma:Site rdf:type owl:Class ; ### https://saref.etsi.org/saref4inma/Size s4inma:Size rdf:type owl:Class ; - rdfs:subClassOf ; + rdfs:subClassOf saref:Property ; rdfs:comment "The amount of certain objects in a collection (e.g., size of a material batch)." ; rdfs:label "Size"@en . @@ -735,5 +621,3 @@ s4inma:WorkCenter rdf:type owl:Class ; ) ] . - -### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi