Skip to content

Commit

Permalink
Regenerate Make-managed files
Browse files Browse the repository at this point in the history 
References:
* ucoProject/UCO#387
* ucoProject/UCO#389
* ucoProject/UCO#391
* ucoProject/UCO#396

Signed-off-by: Alex Nelson <[email protected]>
  • Loading branch information
@ajnelson-nist
ajnelson-nist committed Jul 22, 2022
1 parent e2168fb commit 312453b
Showing 1 changed file with 175 additions and 12 deletions.
187 changes: 175 additions & 12 deletions ontology/CASE-develop.ttl
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# imports: http://purl.org/co
# imports: https://ontology.caseontology.org/case/investigation
# imports: https://ontology.caseontology.org/case/vocabulary
# imports: https://ontology.unifiedcyberontology.org/co
# imports: https://ontology.unifiedcyberontology.org/uco/action
# imports: https://ontology.unifiedcyberontology.org/uco/core
# imports: https://ontology.unifiedcyberontology.org/uco/identity
Expand All @@ -16,6 +18,7 @@
# imports: https://ontology.unifiedcyberontology.org/uco/vocabulary

@prefix action: <https://ontology.unifiedcyberontology.org/uco/action/> .
@prefix co: <http://purl.org/co/> .
@prefix core: <https://ontology.unifiedcyberontology.org/uco/core/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix identity: <https://ontology.unifiedcyberontology.org/uco/identity/> .
Expand All @@ -32,6 +35,7 @@
@prefix time1: <https://ontology.unifiedcyberontology.org/uco/time/> .
@prefix tool: <https://ontology.unifiedcyberontology.org/uco/tool/> .
@prefix types: <https://ontology.unifiedcyberontology.org/uco/types/> .
@prefix uco-co: <https://ontology.unifiedcyberontology.org/co/> .
@prefix victim: <https://ontology.unifiedcyberontology.org/uco/victim/> .
@prefix vocab: <https://ontology.caseontology.org/case/vocabulary/> .
@prefix vocabulary1: <https://ontology.unifiedcyberontology.org/uco/vocabulary/> .
Expand Down Expand Up @@ -71,6 +75,12 @@
rdfs:label "vocabularies"@en ;
.

<https://ontology.unifiedcyberontology.org/co>
a owl:Ontology ;
rdfs:comment "This ontology defines SHACL shapes to supplement the OWL 2 DL definitions in the Collections Ontology."@en ;
owl:imports <http://purl.org/co> ;
.

<https://ontology.unifiedcyberontology.org/uco/action>
a owl:Ontology ;
rdfs:label "uco-action"@en ;
Expand Down Expand Up @@ -162,6 +172,7 @@
a owl:Ontology ;
rdfs:label "uco-master"@en ;
owl:imports
<https://ontology.unifiedcyberontology.org/co> ,
<https://ontology.unifiedcyberontology.org/uco/action> ,
<https://ontology.unifiedcyberontology.org/uco/core> ,
<https://ontology.unifiedcyberontology.org/uco/identity> ,
Expand Down Expand Up @@ -193,6 +204,10 @@
rdfs:label "uco-vocabularies"@en ;
.

co:ListItem
rdfs:subClassOf co:Item ;
.

investigation:Attorney
a
owl:Class ,
Expand Down Expand Up @@ -481,6 +496,134 @@ vocab:InvestigationFormVocab
) ;
.

uco-co:List-shape
a sh:NodeShape ;
sh:property [
sh:class co:ListItem ;
sh:path co:item ;
] ;
sh:targetClass co:List ;
.

uco-co:ListItem-shape
a sh:NodeShape ;
sh:property [
rdfs:comment "Adapted from restriction on co:ListItem."@en ;
sh:maxCount "1"^^xsd:integer ;
sh:path co:index ;
] ;
sh:targetClass co:ListItem ;
.

uco-co:firstItem-subjects-previousItem-shape
a sh:PropertyShape ;
sh:description "The first item in a list must not have a previous item."@en ;
sh:maxCount "0"^^xsd:integer ;
sh:path (
co:firstItem
co:previousItem
) ;
sh:targetSubjectsOf co:firstItem ;
.

uco-co:firstItem-subjects-shape
a sh:PropertyShape ;
sh:class co:ListItem ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:firstItem ;
sh:targetSubjectsOf co:firstItem ;
.

uco-co:followedBy-subjects-shape
a sh:PropertyShape ;
sh:class co:Item ;
sh:description "This shape encodes in SHACL that co:followedBy has range co:Item (induced via the propertyChainAxiom on co:item and superproperty relationship with co:nextItem)."@en ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:followedBy ;
sh:targetSubjectsOf co:followedBy ;
.

uco-co:index-subjects-shape
a sh:PropertyShape ;
sh:datatype xsd:positiveInteger ;
sh:nodeKind sh:Literal ;
sh:path co:index ;
sh:targetSubjectsOf co:index ;
.

uco-co:item-subjects-shape
a sh:PropertyShape ;
sh:class co:Item ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:item ;
sh:targetSubjectsOf co:item ;
.

uco-co:itemContent-subjects-shape
a sh:NodeShape ;
sh:not [
a sh:PropertyShape ;
sh:class co:Item ;
sh:description "This shape encodes in SHACL that the range of co:itemContent is the complement of co:Item."@en ;
sh:path co:itemContent ;
] ;
sh:property [
a sh:PropertyShape ;
sh:description "This shape encodes in SHACL that co:itemContent is an OWL FunctionalProperty (giving the sh:maxCount constraint)."@en ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:itemContent ;
] ;
sh:targetSubjectsOf co:itemContent ;
.

uco-co:lastItem-subjects-shape
sh:class co:ListItem ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:lastItem ;
sh:targetSubjectsOf co:lastItem ;
.

uco-co:nextItem-subjects-shape
a sh:PropertyShape ;
sh:class co:Item ;
sh:description "This shape encodes in SHACL that co:nextItem is a FunctionalProperty (giving the sh:maxCount constraint), and has range co:Item (induced via the propertyChainAxiom on co:item)."@en ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:nextItem ;
sh:targetSubjectsOf co:nextItem ;
.

uco-co:precededBy-subjects-shape
a sh:PropertyShape ;
sh:class co:Item ;
sh:description "This shape encodes in SHACL that co:precededBy has range co:Item (induced via the propertyChainAxiom on co:item and superproperty relationship with co:previousItem)."@en ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:precededBy ;
sh:targetSubjectsOf co:precededBy ;
.

uco-co:previousItem-subjects-shape
a sh:PropertyShape ;
sh:class co:Item ;
sh:description "This shape encodes in SHACL that co:previousItem is a FunctionalProperty (giving the sh:maxCount constraint), and has range co:Item (induced via the propertyChainAxiom on co:item)."@en ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path co:previousItem ;
sh:targetSubjectsOf co:previousItem ;
.

uco-co:size-subjects-shape
a sh:PropertyShape ;
sh:datatype xsd:nonNegativeInteger ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:Literal ;
sh:path co:size ;
sh:targetSubjectsOf co:size ;
.

action:Action
a
owl:Class ,
Expand Down Expand Up @@ -4941,12 +5084,24 @@ observable:EventFacet
sh:nodeKind sh:BlankNodeOrIRI ;
sh:path observable:application ;
] ,
[
sh:datatype xsd:dateTime ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:Literal ;
sh:path observable:endTime ;
] ,
[
sh:datatype xsd:dateTime ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:Literal ;
sh:path observable:observableCreatedTime ;
] ,
[
sh:datatype xsd:dateTime ;
sh:maxCount "1"^^xsd:integer ;
sh:nodeKind sh:Literal ;
sh:path observable:startTime ;
] ,
[
sh:datatype xsd:string ;
sh:maxCount "1"^^xsd:integer ;
Expand Down Expand Up @@ -7307,6 +7462,17 @@ observable:ProcessFacet
sh:targetClass observable:ProcessFacet ;
.

observable:ProcessThread
a
owl:Class ,
sh:NodeShape
;
rdfs:subClassOf observable:ObservableObject ;
rdfs:label "ProcessThread"@en ;
rdfs:comment "A process thread is the smallest sequence of programmed instructions that can be managed independently by a scheduler on a computer, which is typically a part of the operating system. It is a component of a process. Multiple threads can exist within one process, executing concurrently and sharing resources such as memory, while different processes do not share these resources. In particular, the threads of a process share its executable code and the values of its dynamically allocated variables and non-thread-local global variables at any given time. [based on https://en.wikipedia.org/wiki/Thread_(computing)]"@en ;
sh:targetClass observable:ProcessThread ;
.

observable:Profile
a
owl:Class ,
Expand Down Expand Up @@ -8055,17 +8221,6 @@ observable:TaskActionType
sh:targetClass observable:TaskActionType ;
.

observable:Thread
a
owl:Class ,
sh:NodeShape
;
rdfs:subClassOf observable:ObservableObject ;
rdfs:label "Thread"@en ;
rdfs:comment "A thread is the smallest sequence of programmed instructions that can be managed independently by a scheduler on a computer, which is typically a part of the operating system. It is a component of a process. Multiple threads can exist within one process, executing concurrently and sharing resources such as memory, while different processes do not share these resources. In particular, the threads of a process share its executable code and the values of its dynamically allocated variables and non-thread-local global variables at any given time. [based on https://en.wikipedia.org/wiki/Thread_(computing)]"@en ;
sh:targetClass observable:Thread ;
.

observable:TriggerType
a
owl:Class ,
Expand Down Expand Up @@ -10313,7 +10468,7 @@ observable:WindowsThread
owl:Class ,
sh:NodeShape
;
rdfs:subClassOf observable:Thread ;
rdfs:subClassOf observable:ProcessThread ;
rdfs:label "WindowsThread"@en ;
rdfs:comment "A Windows thread is a single thread of execution within a Windows process."@en ;
sh:targetClass observable:WindowsThread ;
Expand Down Expand Up @@ -16949,3 +17104,11 @@ vocabulary1:WirelessNetworkSecurityModeVocab-members
) ;
.

[]
a owl:Axiom ;
rdfs:comment "This triple is repeated from the Collections Ontology."@en ;
owl:AnnotatedProperty rdfs:subClassOf ;
owl:AnnotatedSource co:ListItem ;
owl:AnnotatedTarget co:Item ;
.

0 comments on commit 312453b

Please sign in to comment.