diff --git a/documentation/diagrams/saref4inmaOverview.xml b/documentation/diagrams/saref4inmaOverview.xml
new file mode 100644
index 0000000000000000000000000000000000000000..437687603f72103f20da70c14906bd3b5f5356ff
--- /dev/null
+++ b/documentation/diagrams/saref4inmaOverview.xml
@@ -0,0 +1,645 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/ontology/saref4inma.ttl b/ontology/saref4inma.ttl
index ab45a872bbc33879e91d10c28a0caae633689d08..b38ac6983201fe6e627a5a1bf22de193841d0262 100644
--- a/ontology/saref4inma.ttl
+++ b/ontology/saref4inma.ttl
@@ -1,18 +1,19 @@
@prefix : .
+@prefix geo: .
@prefix owl: .
@prefix rdf: .
@prefix xml: .
@prefix xsd: .
@prefix rdfs: .
@prefix vann: .
-@prefix geo: .
@prefix saref: .
@prefix s4inma: .
@base .
rdf:type owl:Ontology ;
owl:versionIRI ;
- owl:imports ;
+ owl:imports ,
+ ;
,
;
"2015-03-29"^^xsd:date ;
@@ -22,8 +23,7 @@
;
"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 ;
+ "2024-06-03"^^xsd:date ;
;
;
"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,13 +300,17 @@ s4inma:hasUUIDValue rdf:type owl:DatatypeProperty ;
# Classes
#################################################################
+### http://org.semanticweb.owlapi/error#Error1
+ rdf:type 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 ;
+ rdfs:label "SpatialObject"@en .
-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." ;
@@ -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 ,
+ [ 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,14 +602,16 @@ s4inma:WorkCenter rdf:type owl:Class ;
rdfs:label "Work center"@en .
+[ owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger
+] .
+
#################################################################
# General axioms
#################################################################
[ rdf:type owl:AllDisjointClasses ;
- owl:members ( s4inma:Area
- s4inma:Site
- s4inma:WorkCenter
- )
-] .
-
+ owl:members ( s4inma:Area
+ s4inma:Site
+ s4inma:WorkCenter
+ )
+ ] .