From 2194cab5020c5c3f39c2e10069ca4f565c891a6b Mon Sep 17 00:00:00 2001 From: elf-pavlik Date: Wed, 17 Sep 2025 12:48:44 -0600 Subject: [PATCH 1/2] add type for Class of Product --- spec.ttl | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/spec.ttl b/spec.ttl index fe25d9b..468f6dd 100644 --- a/spec.ttl +++ b/spec.ttl @@ -34,6 +34,15 @@ spec:Specification rdfs:label "Specification"@en ; rdfs:isDefinedBy spec: . +spec:ClassOfProduct + a rdfs:Class ; + rdfs:label "Class of Product"@en . + +spec:definesConformanceFor + a rdf:Property, owl:ObjectProperty ; + rdfs:label "defines conformance for"@en ; + rdfs:range spec:ClassOfProduct . + spec:requirement a rdf:Property, owl:ObjectProperty ; rdfs:label "requirement"@en ; From 1e9c1ce4fde1b036ec6a3124d1e52e696deb804a Mon Sep 17 00:00:00 2001 From: elf-pavlik Date: Wed, 17 Sep 2025 13:10:03 -0600 Subject: [PATCH 2/2] [spec] add range to requirementSubject --- spec.ttl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/spec.ttl b/spec.ttl index 468f6dd..aa92c32 100644 --- a/spec.ttl +++ b/spec.ttl @@ -60,7 +60,8 @@ spec:requirementLevel spec:requirementSubject a rdf:Property, owl:ObjectProperty ; rdfs:label "requirement subject"@en ; - rdfs:domain spec:Requirement . + rdfs:domain spec:Requirement ; + rdfs:range spec:ClassOfProduct . spec:requirementReference a rdf:Property, owl:ObjectProperty ;