Add software class-disjointedness statements from Sean

This patch is known to not pass CI due to an already-existing and unresolved modeling question on ServicePack. References: * ucoProject/UCO#596 (comment) Co-authored-by: Sean Barnum <[email protected]> Signed-off-by: Alex Nelson <[email protected]>
ucoProject · Nov 6, 2024 · 510f41f · 510f41f
1 parent 62e037e
commit 510f41f
Showing 1 changed file with 60 additions and 0 deletions.
diff --git a/ontology/uco-gufo.ttl b/ontology/uco-gufo.ttl
@@ -47,6 +47,10 @@ drafting:BuildUtility
 		;
 	rdfs:subClassOf uco-observable:Software ;
 	rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
+	owl:disjointWith
+		uco-observable:Library ,
+		uco-observable:OperatingSystem
+		;
 	.
 
 drafting:Compiler
@@ -59,6 +63,7 @@ drafting:Compiler
 		uco-observable:Software
 		;
 	rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
+	owl:disjointWith uco-observable:OperatingSystem ;
 	.
 
 drafting:DeploymentScript
@@ -201,6 +206,13 @@ drafting:ServicePack
 		uco-observable:Software
 		;
 	rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
+	owl:disjointWith
+		drafting:BuildUtility ,
+		drafting:Compiler ,
+		uco-observable:Application ,
+		uco-observable:Library ,
+		uco-observable:OperatingSystem
+		;
 	.
 
 drafting:SoftwareBuild
@@ -230,6 +242,19 @@ drafting:Task
 		;
 	rdfs:subClassOf uco-observable:Software ;
 	rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
+	owl:disjointWith
+		drafting:BuildUtility ,
+		drafting:Compiler ,
+		drafting:Script ,
+		drafting:ServicePack ,
+		drafting:SoftwareBuild ,
+		uco-observable:Application ,
+		uco-observable:Code ,
+		uco-observable:Library ,
+		uco-observable:OperatingSystem ,
+		uco-observable:Process ,
+		uco-observable:ProcessThread
+		;
 	.
 
 drafting:Vehicle
@@ -426,6 +451,10 @@ uco-observable:AlternateDataStream
 
 uco-observable:Application
 	a gufo:Category ;
+	owl:disjointWith
+		uco-observable:Library ,
+		uco-observable:OperatingSystem
+		;
 	.
 
 uco-observable:BluetoothAddressFacet
@@ -449,6 +478,11 @@ uco-observable:FileSystemObject
 
 uco-observable:Library
 	a gufo:SubKind ;
+	owl:disjointWith
+		drafting:BuildUtility ,
+		drafting:Compiler ,
+		uco-observable:OperatingSystem
+		;
 	.
 
 uco-observable:MACAddressFacet
@@ -461,10 +495,36 @@ uco-observable:OperatingSystem
 
 uco-observable:Process
 	a gufo:Kind ;
+	owl:disjointWith
+		drafting:BuildUtility ,
+		drafting:Compiler ,
+		drafting:Script ,
+		drafting:ServicePack ,
+		drafting:SoftwareBuild ,
+		drafting:Task ,
+		uco-observable:Application ,
+		uco-observable:Code ,
+		uco-observable:Library ,
+		uco-observable:OperatingSystem ,
+		uco-observable:ProcessThread
+		;
 	.
 
 uco-observable:ProcessThread
 	a gufo:Kind ;
+	owl:disjointWith
+		drafting:BuildUtility ,
+		drafting:Compiler ,
+		drafting:Script ,
+		drafting:ServicePack ,
+		drafting:SoftwareBuild ,
+		drafting:Task ,
+		uco-observable:Application ,
+		uco-observable:Code ,
+		uco-observable:Library ,
+		uco-observable:OperatingSystem ,
+		uco-observable:Process
+		;
 	.
 
 uco-observable:Software