Commit 265023b7 authored by Maria Poveda's avatar Maria Poveda
Browse files

Merge branch 'refinement' into 'develop-v2.1.1' 

remove restriction about s4inma:hasIDValue from ProductionEquiptment as it is...

See merge request !7
parents 799fbe9e 39a53f8d

documentation/diagrams/saref4inmaOverview.xml

0 → 100644
+645 −0

File added.

Preview size limit exceeded, changes collapsed.

ontology/saref4inma.ttl

+25 −31
Original line number Diff line number Diff line 
@prefix : <https://saref.etsi.org/saref4inma/> .

@prefix geo: <http://www.opengis.net/ont/geosparql#> .

@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

@prefix xml: <http://www.w3.org/XML/1998/namespace> .

@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

@prefix vann: <http://purl.org/vocab/vann/> .

@prefix geo: <http://www.opengis.net/ont/geosparql#> .

@prefix saref: <https://saref.etsi.org/core/> .

@prefix s4inma: <https://saref.etsi.org/saref4inma/> .

@base <https://saref.etsi.org/saref4inma/> .



<https://saref.etsi.org/saref4inma/> rdf:type owl:Ontology ;

                                      owl:versionIRI <https://saref.etsi.org/saref4inma/v2.1.1/> ;

                                      owl:imports <https://saref.etsi.org/core/v3.2.1/> ;

                                      owl:imports <https://saref.etsi.org/core/v3.2.1/> ,

                                                  <https://saref.etsi.org/saref4bldg/v1.1.2/> ;

                                      <http://purl.org/dc/terms/contributor> <http://purl.org/net/mpoveda> ,

                                                                             <https://www.linkedin.com/in/matthijs-punter-0799902> ;

                                      <http://purl.org/dc/terms/created> "2015-03-29"^^xsd:date ;
@@ -22,8 +23,7 @@ 
                                                                         <https://www.linkedin.com/in/mderoode> ;

                                      <http://purl.org/dc/terms/description> "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. " ;

                                      <http://purl.org/dc/terms/license> <https://forge.etsi.org/etsi-software-license> ;

                                      <http://purl.org/dc/terms/modified> "2019-04-30"^^xsd:date ,

                                                                          "2024-06-03"^^xsd:date ;

                                      <http://purl.org/dc/terms/modified> "2024-06-03"^^xsd:date ;

                                      <http://purl.org/dc/terms/publisher> <https://www.etsi.org/> ;

                                      <http://purl.org/dc/terms/source> <https://saref.etsi.org/sources/saref4inma/> ;

                                      <http://purl.org/dc/terms/title> "SAREF4INMA: an extension of SAREF for the industry and manufacturing domain"@en ;
@@ -105,7 +105,6 @@ xsd:date rdf:type rdfs:Datatype . 
#    Object Properties

#################################################################





###  https://saref.etsi.org/saref4inma/belongsToCategory

s4inma:belongsToCategory rdf:type owl:ObjectProperty ;

                         owl:inverseOf s4inma:isCategoryOf ;
@@ -301,8 +300,12 @@ s4inma:hasUUIDValue rdf:type owl:DatatypeProperty ; 
#    Classes

#################################################################



###  http://org.semanticweb.owlapi/error#Error1

<http://org.semanticweb.owlapi/error#Error1> rdf:type owl:Class .



geo:SpatialObject a owl:Class ;



###  http://www.opengis.net/ont/geosparql#SpatialObject

geo:SpatialObject rdf:type 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 <http://www.opengis.net/ont/geosparql> ;

                  rdfs:label "SpatialObject"@en .
@@ -435,10 +438,6 @@ s4inma:Item rdf:type owl:Class ; 
                              owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;

                              owl:onClass s4inma:ItemBatch

                            ] ,

                            [ rdf:type owl:Restriction ;

                              owl:onProperty s4inma:hasIDValue ;

                              owl:allValuesFrom xsd:string

                            ] ,

                            [ rdf:type owl:Restriction ;

                              owl:onProperty s4inma:hasSerialNumber ;

                              owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
@@ -465,7 +464,8 @@ s4inma:ItemBatch rdf:type owl:Class ; 


###  https://saref.etsi.org/saref4inma/ItemCategory

s4inma:ItemCategory rdf:type owl:Class ;

                    rdfs:subClassOf [ rdf:type owl:Restriction ;

                    rdfs:subClassOf <http://org.semanticweb.owlapi/error#Error1> ,

                                    [ rdf:type owl:Restriction ;

                                      owl:onProperty s4inma:hasIdentifier ;

                                      owl:someValuesFrom s4inma:ID

                                    ] ,
@@ -489,11 +489,6 @@ s4inma:ItemCategory rdf:type owl:Class ; 
                                      owl:onProperty s4inma:hasModelNumber ;

                                      owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;

                                      owl:onDataRange xsd:string

                                    ] ,

                                    [ rdf:type owl:Restriction ;

                                      owl:onProperty saref:hasVersion ;

                                      owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;

                                      owl:onDataRange xsd:string

                                    ] ;

                    rdfs:comment "An ItemCategory describes a single type of item in terms of its static properties. Each ItemCategory can have multiple related ItemBatches, which all contain individual Items. The essential properties of each Item in all ItemBatches are the same. However, each batch might use different MaterialBatches and/or different ProductionEquipment. Therefore, small deviations between batches might occur, while the essential properties of all Items related to an ItemCategory are similar." ;

                    rdfs:label "Item category"@en .
@@ -526,7 +521,8 @@ s4inma:MaterialCategory rdf:type owl:Class ; 


###  https://saref.etsi.org/saref4inma/ProductionEquipment

s4inma:ProductionEquipment rdf:type owl:Class ;

                           rdfs:subClassOf saref:Device , geo:SpatialObject ,

                           rdfs:subClassOf geo:SpatialObject ,

                                           saref:Device ,

                                           [ rdf:type owl:Restriction ;

                                             owl:onProperty saref:hasFunction ;

                                             owl:allValuesFrom s4inma:ProductionEquipmentFunction
@@ -550,10 +546,6 @@ s4inma:ProductionEquipment rdf:type owl:Class ; 
                                           [ rdf:type owl:Restriction ;

                                             owl:onProperty s4inma:hasIdentifier ;

                                             owl:allValuesFrom s4inma:ID

                                           ] ,

                                           [ rdf:type owl:Restriction ;

                                             owl:onProperty s4inma:hasIDValue ;

                                             owl:allValuesFrom xsd:string

                                           ] ;

                           rdfs:comment "A production equipment is a specialization of a saref:Device and s4bldg:PhysicalObject that can produce items in a manufacturing process. This class represents an individual production equipment device and includes their specification in terms of functions, states and services. Different types of machines can be defined under this class as needed, for example, LaserCuttingMachine (i.e., a type of production equipment to cut steel material), MillingMachine (i.e., to drill holes in steel material), MouldingMachine (i.e., to mold liquid material, such as iron or plastic, and let it harden in a certain shape), WeldingMachine (i.e., join parts of material, such as steel, together), etc." ;

                           rdfs:label "ProductionEquipment"@en .
@@ -610,6 +602,9 @@ s4inma:WorkCenter rdf:type owl:Class ; 
                  rdfs:label "Work center"@en .





[ owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger

] .



#################################################################

#    General axioms

#################################################################
@@ -620,4 +615,3 @@ s4inma:WorkCenter rdf:type owl:Class ; 
                 s4inma:WorkCenter

               )

 ] .