Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Classify revisions currently in Software-restructuring proposal #12

Draft
wants to merge 13 commits into
base: main
Choose a base branch
from
Draft

Classify revisions currently in Software-restructuring proposal #12

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
de5d749
Classify revisions currently in Software-restructuring proposal
ajnelson-nist Jun 7, 2024
e5eaf60
Merge branch 'main' into UCO-Feature-Issue-596
ajnelson-nist Jun 11, 2024
5ef29da
Merge branch 'main' into UCO-Feature-Issue-596
ajnelson-nist Jun 18, 2024
c8895ad
Merge branch 'main' into UCO-Feature-Issue-596, with fixes
ajnelson-nist Jul 18, 2024
e82a00f
Merge branch 'main' into UCO-Feature-Issue-596
ajnelson-nist Oct 11, 2024
5911a6b
Merge branch 'main' into UCO-Feature-Issue-596
ajnelson-nist Nov 1, 2024
62e037e
Update UCO Issue 596 review
ajnelson-nist Nov 1, 2024
510f41f
Add software class-disjointedness statements from Sean
ajnelson-nist Nov 6, 2024
b1f1e58
Add symmetric owl:disjointWith statements
ajnelson-nist Nov 6, 2024
31fe751
Merge branch 'main' into UCO-Feature-Issue-596
ajnelson-nist Nov 6, 2024
1cff2c1
Instantiate LinuxThread
ajnelson-nist Nov 6, 2024
10191e6
Guess, pending example discussion
ajnelson-nist Nov 6, 2024
4cde4da
Realign ServicePack under Package; align Package with gUFO ConcreteIn…
ajnelson-nist Nov 12, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
294 changes: 294 additions & 0 deletions ontology/uco-gufo.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,52 @@ drafting:Bearing
rdfs:seeAlso <https://github.com/ucoProject/UCO/issues/567> ;
.

drafting:BuildUtility
a
gufo:Category ,
owl:Class
;
rdfs:subClassOf uco-observable:Software ;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
owl:disjointWith
drafting:ServicePack ,
drafting:Task ,
uco-observable:Library ,
uco-observable:OperatingSystem ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

drafting:Compiler
a
gufo:SubKind ,
owl:Class
;
rdfs:subClassOf
gufo:FunctionalComplex ,
uco-observable:Software
;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
owl:disjointWith
drafting:ServicePack ,
drafting:Task ,
uco-observable:Library ,
uco-observable:OperatingSystem ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

drafting:DeploymentScript
a
gufo:SubKind ,
owl:Class
;
rdfs:subClassOf drafting:Script ;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
.

drafting:Endurant
a owl:Class ;
rdfs:subClassOf
Expand Down Expand Up @@ -78,6 +124,63 @@ drafting:GeneralFacetType
;
.

drafting:LinuxProcess
a
gufo:SubKind ,
owl:Class
;
rdfs:subClassOf uco-observable:Process ;
.

drafting:LinuxService
a
gufo:SubKind ,
owl:Class
;
rdfs:subClassOf
drafting:LinuxProcess ,
drafting:Service
;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
.

drafting:LinuxTask
a
gufo:SubKind ,
owl:Class
;
rdfs:subClassOf drafting:Task ;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
.

drafting:LinuxThread
a
gufo:SubKind ,
owl:Class
;
rdfs:subClassOf uco-observable:ProcessThread ;
.

drafting:Package
a
gufo:Category ,
owl:Class
;
rdfs:subClassOf
gufo:FunctionalComplex ,
uco-observable:Software ,
[
a owl:Restriction ;
owl:onProperty [
owl:inverse gufo:isComponentOf ;
] ;
owl:onClass drafting:SoftwareBuild ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
]
;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
.

drafting:Perdurant
a owl:Class ;
rdfs:subClassOf
Expand All @@ -97,6 +200,65 @@ drafting:Quality
rdfs:seeAlso <https://github.com/ucoProject/UCO/issues/535> ;
.

drafting:Script
a
gufo:Kind ,
owl:Class
;
rdfs:subClassOf uco-observable:Software ;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
owl:disjointWith
drafting:Task ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

drafting:Service
a
gufo:Category ,
owl:Class
;
rdfs:subClassOf uco-observable:Process ;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
.

drafting:ServicePack
a
gufo:Kind ,
owl:Class
;
rdfs:subClassOf drafting:Package ;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
owl:disjointWith
drafting:BuildUtility ,
drafting:Compiler ,
drafting:Task ,
uco-observable:Application ,
uco-observable:Library ,
uco-observable:OperatingSystem ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

drafting:SoftwareBuild
a
gufo:Kind ,
owl:Class
;
rdfs:subClassOf
gufo:FunctionalComplex ,
uco-observable:Software
;
rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
owl:disjointWith
drafting:Task ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

drafting:SpecificFacetType
a owl:Class ;
rdfs:subClassOf
Expand All @@ -105,6 +267,28 @@ drafting:SpecificFacetType
;
.

drafting:Task
a
gufo:Kind ,
owl:Class
;
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
a owl:Class ;
rdfs:subClassOf uco-observable:Device ;
Expand Down Expand Up @@ -305,10 +489,31 @@ uco-observable:AlternateDataStream
;
.

uco-observable:Application
a gufo:Category ;
owl:disjointWith
drafting:ServicePack ,
drafting:Task ,
uco-observable:Library ,
uco-observable:OperatingSystem ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

uco-observable:BluetoothAddressFacet
a drafting:SpecificFacetType ;
.

uco-observable:Code
a gufo:Category ;
owl:disjointWith
drafting:Task ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

uco-observable:Device
rdfs:subClassOf
drafting:Endurant ,
Expand All @@ -320,14 +525,103 @@ uco-observable:FileSystemObject
a gufo:Category ;
.

uco-observable:Library
a gufo:SubKind ;
owl:disjointWith
drafting:BuildUtility ,
drafting:Compiler ,
drafting:ServicePack ,
drafting:Task ,
uco-observable:Application ,
uco-observable:OperatingSystem ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

uco-observable:MACAddressFacet
a drafting:GeneralFacetType ;
.

uco-observable:OperatingSystem
a gufo:Kind ;
owl:disjointWith
drafting:BuildUtility ,
drafting:Compiler ,
drafting:ServicePack ,
drafting:Task ,
uco-observable:Application ,
uco-observable:Library ,
uco-observable:Process ,
uco-observable:ProcessThread
;
.

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
a gufo:Category ;
.

uco-observable:WindowsService
a gufo:SubKind ;
rdfs:subClassOf drafting:Service ;
.

uco-observable:WindowsTask
a gufo:SubKind ;
rdfs:subClassOf drafting:Task ;
.

uco-observable:WindowsThread
a gufo:SubKind ;
rdfs:subClassOf uco-observable:ProcessThread ;
.

uco-types:Hash
rdfs:subClassOf gufo:AbstractIndividual ;
.

[]
a owl:Axiom ;
rdfs:comment "Mereologically, Package is comprised of multiple parts, including the distribution resource (/payload)."@en ;
owl:annotatedObject gufo:FunctionalComplex ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedSubject drafting:Package ;
.

[]
a owl:Axiom ;
rdfs:comment
Expand Down
2 changes: 1 addition & 1 deletion tests/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -105,7 +105,7 @@ monolithic.ttl: \
> _$@
source $(top_srcdir)/venv/bin/activate \
&& pyshacl \
--shacl $(uco_srcdir)/ontology/owl/owl.ttl \
--shacl _$@ \
_$@
# The monolithic build reviews itself, due to shapes pertaining to meta-classes.
source $(top_srcdir)/venv/bin/activate \
Expand Down
Loading
Loading