From 4f64e37c54a17b6c4dd38bdf770cf293d69df7d8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mari=CC=81a?= Date: Tue, 18 Jun 2024 11:26:23 +0200 Subject: [PATCH 1/7] remove previous dc:modified statemetn --- ontology/saref4inma.ttl | 46 ++++++++++++++++++++++------------------- 1 file changed, 25 insertions(+), 21 deletions(-) diff --git a/ontology/saref4inma.ttl b/ontology/saref4inma.ttl index ab45a87..e6255d7 100644 --- a/ontology/saref4inma.ttl +++ b/ontology/saref4inma.ttl @@ -1,11 +1,11 @@ @prefix : . +@prefix geo: . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @prefix vann: . -@prefix geo: . @prefix saref: . @prefix s4inma: . @base . @@ -22,8 +22,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 +104,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 +299,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." ; @@ -465,7 +467,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 +492,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 +524,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 @@ -610,14 +609,19 @@ 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 + ) + ] . + +### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi -- GitLab From 2a2af7f1b21c7045c35fc06a1ff07e32dfd63ad4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mari=CC=81a?= Date: Tue, 18 Jun 2024 11:28:53 +0200 Subject: [PATCH 2/7] remove restriction about s4inma:hasIDValue from ProductionEquiptment as it is a shortcul for the ID class. Core hasIdentifier could be instead. --- ontology/saref4inma.ttl | 4 ---- 1 file changed, 4 deletions(-) diff --git a/ontology/saref4inma.ttl b/ontology/saref4inma.ttl index e6255d7..6080c4e 100644 --- a/ontology/saref4inma.ttl +++ b/ontology/saref4inma.ttl @@ -549,10 +549,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 . -- GitLab From 1c8b9439316f0eb1f69de2652eb1aabd620e8404 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mari=CC=81a?= Date: Tue, 18 Jun 2024 11:55:07 +0200 Subject: [PATCH 3/7] import https://saref.etsi.org/saref4bldg/v1.1.2/ --- ontology/saref4inma.ttl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ontology/saref4inma.ttl b/ontology/saref4inma.ttl index 6080c4e..a56bd8d 100644 --- a/ontology/saref4inma.ttl +++ b/ontology/saref4inma.ttl @@ -12,7 +12,8 @@ rdf:type owl:Ontology ; owl:versionIRI ; - owl:imports ; + owl:imports , + ; , ; "2015-03-29"^^xsd:date ; -- GitLab From f0518b4d514b97fe70f885c99993b33a393cc2b4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mari=CC=81a?= Date: Tue, 18 Jun 2024 12:50:50 +0200 Subject: [PATCH 4/7] remove restriction about s4inma:hasIDValue from Item as it is a shortcut for the ID class. Core hasIdentifier could be instead. --- ontology/saref4inma.ttl | 4 ---- 1 file changed, 4 deletions(-) diff --git a/ontology/saref4inma.ttl b/ontology/saref4inma.ttl index a56bd8d..94abe2f 100644 --- a/ontology/saref4inma.ttl +++ b/ontology/saref4inma.ttl @@ -438,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 ; -- GitLab From 2c30c62a5cc463e931f6ed4541cb99f47d521ce6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mari=CC=81a?= Date: Tue, 18 Jun 2024 13:02:10 +0200 Subject: [PATCH 5/7] added diagram following Chowlk --- documentation/diagrams/saref4inmaOverview.xml | 627 ++++++++++++++++++ 1 file changed, 627 insertions(+) create mode 100644 documentation/diagrams/saref4inmaOverview.xml diff --git a/documentation/diagrams/saref4inmaOverview.xml b/documentation/diagrams/saref4inmaOverview.xml new file mode 100644 index 0000000..61923b8 --- /dev/null +++ b/documentation/diagrams/saref4inmaOverview.xml @@ -0,0 +1,627 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- GitLab From a5d86759fed8f4a3df070c36221d0dedd295eae7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mari=CC=81a?= Date: Tue, 18 Jun 2024 13:58:03 +0200 Subject: [PATCH 6/7] refined diagram --- documentation/diagrams/saref4inmaOverview.xml | 156 ++++++++++-------- 1 file changed, 87 insertions(+), 69 deletions(-) diff --git a/documentation/diagrams/saref4inmaOverview.xml b/documentation/diagrams/saref4inmaOverview.xml index 61923b8..4376876 100644 --- a/documentation/diagrams/saref4inmaOverview.xml +++ b/documentation/diagrams/saref4inmaOverview.xml @@ -1,6 +1,6 @@ - + - + @@ -291,16 +291,16 @@ - - + + - + - + @@ -311,7 +311,7 @@ - + @@ -322,7 +322,7 @@ - + @@ -332,183 +332,183 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -520,16 +520,16 @@ - + - + - + @@ -540,87 +540,105 @@ - + - + - + - + - + - + - + - + - + + - + - + - + - + - + - + - + - + - + + + + + + + + + + + + + + + + + + -- GitLab From 39a53f8de449371de77efa2937e0bdaf2b860c73 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mari=CC=81a?= Date: Tue, 18 Jun 2024 14:24:48 +0200 Subject: [PATCH 7/7] removed OWL api comment --- ontology/saref4inma.ttl | 3 --- 1 file changed, 3 deletions(-) diff --git a/ontology/saref4inma.ttl b/ontology/saref4inma.ttl index 94abe2f..b38ac69 100644 --- a/ontology/saref4inma.ttl +++ b/ontology/saref4inma.ttl @@ -615,6 +615,3 @@ s4inma:WorkCenter rdf:type owl:Class ; s4inma:WorkCenter ) ] . - - -### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi -- GitLab