Issue 619: Add Non/InformationResource

ontology/uco/action/action.ttl

@@ -37,7 +37,10 @@ action:Action
 		owl:Class ,
 		sh:NodeShape
 		;
-	rdfs:subClassOf core:UcoObject ;
+	rdfs:subClassOf
+		core:NeverInformationResource ,
+		core:UcoObject
+		;
 	rdfs:label "Action"@en ;
 	rdfs:comment "An action is something that may be done or performed."@en ;
 	owl:disjointWith core:Event ;

ontology/uco/core/core.ttl

@@ -181,7 +181,10 @@ core:Event
 		owl:Class ,
 		sh:NodeShape
 		;
-	rdfs:subClassOf core:UcoObject ;
+	rdfs:subClassOf
+		core:NeverInformationResource ,
+		core:UcoObject
+		;
 	rdfs:label "Event"@en ;
 	rdfs:comment "An Event is a noteworthy occurrence (something that happens or might happen)."@en ;
 	owl:disjointWith action:Action ;
@@ -284,6 +287,27 @@ core:IdentityAbstraction
 	sh:targetClass core:IdentityAbstraction ;
 	.
 
+core:InformationResource
+	a
+		owl:Class ,
+		sh:NodeShape
+		;
+	rdfs:subClassOf core:UcoThing ;
+	owl:disjointWith core:NeverInformationResource ;
+	sh:targetClass core:InformationResource ;
+	.
+
+core:InformationResource-disjointWith-NeverInformationResource-shape
+	a sh:NodeShape ;
+	sh:message "core:InformationResource and core:NeverInformationResource are disjoint classes.  Assigning both types to a single node will be an error as of UCO 2.0.0."@en ;
+	sh:not [
+		a sh:NodeShape ;
+		sh:class core:NeverInformationResource ;
+	] ;
+	sh:severity sh:Warning ;
+	sh:targetClass core:InformationResource ;
+	.
+
 core:Item
 	a
 		owl:Class ,
@@ -317,6 +341,24 @@ core:ModusOperandi
 	sh:targetClass core:ModusOperandi ;
 	.
 
+core:NeverInformationResource
+	a
+		owl:Class ,
+		sh:NodeShape
+		;
+	rdfs:subClassOf core:NonInformationResource ;
+	sh:targetClass core:NeverInformationResource ;
+	.
+
+core:NonInformationResource
+	a
+		owl:Class ,
+		sh:NodeShape
+		;
+	rdfs:subClassOf core:UcoThing ;
+	sh:targetClass core:NonInformationResource ;
+	.
+
 core:Relationship
 	a
 		owl:Class ,
@@ -371,7 +413,7 @@ core:UcoInherentCharacterizationThing
 		owl:Class ,
 		sh:NodeShape
 		;
-	rdfs:subClassOf core:UcoThing ;
+	rdfs:subClassOf core:NeverInformationResource ;
 	rdfs:label "UcoInherentCharacterizationThing"@en ;
 	rdfs:comment "A UCO inherent characterization thing is a grouping of characteristics unique to a particular inherent aspect of a UCO domain object."@en ;
 	sh:targetClass core:UcoInherentCharacterizationThing ;

ontology/uco/identity/identity.ttl

@@ -160,7 +160,10 @@ identity:Organization
 		owl:Class ,
 		sh:NodeShape
 		;
-	rdfs:subClassOf identity:Identity ;
+	rdfs:subClassOf
+		core:NeverInformationResource ,
+		identity:Identity
+		;
 	rdfs:label "Organization"@en ;
 	rdfs:comment "An organization is a grouping of identifying characteristics unique to a group of people who work together in an organized way for a shared purpose. [based on https://dictionary.cambridge.org/us/dictionary/english/organization]"@en ;
 	sh:targetClass identity:Organization ;
@@ -182,7 +185,10 @@ identity:Person
 		owl:Class ,
 		sh:NodeShape
 		;
-	rdfs:subClassOf identity:Identity ;
+	rdfs:subClassOf
+		core:NeverInformationResource ,
+		identity:Identity
+		;
 	rdfs:label "Person"@en ;
 	rdfs:comment "A person is a grouping of identifying characteristics unique to a human being regarded as an individual. [based on https://www.lexico.com/en/definition/person]"@en ;
 	sh:targetClass identity:Person ;

ontology/uco/observable/observable.ttl

@@ -2221,7 +2221,10 @@ observable:Device
 		owl:Class ,
 		sh:NodeShape
 		;
-	rdfs:subClassOf observable:ObservableObject ;
+	rdfs:subClassOf
+		core:NeverInformationResource ,
+		observable:ObservableObject
+		;
 	rdfs:label "Device"@en ;
 	rdfs:comment "A device is a piece of equipment or a mechanism designed to serve a special purpose or perform a special function. [based on https://www.merriam-webster.com/dictionary/device]"@en ;
 	sh:targetClass observable:Device ;
@@ -6903,7 +6906,10 @@ observable:URL
 		owl:Class ,
 		sh:NodeShape
 		;
-	rdfs:subClassOf observable:ObservableObject ;
+	rdfs:subClassOf
+		core:NeverInformationResource ,
+		observable:ObservableObject
+		;
 	rdfs:label "URL"@en ;
 	rdfs:comment "A URL is a uniform resource locator (URL) acting as a resolvable address to a particular WWW (World Wide Web) accessible resource."@en ;
 	sh:targetClass observable:URL ;
@@ -7359,12 +7365,26 @@ observable:WebPage
 		owl:Class ,
 		sh:NodeShape
 		;
-	rdfs:subClassOf observable:ObservableObject ;
+	rdfs:subClassOf
+		core:InformationResource ,
+		observable:WebResource
+		;
 	rdfs:label "WebPage"@en ;
 	rdfs:comment "A web page is a specific collection of information provided by a website and displayed to a user in a web browser. A website typically consists of many web pages linked together in a coherent fashion. [based on https://en.wikipedia.org/wiki/Web_page]"@en ;
 	sh:targetClass observable:WebPage ;
 	.
 
+observable:WebResource
+	a
+		owl:Class ,
+		sh:NodeShape
+		;
+	rdfs:subClassOf observable:ObservableObject ;
+	rdfs:label "WebResource"@en ;
+	rdfs:seeAlso <https://www.rfc-editor.org/rfc/rfc9110.html#name-resources> ;
+	sh:targetClass observable:WebResource ;
+	.
+
 observable:WhoIs
 	a
 		owl:Class ,

tests/examples/Makefile

@@ -37,6 +37,7 @@ all: \
   has_facet_inverse_functional_XFAIL_validation.ttl \
   hash_PASS_validation.ttl \
   hash_XFAIL_validation.ttl \
+  information_resource_PASS_validation.ttl \
   location_PASS_validation.ttl \
   location_XFAIL_validation.ttl \
   message_thread_PASS_validation.ttl \
@@ -112,6 +113,7 @@ check: \
   has_facet_inverse_functional_XFAIL_validation.ttl \
   hash_PASS_validation.ttl \
   hash_XFAIL_validation.ttl \
+  information_resource_PASS_validation.ttl \
   location_PASS_validation.ttl \
   location_XFAIL_validation.ttl \
   message_thread_PASS_validation.ttl \

tests/examples/information_resource_PASS.json

@@ -0,0 +1,74 @@
+{
+    "@context": {
+        "core": "https://ontology.unifiedcyberontology.org/uco/core/",
+        "kb": "http://example.org/kb/",
+        "identity": "https://ontology.unifiedcyberontology.org/uco/identity/",
+        "observable": "https://ontology.unifiedcyberontology.org/uco/observable/",
+        "rdfs": "http://www.w3.org/2000/01/rdf-schema#"
+    },
+    "@graph": [
+        {
+            "@id": "http://example.org/~bob",
+            "@type": [
+                "identity:Person",
+                "observable:WebPage"
+            ],
+            "core:name": "Bob",
+            "core:description": "Bob's company home page.",
+            "rdfs:comment": "This node will trigger a warning from conflating a node as both a person and the person's home page.",
+            "rdfs:seeAlso": [
+                {
+                    "@id": "kb:Person-a3d3af3d-ea1d-47f6-bc02-ac334ded6549"
+                },
+                {
+                    "@id": "kb:WebPage-1c05c378-124e-4d3c-898a-fb5a8d178cf8"
+                }
+            ]
+        },
+        {
+            "@id": "kb:Person-a3d3af3d-ea1d-47f6-bc02-ac334ded6549",
+            "@type": "identity:Person",
+            "core:name": "Bob",
+            "rdfs:seeAlso": {
+                "@id": "http://example.org/~bob"
+            }
+        },
+        {
+            "@id": "kb:WebPage-1c05c378-124e-4d3c-898a-fb5a8d178cf8",
+            "@type": "observable:WebPage",
+            "core:description": "Bob's company home page.",
+            "rdfs:seeAlso": {
+                "@id": "http://example.org/~bob"
+            }
+        },
+        {
+            "@id": "http://example.org/~chris",
+            "@type": "observable:WebResource",
+            "rdfs:comment": "This node will trigger an info-level result from not designating itself a InformationResource, and not ending with a UUID."
+        },
+        {
+            "@id": "https://mc.example.co.jp/",
+            "@type": "observable:WebPage",
+            "rdfs:comment": [
+                "This node should trigger no errors, even when incorporating the annotations on the same identifier from another JSON dict.",
+                "This JSON dict was provided by a market analyst in Japan."
+            ]
+        },
+        {
+            "@id": "https://mc.example.co.jp/",
+            "@type": ["core:NonInformationResource", "observable:WebResource"],
+            "rdfs:comment": [
+                "This node should trigger no errors, even when incorporating the annotations on the same identifier from another JSON dict.",
+                "This JSON dict was provided by a market analyst in France."
+            ]
+        },
+        {
+            "@id": "https://mc.example.co.jp/lang-fr/",
+            "@type": "observable:WebPage",
+            "rdfs:comment": [
+                "This node should trigger no errors.",
+                "This JSON dict was provided by a market analyst in France."
+            ]
+        }
+    ]
+}

tests/examples/information_resource_PASS_validation.ttl

@@ -0,0 +1,139 @@
+@prefix core: <https://ontology.unifiedcyberontology.org/uco/core/> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix sh: <http://www.w3.org/ns/shacl#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+[]
+	a sh:ValidationReport ;
+	sh:conforms "true"^^xsd:boolean ;
+	sh:result
+		[
+			a sh:ValidationResult ;
+			sh:focusNode <http://example.org/~bob> ;
+			sh:resultMessage "UcoThings are suggested to end with a UUID." ;
+			sh:resultSeverity sh:Info ;
+			sh:sourceConstraint [
+				a sh:SPARQLConstraint ;
+				rdfs:seeAlso <https://datatracker.ietf.org/doc/html/rfc4122#section-4.1.3> ;
+				sh:message "UcoThings are suggested to end with a UUID."@en ;
+				sh:select '''
+			PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
+			PREFIX core: <https://ontology.unifiedcyberontology.org/uco/core/>
+			SELECT $this
+			WHERE {
+			        $this a/rdfs:subClassOf* core:UcoThing .
+			        FILTER (
+			                ! REGEX (
+			                        STR($this),
+			                        "[0-9a-f]{8}-[0-9a-f]{4}-[0-5][0-9a-f]{3}-[0-9a-f]{4}-[0-9a-f]{12}$",
+			                        "i"
+			                )
+			        )
+			}
+		''' ;
+			] ;
+			sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
+			sh:sourceShape core:UcoThing-identifier-regex-shape ;
+			sh:value <http://example.org/~bob> ;
+		] ,
+		[
+			a sh:ValidationResult ;
+			sh:focusNode <http://example.org/~bob> ;
+			sh:resultMessage "core:InformationResource and core:NeverInformationResource are disjoint classes.  Assigning both types to a single node will be an error as of UCO 2.0.0."@en ;
+			sh:resultSeverity sh:Warning ;
+			sh:sourceConstraintComponent sh:NotConstraintComponent ;
+			sh:sourceShape core:InformationResource-disjointWith-NeverInformationResource-shape ;
+			sh:value <http://example.org/~bob> ;
+		] ,
+		[
+			a sh:ValidationResult ;
+			sh:focusNode <http://example.org/~chris> ;
+			sh:resultMessage "UcoThings are suggested to end with a UUID." ;
+			sh:resultSeverity sh:Info ;
+			sh:sourceConstraint [
+				a sh:SPARQLConstraint ;
+				rdfs:seeAlso <https://datatracker.ietf.org/doc/html/rfc4122#section-4.1.3> ;
+				sh:message "UcoThings are suggested to end with a UUID."@en ;
+				sh:select '''
+			PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
+			PREFIX core: <https://ontology.unifiedcyberontology.org/uco/core/>
+			SELECT $this
+			WHERE {
+			        $this a/rdfs:subClassOf* core:UcoThing .
+			        FILTER (
+			                ! REGEX (
+			                        STR($this),
+			                        "[0-9a-f]{8}-[0-9a-f]{4}-[0-5][0-9a-f]{3}-[0-9a-f]{4}-[0-9a-f]{12}$",
+			                        "i"
+			                )
+			        )
+			}
+		''' ;
+			] ;
+			sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
+			sh:sourceShape core:UcoThing-identifier-regex-shape ;
+			sh:value <http://example.org/~chris> ;
+		] ,
+		[
+			a sh:ValidationResult ;
+			sh:focusNode <https://mc.example.co.jp/> ;
+			sh:resultMessage "UcoThings are suggested to end with a UUID." ;
+			sh:resultSeverity sh:Info ;
+			sh:sourceConstraint [
+				a sh:SPARQLConstraint ;
+				rdfs:seeAlso <https://datatracker.ietf.org/doc/html/rfc4122#section-4.1.3> ;
+				sh:message "UcoThings are suggested to end with a UUID."@en ;
+				sh:select '''
+			PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
+			PREFIX core: <https://ontology.unifiedcyberontology.org/uco/core/>
+			SELECT $this
+			WHERE {
+			        $this a/rdfs:subClassOf* core:UcoThing .
+			        FILTER (
+			                ! REGEX (
+			                        STR($this),
+			                        "[0-9a-f]{8}-[0-9a-f]{4}-[0-5][0-9a-f]{3}-[0-9a-f]{4}-[0-9a-f]{12}$",
+			                        "i"
+			                )
+			        )
+			}
+		''' ;
+			] ;
+			sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
+			sh:sourceShape core:UcoThing-identifier-regex-shape ;
+			sh:value <https://mc.example.co.jp/> ;
+		] ,
+		[
+			a sh:ValidationResult ;
+			sh:focusNode <https://mc.example.co.jp/lang-fr/> ;
+			sh:resultMessage "UcoThings are suggested to end with a UUID." ;
+			sh:resultSeverity sh:Info ;
+			sh:sourceConstraint [
+				a sh:SPARQLConstraint ;
+				rdfs:seeAlso <https://datatracker.ietf.org/doc/html/rfc4122#section-4.1.3> ;
+				sh:message "UcoThings are suggested to end with a UUID."@en ;
+				sh:select '''
+			PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
+			PREFIX core: <https://ontology.unifiedcyberontology.org/uco/core/>
+			SELECT $this
+			WHERE {
+			        $this a/rdfs:subClassOf* core:UcoThing .
+			        FILTER (
+			                ! REGEX (
+			                        STR($this),
+			                        "[0-9a-f]{8}-[0-9a-f]{4}-[0-5][0-9a-f]{3}-[0-9a-f]{4}-[0-9a-f]{12}$",
+			                        "i"
+			                )
+			        )
+			}
+		''' ;
+			] ;
+			sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
+			sh:sourceShape core:UcoThing-identifier-regex-shape ;
+			sh:value <https://mc.example.co.jp/lang-fr/> ;
+		]
+		;
+	.
+