David Price

Minor fix to p7tm and p7tpl files, added PCA RDL anno props graph and modified 1…

…5926-2 to use 15926-8 data-model.
1 +# Saved by TopBraid on Thu Aug 18 00:46:08 BST 2011
2 +# baseURI: http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/p7tm
3 +# imports: http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model
4 +
5 +@prefix : <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/p7tm#> .
6 +@prefix iso-tm: <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/p7tm#> .
7 +@prefix owl: <http://www.w3.org/2002/07/owl#> .
8 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
9 +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
10 +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
11 +
12 +<http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model#Class>
13 + rdf:type owl:Class .
14 +
15 +<http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model#Thing>
16 + rdf:type owl:Class ;
17 + owl:disjointWith iso-tm:Template , iso-tm:TemplateRole , iso-tm:TemplateStatement .
18 +
19 +<http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/p7tm>
20 + rdf:type owl:Ontology ;
21 + rdfs:comment "This ontology provides basic classes for representing ISO 15926-8 template signatures. It depends on an OWL taxonomy representation of ISO 15926-2 entity types." ;
22 + owl:imports <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model> ;
23 + owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
24 +
25 +iso-tm:BaseTemplate
26 + rdf:type owl:Class ;
27 + rdfs:comment "A base template makes no reference to entities beyond the generic types defined in ISO 15926-2." ;
28 + rdfs:label "BaseTemplate" ;
29 + rdfs:subClassOf iso-tm:Template ;
30 + owl:disjointWith iso-tm:RDLTemplate .
31 +
32 +iso-tm:BaseTemplateStatement
33 + rdf:type owl:Class ;
34 + rdfs:comment "The class of \"base\" template statements covers all the typical cases of statements used to carry data. It is distinguished from template meta-statements, which are used to characterize templates themselves." ;
35 + rdfs:label "BaseTemplateStatement" ;
36 + rdfs:subClassOf iso-tm:TemplateStatement ;
37 + owl:disjointWith iso-tm:MetaTemplateStatement .
38 +
39 +iso-tm:MetaTemplateStatement
40 + rdf:type owl:Class ;
41 + rdfs:comment """A template statement (template instance) that characterizes a template. For templates themselves, we record the number of roles. For roles, we record for each template their type constraints and positions.
42 +Various provenance information about templates would also belong here.""" ;
43 + rdfs:label "MetaTemplateStatement" ;
44 + rdfs:subClassOf iso-tm:TemplateStatement .
45 +
46 +iso-tm:RDLTemplate
47 + rdf:type owl:Class ;
48 + rdfs:comment """An RDL template makes reference to entities defined in at least one Reference Data Library.
49 +Note. This does not in itself mean that the template has roles constrained to RDL classes. The reference to RDL content may be embedded in the intended use of the template; or in the expansion rule of the template, as given according to ISO 15926-7.
50 +Note. Any RDL template should be defined as a template specialization of a base template.""" ;
51 + rdfs:label "CoreTemplate" ;
52 + rdfs:subClassOf iso-tm:Template .
53 +
54 +iso-tm:RDLTemplateStatement
55 + rdf:type owl:Class ;
56 + rdfs:comment "An RDLtemplateStatement is an instance of an RDL template. See the definition of RDLTemplate." ;
57 + rdfs:label "RDLTemplateStatement" ;
58 + rdfs:subClassOf iso-tm:BaseTemplateStatement .
59 +
60 +iso-tm:RDLcoreTemplate
61 + rdf:type owl:Class ;
62 + rdfs:comment "An RDLcoreTemplate is an RDL template for references to RDL content are restricted to core (highly generic, not industry specific) RDL entities." ;
63 + rdfs:label "RDLcoreTemplate" ;
64 + rdfs:subClassOf iso-tm:RDLTemplate ;
65 + owl:disjointWith iso-tm:RDLindustryTemplate .
66 +
67 +iso-tm:RDLcoreTemplateStatement
68 + rdf:type owl:Class ;
69 + rdfs:label "RDLcoreTemplateStatement" ;
70 + rdfs:subClassOf iso-tm:RDLTemplateStatement .
71 +
72 +iso-tm:RDLindustryTemplate
73 + rdf:type owl:Class ;
74 + rdfs:comment "An RDL industry template is an RDL template which makes some reference to industry-specific RDL entities." ;
75 + rdfs:label "RDLindustryTemplate" ;
76 + rdfs:subClassOf iso-tm:RDLTemplate .
77 +
78 +iso-tm:RDLindustryTemplateStatement
79 + rdf:type owl:Class ;
80 + rdfs:label "RDLindustryTemplateStatement" ;
81 + rdfs:subClassOf iso-tm:RDLTemplateStatement .
82 +
83 +iso-tm:Template
84 + rdf:type owl:Class ;
85 + rdfs:comment "A Template is a predicate defined according to ISO 15926-7 template signature specification requirements. For this OWL representation, the transparent OWL 2 punning mechanism is relied upon for treating templates, which are really classes, as individuals. The individuals in this class are punned templates." ;
86 + rdfs:label "Template" .
87 +
88 +iso-tm:TemplateDescription
89 + rdf:type owl:Class ;
90 + rdfs:label "TemplateDescription" ;
91 + rdfs:subClassOf iso-tm:MetaTemplateStatement ;
92 + rdfs:subClassOf
93 + [ rdf:type owl:Class ;
94 + owl:intersectionOf ([ rdf:type owl:Restriction ;
95 + owl:allValuesFrom xsd:positiveInteger ;
96 + owl:onProperty iso-tm:valNumberOfRoles
97 + ] [ rdf:type owl:Restriction ;
98 + owl:onDataRange xsd:positiveInteger ;
99 + owl:onProperty iso-tm:valNumberOfRoles ;
100 + owl:qualifiedCardinality
101 + "1"^^xsd:nonNegativeInteger
102 + ])
103 + ] ;
104 + rdfs:subClassOf
105 + [ rdf:type owl:Class ;
106 + owl:intersectionOf ([ rdf:type owl:Restriction ;
107 + owl:allValuesFrom iso-tm:Template ;
108 + owl:onProperty iso-tm:hasTemplate
109 + ] [ rdf:type owl:Restriction ;
110 + owl:onClass iso-tm:Template ;
111 + owl:onProperty iso-tm:hasTemplate ;
112 + owl:qualifiedCardinality
113 + "1"^^xsd:nonNegativeInteger
114 + ])
115 + ] .
116 +
117 +iso-tm:TemplateRole
118 + rdf:type owl:Class ;
119 + rdfs:comment "A TemplateRole is a role defined according to ISO 15926-7 template signature specification requirements. For this OWL representation, the transparent OWL 2 punning mechanism is relied upon for treating template roles, which are really relations, as individuals. The individuals in this class are punned template roles." ;
120 + rdfs:label "TemplateRole" .
121 +
122 +iso-tm:TemplateRoleDescription
123 + rdf:type owl:Class ;
124 + rdfs:label "TemplateRoleDescription" ;
125 + rdfs:subClassOf iso-tm:MetaTemplateStatement ;
126 + rdfs:subClassOf
127 + [ rdf:type owl:Class ;
128 + owl:intersectionOf ([ rdf:type owl:Restriction ;
129 + owl:allValuesFrom iso-tm:Template ;
130 + owl:onProperty iso-tm:hasTemplate
131 + ] [ rdf:type owl:Restriction ;
132 + owl:onClass iso-tm:Template ;
133 + owl:onProperty iso-tm:hasTemplate ;
134 + owl:qualifiedCardinality
135 + "1"^^xsd:nonNegativeInteger
136 + ])
137 + ] ;
138 + rdfs:subClassOf
139 + [ rdf:type owl:Class ;
140 + owl:intersectionOf ([ rdf:type owl:Restriction ;
141 + owl:allValuesFrom xsd:integer ;
142 + owl:onProperty iso-tm:valRoleIndex
143 + ] [ rdf:type owl:Restriction ;
144 + owl:onDataRange xsd:integer ;
145 + owl:onProperty iso-tm:valRoleIndex ;
146 + owl:qualifiedCardinality
147 + "1"^^xsd:nonNegativeInteger
148 + ])
149 + ] ;
150 + rdfs:subClassOf
151 + [ rdf:type owl:Class ;
152 + owl:intersectionOf ([ rdf:type owl:Restriction ;
153 + owl:allValuesFrom <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model#Class> ;
154 + owl:onProperty iso-tm:hasRoleFillerType
155 + ] [ rdf:type owl:Restriction ;
156 + owl:onClass <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model#Class> ;
157 + owl:onProperty iso-tm:hasRoleFillerType ;
158 + owl:qualifiedCardinality
159 + "1"^^xsd:nonNegativeInteger
160 + ])
161 + ] ;
162 + rdfs:subClassOf
163 + [ rdf:type owl:Class ;
164 + owl:intersectionOf ([ rdf:type owl:Restriction ;
165 + owl:allValuesFrom iso-tm:TemplateRole ;
166 + owl:onProperty iso-tm:hasRole
167 + ] [ rdf:type owl:Restriction ;
168 + owl:onClass iso-tm:TemplateRole ;
169 + owl:onProperty iso-tm:hasRole ;
170 + owl:qualifiedCardinality
171 + "1"^^xsd:nonNegativeInteger
172 + ])
173 + ] .
174 +
175 +iso-tm:TemplateSpecialization
176 + rdf:type owl:Class ;
177 + rdfs:label "TemplateSpecialization" ;
178 + rdfs:subClassOf iso-tm:MetaTemplateStatement ;
179 + rdfs:subClassOf
180 + [ rdf:type owl:Class ;
181 + owl:intersectionOf ([ rdf:type owl:Restriction ;
182 + owl:allValuesFrom iso-tm:Template ;
183 + owl:onProperty iso-tm:hasSuperTemplate
184 + ] [ rdf:type owl:Restriction ;
185 + owl:onClass iso-tm:Template ;
186 + owl:onProperty iso-tm:hasSuperTemplate ;
187 + owl:qualifiedCardinality
188 + "1"^^xsd:nonNegativeInteger
189 + ])
190 + ] ;
191 + rdfs:subClassOf
192 + [ rdf:type owl:Class ;
193 + owl:intersectionOf ([ rdf:type owl:Restriction ;
194 + owl:allValuesFrom iso-tm:Template ;
195 + owl:onProperty iso-tm:hasSubTemplate
196 + ] [ rdf:type owl:Restriction ;
197 + owl:onClass iso-tm:Template ;
198 + owl:onProperty iso-tm:hasSubTemplate ;
199 + owl:qualifiedCardinality
200 + "1"^^xsd:nonNegativeInteger
201 + ])
202 + ] .
203 +
204 +iso-tm:TemplateStatement
205 + rdf:type owl:Class ;
206 + rdfs:comment "A template statement is an instance of a template. Example: Given a template F with signature specifying the roles R1, R2 of types, resp., T1, T2. If a and b are individuals, then F(a,b) is a template statement." ;
207 + rdfs:label "TemplateStatement" ;
208 + owl:equivalentClass
209 + [ rdf:type owl:Class ;
210 + owl:unionOf (iso-tm:BaseTemplateStatement iso-tm:MetaTemplateStatement)
211 + ] .
212 +
213 +iso-tm:hasBaseTemplateObjectRoleFiller
214 + rdf:type owl:ObjectProperty ;
215 + rdfs:comment "This is a super-property for properties used in ordinary template statements, used to carry data (and not for characterizing templates themselves). A \"content\" template may not refer to templates or template roles themselves: Therefore the range of this property is dm:Thing." ;
216 + rdfs:label "hasBaseTemplateObjectRoleFiller" ;
217 + rdfs:range <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model#Thing> ;
218 + rdfs:subPropertyOf iso-tm:hasObjectRoleFiller .
219 +
220 +iso-tm:hasMetaTemplateObjectRoleFiller
221 + rdf:type owl:ObjectProperty ;
222 + rdfs:comment "This property is a super-property for properties used in meta-template statements, i.e., properties used to characterize templates." ;
223 + rdfs:label "hasMetaTemplateObjectRoleFiller" ;
224 + rdfs:subPropertyOf iso-tm:hasObjectRoleFiller .
225 +
226 +iso-tm:hasObjectRoleFiller
227 + rdf:type owl:ObjectProperty ;
228 + rdfs:label "hasObjectRoleFiller" .
229 +
230 +iso-tm:hasRole
231 + rdf:type owl:ObjectProperty , owl:FunctionalProperty ;
232 + rdfs:comment "Used in meta-template TemplateRoleDescription to indicate which role is being described." ;
233 + rdfs:domain iso-tm:TemplateRoleDescription ;
234 + rdfs:label "role" ;
235 + rdfs:range iso-tm:TemplateRole ;
236 + rdfs:subPropertyOf iso-tm:hasMetaTemplateObjectRoleFiller .
237 +
238 +iso-tm:hasRoleFillerType
239 + rdf:type owl:ObjectProperty , owl:FunctionalProperty ;
240 + rdfs:comment "Used in meta-template TemplateRoleDescription to indicate which class any role-filler needs to belong to. That is, this property records the type constraint on individuals filling this role." ;
241 + rdfs:domain iso-tm:TemplateRoleDescription ;
242 + rdfs:label "type" ;
243 + rdfs:range <http://standards.iso.org/iso/ts/15926/-8/ed-1/tech/reference-data/data-model#Class> ;
244 + rdfs:subPropertyOf iso-tm:hasMetaTemplateObjectRoleFiller .
245 +
246 +iso-tm:hasSubTemplate
247 + rdf:type owl:ObjectProperty , owl:FunctionalProperty ;
248 + rdfs:comment "Used in meta-template TemplateSpecialization to indicate which template is the sub-template in a specialization relationship. Use this property to indicate the template which is more constrained than its supertemplate." ;
249 + rdfs:domain iso-tm:TemplateSpecialization ;
250 + rdfs:label "hasSubTemplate" ;
251 + rdfs:range iso-tm:Template ;
252 + rdfs:subPropertyOf iso-tm:hasMetaTemplateObjectRoleFiller .
253 +
254 +iso-tm:hasSuperTemplate
255 + rdf:type owl:ObjectProperty , owl:FunctionalProperty ;
256 + rdfs:comment "Used in meta-template TemplateSpecialization to indicate which template is the super-template in a specialization relationship. Use this property to indicate the template which is less constrained than its subtemplate." ;
257 + rdfs:domain iso-tm:TemplateSpecialization ;
258 + rdfs:label "hasSuperTemplate" ;
259 + rdfs:range iso-tm:Template ;
260 + rdfs:subPropertyOf iso-tm:hasMetaTemplateObjectRoleFiller .
261 +
262 +iso-tm:hasTemplate
263 + rdf:type owl:ObjectProperty , owl:FunctionalProperty ;
264 + rdfs:comment "Used in meta-templates TemplateDescription and TemplateRoleDescription to record which template a statement applies to: which template is being described." ;
265 + rdfs:domain
266 + [ rdf:type owl:Class ;
267 + owl:unionOf (iso-tm:TemplateDescription iso-tm:TemplateRoleDescription)
268 + ] ;
269 + rdfs:label "isAboutTemplate" ;
270 + rdfs:range iso-tm:Template ;
271 + rdfs:subPropertyOf iso-tm:hasMetaTemplateObjectRoleFiller .
272 +
273 +iso-tm:valBaseTemplateDataRoleFiller
274 + rdf:type owl:DatatypeProperty ;
275 + rdfs:label "valBaseTemplateDataRoleFiller" ;
276 + rdfs:subPropertyOf iso-tm:valDataRoleFiller .
277 +
278 +iso-tm:valDataRoleFiller
279 + rdf:type owl:DatatypeProperty ;
280 + rdfs:label "valDataRoleFiller" .
281 +
282 +iso-tm:valMetaTemplateDataRoleFiller
283 + rdf:type owl:DatatypeProperty ;
284 + rdfs:label "valMetaTemplateDataRoleFiller" ;
285 + rdfs:subPropertyOf iso-tm:valDataRoleFiller .
286 +
287 +iso-tm:valNumberOfRoles
288 + rdf:type owl:DatatypeProperty ;
289 + rdfs:comment "Used in meta-template TemplateDescription to say how many roles a template is defined to have." ;
290 + rdfs:label "numberOfRoles" ;
291 + rdfs:range xsd:int ;
292 + rdfs:subPropertyOf iso-tm:valMetaTemplateDataRoleFiller .
293 +
294 +iso-tm:valRoleIndex
295 + rdf:type owl:DatatypeProperty ;
296 + rdfs:comment "Used in meta-template TemplateRoleDescription to record the position of a role in a template." ;
297 + rdfs:label "positionInTemplate" ;
298 + rdfs:range xsd:int ;
299 + rdfs:subPropertyOf iso-tm:valMetaTemplateDataRoleFiller .
300 +
301 +[] rdf:type owl:AllDisjointClasses ;
302 + owl:members (iso-tm:Template iso-tm:TemplateRole iso-tm:TemplateStatement) .
303 +
304 +[] rdf:type owl:AllDisjointClasses ;
305 + owl:members (iso-tm:TemplateDescription iso-tm:TemplateRoleDescription iso-tm:TemplateSpecialization) .
This diff could not be displayed because it is too large.
1 +# Saved by TopBraid on Wed Sep 14 00:54:19 BST 2011
2 +# baseURI: http://rds.posccaesar.org/2008/06/OWL/RDL-annotations
3 +
4 +@prefix : <http://rds.posccaesar.org/2008/06/OWL/RDL-annotations#> .
5 +@prefix owl: <http://www.w3.org/2002/07/owl#> .
6 +@prefix pca-rdl: <http://rds.posccaesar.org/2008/06/OWL/RDL#> .
7 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
8 +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
9 +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
10 +
11 +pca-rdl:hasCreationDate
12 + rdf:type owl:AnnotationProperty .
13 +
14 +pca-rdl:hasCreator
15 + rdf:type owl:AnnotationProperty .
16 +
17 +pca-rdl:hasDefinition
18 + rdf:type owl:AnnotationProperty .
19 +
20 +pca-rdl:hasDefinitionAdapted
21 + rdf:type owl:AnnotationProperty .
22 +
23 +pca-rdl:hasDeleted
24 + rdf:type owl:AnnotationProperty .
25 +
26 +pca-rdl:hasDesignation
27 + rdf:type owl:AnnotationProperty .
28 +
29 +pca-rdl:hasDesignationAbbrev
30 + rdf:type owl:AnnotationProperty .
31 +
32 +pca-rdl:hasDesignationAltern
33 + rdf:type owl:AnnotationProperty .
34 +
35 +pca-rdl:hasIdPCA
36 + rdf:type owl:AnnotationProperty .
37 +
38 +pca-rdl:hasNote
39 + rdf:type owl:AnnotationProperty .
40 +
41 +pca-rdl:hasNoteAdmin
42 + rdf:type owl:AnnotationProperty .
43 +
44 +pca-rdl:hasNoteChange
45 + rdf:type owl:AnnotationProperty .
46 +
47 +pca-rdl:hasNoteExample
48 + rdf:type owl:AnnotationProperty .
49 +
50 +pca-rdl:hasNoteExplanatory
51 + rdf:type owl:AnnotationProperty .
52 +
53 +pca-rdl:hasNoteIssue
54 + rdf:type owl:AnnotationProperty .
55 +
56 +pca-rdl:hasRegistrar
57 + rdf:type owl:AnnotationProperty .
58 +
59 +pca-rdl:hasRegistrarAuth
60 + rdf:type owl:AnnotationProperty .
61 +
62 +pca-rdl:hasStatus
63 + rdf:type owl:AnnotationProperty .
64 +
65 +pca-rdl:hasStewardship
66 + rdf:type owl:AnnotationProperty .
67 +
68 +pca-rdl:hasStewardshipContact
69 + rdf:type owl:AnnotationProperty .
70 +
71 +pca-rdl:hasSubmitter
72 + rdf:type owl:AnnotationProperty .
73 +
74 +pca-rdl:hasSubmitterOrg
75 + rdf:type owl:AnnotationProperty .
76 +
77 +<http://rds.posccaesar.org/2008/06/OWL/RDL-annotations>
78 + rdf:type owl:Ontology ;
79 + owl:versionInfo "Created with TopBraid Composer"^^xsd:string .