CASE-Utility-SHACL-Inheritance-Reviewer/ontology/shacl-inheritance-review.ttl at main · casework/CASE-Utility-SHACL-Inheritance-Reviewer · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
# baseURI: http://example.org/ontology/shacl-inheritance-review

@base <http://example.org/ontology/shacl-inheritance-review> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix shir: <http://example.org/ontology/shacl-inheritance-review/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://example.org/ontology/shacl-inheritance-review>
	a owl:Ontology ;
	rdfs:label "SHACL Inheritance Review"@en ;
	rdfs:comment "An ontology to review inheritance of SHACL PropertyShapes." ;
	owl:imports <http://www.w3.org/ns/shacl#> ;
	owl:ontologyIRI <http://example.org/ontology/shacl-inheritance-review> ;
	.

shir:InheritanceValidationReport
	a owl:Class ;
	rdfs:subClassOf sh:ValidationReport ;
	.

shir:PropertyShapeBroadenedError
	a owl:Class ;
	rdfs:subClassOf shir:ShapeBroadenedError ;
	rdfs:comment "A denotation that a PropertyShape on a subclass somehow accepts a broader set than the superclass."@en ;
	.

shir:PropertyShapeComponentBroadenedError
	a owl:Class ;
	rdfs:subClassOf shir:PropertyShapeBroadenedError ;
	.

shir:PropertyShapeComponentBroadenedError-class
	a owl:Class ;
	rdfs:subClassOf shir:PropertyShapeComponentBroadenedError ;
	shir:reviews sh:class ;
	.

shir:PropertyShapeComponentBroadenedError-datatype
	a owl:Class ;
	rdfs:subClassOf shir:PropertyShapeComponentBroadenedError ;
	shir:reviews sh:datatype ;
	.

shir:PropertyShapeComponentBroadenedError-maxCount
	a owl:Class ;
	rdfs:subClassOf
		shir:PropertyShapeComponentBroadenedError ,
		shir:PropertyShapeIntervalBroadenedError
		;
	shir:reviews sh:maxCount ;
	.

shir:PropertyShapeComponentBroadenedError-minCount
	a owl:Class ;
	rdfs:subClassOf
		shir:PropertyShapeComponentBroadenedError ,
		shir:PropertyShapeIntervalBroadenedError
		;
	shir:reviews sh:minCount ;
	.

shir:PropertyShapeComponentBroadenedError-path
	a owl:Class ;
	rdfs:subClassOf shir:PropertyShapeComponentBroadenedError ;
	shir:reviews sh:path ;
	.

shir:ShapeBroadenedError
	a owl:Class ;
	rdfs:subClassOf sh:ValidationResult ;
	rdfs:comment "A denotation that the set of PropertyShapes on a class somehow accepts a broader set of annotations than one or more of its superclasses."@en ;
	.

shir:PropertyShapeIntervalBroadenedError
	a owl:Class ;
	rdfs:subClassOf shir:PropertyShapeBroadenedError ;
	.

shir:reviews
	a owl:AnnotationProperty ;
	rdfs:domain shir:PropertyShapeBroadenedError ;
	rdfs:range rdf:Property ;
	.

shir:shouldTriggerBroadeningError
	a owl:AnnotationProperty ;
	rdfs:comment "This is used for unit testing."@en ;
	rdfs:domain sh:NodeShape ;
	rdfs:range shir:ShapeBroadenedError ;
	.