From 1ef5255eff74307fd02df59bdc446645f2afbcf0 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Wed, 22 Jun 2022 11:33:41 -0400 Subject: [PATCH] Regenerate Make-managed files References: * https://github.com/ucoProject/UCO/issues/389 Signed-off-by: Alex Nelson --- ontology/CASE-unstable.ttl | 149 +++++++++++++++++++++++++++++++++++++ 1 file changed, 149 insertions(+) diff --git a/ontology/CASE-unstable.ttl b/ontology/CASE-unstable.ttl index 82fb40cf..25dfecbf 100644 --- a/ontology/CASE-unstable.ttl +++ b/ontology/CASE-unstable.ttl @@ -1,3 +1,4 @@ +# imports: http://purl.org/co # imports: http://www.w3.org/TR/skos-reference/skos-owl1-dl.rdf # imports: https://ontology.caseontology.org/case/investigation # imports: https://ontology.caseontology.org/case/vocabulary @@ -17,6 +18,7 @@ # imports: https://ontology.unifiedcyberontology.org/uco/vocabulary @prefix action: . +@prefix co: . @prefix core: . @prefix dcterms: . @prefix identity: . @@ -34,6 +36,7 @@ @prefix time1: . @prefix tool: . @prefix types: . +@prefix uco-co: . @prefix victim: . @prefix vocab: . @prefix vocabulary1: . @@ -73,6 +76,12 @@ rdfs:label "vocabularies"@en ; . + + a owl:Ontology ; + rdfs:comment "This ontology defines SHACL shapes to supplement the OWL 2 DL definitions in the Collections Ontology."@en ; + owl:imports ; + . + a owl:Ontology ; rdfs:label "uco-action"@en ; @@ -197,6 +206,10 @@ rdfs:label "uco-vocabularies"@en ; . +co:ListItem + rdfs:subClassOf co:Item ; + . + dcterms:FileFormat a owl:Class ; rdfs:comment "UCO extends dcterms:FileFormat to be an OWL Class in addition to its native definition of an RDF Class."@en ; @@ -490,6 +503,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 , @@ -17029,3 +17170,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 ; + . +