From 1b66a3bc491825a91f178cd78b7f24694eac56e6 Mon Sep 17 00:00:00 2001 From: Thomas Francart Date: Fri, 13 Oct 2023 15:25:06 +0200 Subject: [PATCH 1/2] First attempt at Phase formal definition --- coos.ttl | 37 ++++++++++++++++++++++++++++++++++--- 1 file changed, 34 insertions(+), 3 deletions(-) diff --git a/coos.ttl b/coos.ttl index eecbe47..7c31ed4 100644 --- a/coos.ttl +++ b/coos.ttl @@ -87,9 +87,40 @@ coos:Phase a rdfs:Class , owl:Class ; skos:definition "Statistical production activity that is conducted at a specific stage of a process as defined by GSBPM phases"@en , "Actividad de producción estadística que es conducida en una etapa específica de un proceso definido conforme a las fases de GSBPM"@es, "Activité de production statistique conduite à une étape spécifique d'un processus comme défini par les phases du GSBPM."@fr ; rdfs:subClassOf coos:ProductionActivity ; owl:equivalentClass [ - a owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue , , , , , , , ; + rdf:type owl:Class ; + owl:unionOf ( [ rdf:type owl:Restriction ; + owl:onProperty dcterms:type ; + owl:hasValue + ] + [ rdf:type owl:Restriction ; + owl:onProperty dcterms:type ; + owl:hasValue + ] + [ rdf:type owl:Restriction ; + owl:onProperty dcterms:type ; + owl:hasValue + ] + [ rdf:type owl:Restriction ; + owl:onProperty dcterms:type ; + owl:hasValue + ] + [ rdf:type owl:Restriction ; + owl:onProperty dcterms:type ; + owl:hasValue + ] + [ rdf:type owl:Restriction ; + owl:onProperty dcterms:type ; + owl:hasValue + ] + [ rdf:type owl:Restriction ; + owl:onProperty dcterms:type ; + owl:hasValue + ] + [ rdf:type owl:Restriction ; + owl:onProperty dcterms:type ; + owl:hasValue + ] + ) ] ; rdfs:isDefinedBy . From 55488af0964c4d8b8b05a9e584d03cbca708d3d4 Mon Sep 17 00:00:00 2001 From: Thomas Francart Date: Fri, 13 Oct 2023 15:33:34 +0200 Subject: [PATCH 2/2] oneOf restriction on Phase and SubProcess --- coos.ttl | 99 ++++++++++++++++++++++++++++++++++++-------------------- 1 file changed, 64 insertions(+), 35 deletions(-) diff --git a/coos.ttl b/coos.ttl index 7c31ed4..300c9d6 100644 --- a/coos.ttl +++ b/coos.ttl @@ -87,40 +87,21 @@ coos:Phase a rdfs:Class , owl:Class ; skos:definition "Statistical production activity that is conducted at a specific stage of a process as defined by GSBPM phases"@en , "Actividad de producción estadística que es conducida en una etapa específica de un proceso definido conforme a las fases de GSBPM"@es, "Activité de production statistique conduite à une étape spécifique d'un processus comme défini par les phases du GSBPM."@fr ; rdfs:subClassOf coos:ProductionActivity ; owl:equivalentClass [ - rdf:type owl:Class ; - owl:unionOf ( [ rdf:type owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue - ] - [ rdf:type owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue - ] - [ rdf:type owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue - ] - [ rdf:type owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue - ] - [ rdf:type owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue - ] - [ rdf:type owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue - ] - [ rdf:type owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue - ] - [ rdf:type owl:Restriction ; - owl:onProperty dcterms:type ; - owl:hasValue - ] - ) + a owl:Restriction ; + owl:onProperty dcterms:type ; + owl:someValuesFrom [ + rdf:type owl:Class ; + owl:oneOf ( + + + + + + + + + ) + ] ] ; rdfs:isDefinedBy . @@ -132,7 +113,55 @@ coos:SubProcess a rdfs:Class , owl:Class ; owl:equivalentClass [ a owl:Restriction ; owl:onProperty dcterms:type ; - owl:hasValue , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ; + owl:someValuesFrom [ + rdf:type owl:Class ; + owl:oneOf ( + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ) + ] ] ; rdfs:isDefinedBy .