Skip to content

Commit

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

Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
  • Loading branch information
@ajnelson-nist
ajnelson-nist committed Aug 19, 2022
1 parent 3db62bf commit df12cd7
Showing 1 changed file with 15 additions and 28 deletions.
43 changes: 15 additions & 28 deletions ontology/CASE-unstable.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -89,16 +89,6 @@
a owl:Ontology ;
rdfs:comment "This ontology defines SHACL shapes to perform conformance testing of OWL 2 DL. Some of these shapes follow rules specified from the canonical, subtractive parsing process of Section 3 of the OWL 2 mapping to RDF. From the last line of that document's Section 3, 'At the end of this process, the graph G MUST be empty,' anything not strictly matching patterns specified in that section cause the input graph to be non-conformant with OWL 2 DL."@en ;
rdfs:seeAlso <https://www.w3.org/TR/2012/REC-owl2-mapping-to-rdf-20121211/#Mapping_from_RDF_Graphs_to_the_Structural_Specification> ;
sh:declare
[
sh:namespace "http://www.w3.org/2002/07/owl#"^^xsd:anyURI ;
sh:prefix "owl" ;
] ,
[
sh:namespace "http://www.w3.org/ns/shacl#"^^xsd:anyURI ;
sh:prefix "sh" ;
]
;
.

<https://ontology.unifiedcyberontology.org/uco/action>
Expand Down Expand Up @@ -660,8 +650,8 @@ uco-owl:Axiom-shape
rdfs:comment "This requirement is determined from review of the canonical parsing process in Section 3 of the OWL 2 mapping to RDF. All references to owl:Axioms are identified as blank nodes. Therefore, any non-blank node that is an owl:Axiom will not be mapped and consumed by the mapping process."@en ;
rdfs:seeAlso <https://www.w3.org/TR/2012/REC-owl2-mapping-to-rdf-20121211/#Mapping_from_RDF_Graphs_to_the_Structural_Specification> ;
sh:message "An owl:Axiom must be a blank node."@en ;
sh:prefixes <http://www.w3.org/2002/07/owl#> ;
sh:select """
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT $this
WHERE {
$this a owl:Axiom .
Expand All @@ -678,11 +668,9 @@ uco-owl:DatatypeProperty-shacl-constraints-shape
[
a sh:SPARQLConstraint ;
sh:message "An OWL Datatype Property cannot use a SHACL ClassConstraintComponent."@en ;
sh:prefixes
<http://www.w3.org/1999/02/22-rdf-syntax-ns#> ,
<http://www.w3.org/ns/shacl#>
;
sh:select """
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX sh: <http://www.w3.org/ns/shacl#>
SELECT $this
WHERE {
$value
Expand All @@ -695,11 +683,9 @@ uco-owl:DatatypeProperty-shacl-constraints-shape
[
a sh:SPARQLConstraint ;
sh:message "An OWL Datatype Property must not permit a non-Literal value via SHACL constraints."@en ;
sh:prefixes
<http://www.w3.org/1999/02/22-rdf-syntax-ns#> ,
<http://www.w3.org/ns/shacl#>
;
sh:select """
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX sh: <http://www.w3.org/ns/shacl#>
SELECT $this
WHERE {
$value sh:path / rdf:rest* / rdf:first? $this .
Expand All @@ -726,8 +712,8 @@ uco-owl:Disjointedness-AP-DP-shape
a sh:SPARQLConstraint ;
rdfs:seeAlso <https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Typing_Constraints_of_OWL_2_DL> ;
sh:message "An IRI may not be a member of both an owl:AnnotationProperty and owl:DatatypeProperty."@en ;
sh:prefixes <http://www.w3.org/2002/07/owl#> ;
sh:select """
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT $this
WHERE {
$this a owl:DatatypeProperty ;
Expand All @@ -743,8 +729,8 @@ uco-owl:Disjointedness-AP-OP-shape
a sh:SPARQLConstraint ;
rdfs:seeAlso <https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Typing_Constraints_of_OWL_2_DL> ;
sh:message "An IRI may not be a member of both an owl:AnnotationProperty and owl:ObjectProperty."@en ;
sh:prefixes <http://www.w3.org/2002/07/owl#> ;
sh:select """
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT $this
WHERE {
$this a owl:ObjectProperty ;
Expand All @@ -760,8 +746,8 @@ uco-owl:Disjointedness-C-DT-shape
a sh:SPARQLConstraint ;
rdfs:seeAlso <https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Typing_Constraints_of_OWL_2_DL> ;
sh:message "An IRI may not be a member of both an owl:Class and owl:Datatype."@en ;
sh:prefixes <http://www.w3.org/2002/07/owl#> ;
sh:select """
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT $this
WHERE {
$this a owl:Datatype ;
Expand All @@ -777,8 +763,8 @@ uco-owl:Disjointedness-DP-OP-shape
a sh:SPARQLConstraint ;
rdfs:seeAlso <https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Typing_Constraints_of_OWL_2_DL> ;
sh:message "An IRI may not be a member of both owl:DatatypeProperty and owl:ObjectProperty."@en ;
sh:prefixes <http://www.w3.org/2002/07/owl#> ;
sh:select """
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT $this
WHERE {
$this a owl:ObjectProperty ;
Expand Down Expand Up @@ -816,8 +802,9 @@ uco-owl:ObjectProperty-shacl-constraints-shape
[
a sh:SPARQLConstraint ;
sh:message "An OWL Object Property cannot use a SHACL DatatypeConstraintComponent."@en ;
sh:prefixes <http://www.w3.org/ns/shacl#> ;
sh:select """
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX sh: <http://www.w3.org/ns/shacl#>
SELECT $this
WHERE {
$value
Expand All @@ -830,8 +817,8 @@ uco-owl:ObjectProperty-shacl-constraints-shape
[
a sh:SPARQLConstraint ;
sh:message "An OWL Object Property must not permit a Literal value via SHACL consraints."@en ;
sh:prefixes <http://www.w3.org/ns/shacl#> ;
sh:select """
PREFIX sh: <http://www.w3.org/ns/shacl#>
SELECT $this
WHERE {
$value sh:path / rdf:rest* / rdf:first? $this ;
Expand Down Expand Up @@ -859,8 +846,8 @@ uco-owl:ontologyIRI-shape
a sh:SPARQLConstraint ;
rdfs:seeAlso <https://www.w3.org/TR/owl2-syntax/#Ontology_IRI_and_Version_IRI> ;
sh:message "'If an ontology has an ontology IRI but no version IRI, then a different ontology with the same ontology IRI but no version IRI SHOULD NOT exist.'"@en ;
sh:prefixes <http://www.w3.org/2002/07/owl#> ;
sh:select """
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT $this
WHERE {
$value owl:ontologyIRI $this .
Expand Down Expand Up @@ -891,8 +878,8 @@ uco-owl:versionIRI-shape
a sh:SPARQLConstraint ;
rdfs:seeAlso <https://www.w3.org/TR/owl2-syntax/#Ontology_IRI_and_Version_IRI> ;
sh:message "'An ontology without an ontology IRI MUST NOT contain a version IRI.'"@en ;
sh:prefixes <http://www.w3.org/2002/07/owl#> ;
sh:select """
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT $this
WHERE {
$value owl:versionIRI $this .
Expand All @@ -906,8 +893,8 @@ uco-owl:versionIRI-shape
a sh:SPARQLConstraint ;
rdfs:seeAlso <https://www.w3.org/TR/owl2-syntax/#Ontology_IRI_and_Version_IRI> ;
sh:message "'If an ontology has both an ontology IRI and a version IRI, then a different ontology with the same ontology IRI and the same version IRI SHOULD NOT exist.'"@en ;
sh:prefixes <http://www.w3.org/2002/07/owl#> ;
sh:select """
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT $this
WHERE {
$value
Expand Down

0 comments on commit df12cd7

Please sign in to comment.