Merge pull request #9 from ucoProject/classify_assertion

Classify AnalyticResult and Assertion
ucoProject · Jun 11, 2024 · 3d9a469 · 3d9a469
2 parents 304fb10 + 9aba51b
commit 3d9a469
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 0 deletions.
diff --git a/ontology/uco-gufo.ttl b/ontology/uco-gufo.ttl
@@ -7,6 +7,7 @@
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
 @prefix uco-action: <https://ontology.unifiedcyberontology.org/uco/action/> .
+@prefix uco-analysis: <https://ontology.unifiedcyberontology.org/uco/analysis/> .
 @prefix uco-core: <https://ontology.unifiedcyberontology.org/uco/core/> .
 @prefix uco-identity: <https://ontology.unifiedcyberontology.org/uco/identity/> .
 @prefix uco-observable: <https://ontology.unifiedcyberontology.org/uco/observable/> .
@@ -151,6 +152,18 @@ uco-action:startTime
 		;
 	.
 
+uco-analysis:AnalyticResult
+	a gufo:SubKind ;
+	.
+
+uco-core:Assertion
+	a gufo:Kind ;
+	rdfs:subClassOf
+		drafting:Endurant ,
+		gufo:Object
+		;
+	.
+
 uco-core:Event
 	rdfs:subClassOf drafting:Perdurant ;
 	.
@@ -235,3 +248,15 @@ uco-types:Hash
 	owl:annotatedSubject uco-core:Facet ;
 	.
 
+[]
+	a owl:Axiom ;
+	rdfs:seeAlso
+		<http://example.org/kb/AnalyticResult-14641bfa-ef39-4394-a8ae-d0f57a2d637a> ,
+		<https://github.com/casework/CASE-Examples/tree/dc6f6b901289c1684fd88e25e9bcec925974d155/examples/illustrations/partitions> ,
+		uco-analysis:AnalyticResult
+		;
+	owl:annotatedObject gufo:Object ;
+	owl:annotatedProperty rdfs:subClassOf ;
+	owl:annotatedSubject uco-core:Assertion ;
+	.
+
diff --git a/tests/exemplars.ttl b/tests/exemplars.ttl
@@ -8,6 +8,7 @@
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
 @prefix time: <http://www.w3.org/2006/time#> .
 @prefix uco-action: <https://ontology.unifiedcyberontology.org/uco/action/> .
+@prefix uco-analysis: <https://ontology.unifiedcyberontology.org/uco/analysis/> .
 @prefix uco-core: <https://ontology.unifiedcyberontology.org/uco/core/> .
 @prefix uco-identity: <https://ontology.unifiedcyberontology.org/uco/identity/> .
 @prefix uco-observable: <https://ontology.unifiedcyberontology.org/uco/observable/> .
@@ -29,6 +30,10 @@ kb:Action-13c91d40-9ca0-4558-81a1-4f7db888c371
 	gufo:hasEndPointInXSDDateTimeStamp "2021-02-03T04:05:06Z"^^xsd:dateTimeStamp ;
 	.
 
+kb:AnalyticResult-34fb92db-d576-45a7-9d62-dae04510968f
+	a uco-analysis:AnalyticResult ;
+	.
+
 kb:BluetoothAddress-53c6bc31-4f9c-4ca7-96cb-c9c61d7e4ca2
 	a uco-observable:BluetoothAddress ;
 	uco-core:hasFacet