-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathAnnotationVocabulary.rdf
More file actions
462 lines (405 loc) · 37.4 KB
/
Copy pathAnnotationVocabulary.rdf
File metadata and controls
462 lines (405 loc) · 37.4 KB
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF [
<!ENTITY dcterms "http://purl.org/dc/terms/">
<!ENTITY iof-av "https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/">
<!ENTITY owl "http://www.w3.org/2002/07/owl#">
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
<!ENTITY skos "http://www.w3.org/2004/02/skos/core#">
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
]>
<rdf:RDF xml:base="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"
xmlns:dcterms="http://purl.org/dc/terms/"
xmlns:iof-av="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:skos="http://www.w3.org/2004/02/skos/core#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
<owl:Ontology rdf:about="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/">
<rdfs:label xml:lang="en-US">Annotation Vocabulary (AV)</rdfs:label>
<dcterms:abstract xml:lang="en-US">The IOF Annotation Vocabularyprovides a set of OWL annotation properties for annotating IOF or other content with metadata to facilitate user and ontology developer understanding.</dcterms:abstract>
<dcterms:contributor xml:lang="en-US">Elisa Kendall, Thematix Partners LLC</dcterms:contributor>
<dcterms:creator xml:lang="en-US">Evan Wallace, NIST</dcterms:creator>
<dcterms:creator xml:lang="en-US">IOF Technical Oversight Board (TOB)</dcterms:creator>
<dcterms:creator xml:lang="en-US">Todd Schneider, Engineering Semantics, LLC</dcterms:creator>
<dcterms:license rdf:datatype="&xsd;anyURI">http://opensource.org/licenses/MIT</dcterms:license>
<dcterms:publisher xml:lang="en-US">Industrial Ontology Foundry</dcterms:publisher>
<dcterms:references rdf:resource="http://purl.org/dc/terms/"/>
<dcterms:references rdf:resource="http://www.w3.org/2004/02/skos/core#"/>
<dcterms:title xml:lang="en-US">Industrial Ontology Foundry (IOF) Annotation Vocabulary</dcterms:title>
<owl:versionIRI rdf:resource="https://spec.industrialontologies.org/ontology/202301/core/meta/AnnotationVocabulary/"/>
<owl:versionInfo xml:lang="en-US">202301</owl:versionInfo>
<skos:changeNote xml:lang="en-US">2022-03-31: added new annotations perperties as per "Annotations Vocabulary Version 1."</skos:changeNote>
<skos:changeNote xml:lang="en-US">2022-09-30: added new annotations and supporting constructs, and modified others to match revised guidance in the IOF Confluence page entitled: "Annotations Vocabulary Version 2"</skos:changeNote>
<skos:changeNote xml:lang="en-US">2022-10-31: revised the IRI structure to correspond to the approved approach to IRI representation documented in https://oagiscore.atlassian.net/wiki/spaces/IOF/pages/3564372109/IRI+Structure+and+Format and ran the RDF serialiser (from FIBO) over the content.</skos:changeNote>
<skos:changeNote xml:lang="en-US">2022-11-30: changed various annotations properties to match revised guidance for formalizing terms as per "Annotations Vocabulary Version 2.1"</skos:changeNote>
<iof-av:copyright>Copyright (c) 2022, 2023, Open Applications Group</iof-av:copyright>
<iof-av:maturity rdf:resource="&iof-av;Released"/>
<iof-av:usageNote xml:lang="en-US">1. The intention of using annotations is to
a) help a potential user decide if the ontology or a notion therein meets his or her needs and
b) help a user or developer understand the 'elements' in the ontology and how to interpret them consistent with the intended interpretation of the IOF.
2. Annotation Usage Conditions
The particular annotations that are required or used will depend on the representation language used. IOF ontologies are published using either OWL or Common Logic. As example, the iof-av:firstOrderLogicDefinition should not be used in ontologies using Common Logic.
3. Formal Definition – A statement or expression made using a formal language. A Formal Language can be considered as composed of symbols (aka the alphabet, aka signature), logical symbols (for conjunction, disjunction, implication, equivalence, and quantification), non-logical symbols, and a a set of rules for creating (well formed) statements/expressions in the language. In the case of OWL there are non-logical symbols for classes, object properties, and data properties and these non-logical symbols are usually natural language terms or phrases.
a) For the IOF these formal languages include First Order Logic (FOL), Common Logic (CL), and OWL. Note that the last two are used for ontology development.
b) For classes, the only Formal statements or expressions in an IOF ontology are the First Order Logic Definition annotation and the OWL or Common Logic (class or relation) axioms. Note, in the case of a primitive or axiomatic notion there will be no (complete) necessary and sufficient formal definition or axioms.
c) One point to bear in mind in the way the IOF is using formal languages is that the majority of the symbols used are not from the Greek alphabet nor single characters (usually) but are derived from natural language terms or phrases. This distinction must be kept in mind.
4. There will be some notions (e.g. classes) that are taken as primitive. They will not have Formal definitions, but may have formal axioms to constrain the intended interpretation.</iof-av:usageNote>
</owl:Ontology>
<owl:AnnotationProperty rdf:about="&dcterms;abstract">
<rdfs:subPropertyOf rdf:resource="&dcterms;description"/>
<rdfs:label xml:lang="en-US">abstract</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;abstract"/>
<skos:definition xml:lang="en-US">summary of the resource</skos:definition>
<iof-av:usageNote xml:lang="en-US">This annotation is used to describe an artifact such as a vocabulary, ontology, or ontology module.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;contributor">
<rdfs:label xml:lang="en-US">contributor</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;contributor"/>
<skos:definition xml:lang="en-US">entity responsible for making contributions to the resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;creator">
<rdfs:subPropertyOf rdf:resource="&dcterms;contributor"/>
<rdfs:label xml:lang="en-US">creator</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;creator"/>
<skos:definition xml:lang="en-US">entity responsible for making the resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;description">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">description</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;description"/>
<skos:definition xml:lang="en-US">account of the resource</skos:definition>
<iof-av:usageNote>This annotation is used to describe an artifact such as a vocabulary, ontology, or ontology module.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;issued">
<rdfs:label xml:lang="en-US">issued</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;issued"/>
<skos:definition xml:lang="en-US">date of formal issuance of the resource</skos:definition>
<iof-av:usageNote>This annotation is used to describe an artifact such as a vocabulary, ontology, or ontology module.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;license">
<rdfs:label xml:lang="en-US">license</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;license"/>
<skos:definition xml:lang="en-US">legal document giving official permission to do something with the resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;modified">
<rdfs:label xml:lang="en-US">modified</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;modified"/>
<skos:definition xml:lang="en-US">date on which the resource was changed</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;publisher">
<rdfs:label xml:lang="en-US">publisher</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;publisher"/>
<skos:definition xml:lang="en-US">entity responsible for making the resource available</skos:definition>
<iof-av:usageNote>Used to document the primary agent (organization or person) responsible for the resource. This will be "Industrial Ontology Foundry" for IOF artifacts.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;references">
<rdfs:label xml:lang="en-US">references</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;references"/>
<skos:definition xml:lang="en-US">related resource that is referenced, cited, or otherwise pointed to by the described resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;rights">
<rdfs:label xml:lang="en-US">rights</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;rights"/>
<skos:definition xml:lang="en-US">information about rights held in and over the resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;source">
<rdfs:label xml:lang="en-US">source</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;source"/>
<skos:definition xml:lang="en-US">related resource from which the described resource is derived</skos:definition>
<iof-av:explanatoryNote xml:lang="en-US">The intent is to provide a user with a reference as to how the thing being annotated was derived or arrived at.
- The source can be a URL to a standard, common dictionary (e.g. Oxford), or similar reference. Or it can be a short description of where the entity being annotated was derived from.
- The 'Source' annotation would most likely be used as an annotation on an annotation. For instance annotating a Natural Language definition annotation.</iof-av:explanatoryNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dcterms;title">
<rdfs:label xml:lang="en-US">title</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&dcterms;title"/>
<skos:definition xml:lang="en-US">name given to the resource</skos:definition>
<iof-av:usageNote>Used for formal title of an artifact (but not individual elements such as classes or properties).</iof-av:usageNote>
</owl:AnnotationProperty>
<rdf:Description rdf:about="&rdfs;comment">
<rdfs:label xml:lang="en-US">comment</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://www.w3.org/2000/01/rdf-schema#"/>
<skos:definition xml:lang="en-US">instance of rdf:Property that may be used to provide a human-readable description of a resource</skos:definition>
<iof-av:usageNote xml:lang="en-US">Use of this annotation is deprecated in IOF.
This annotation MUST NOT be used in IOF ontologies. IOF authors SHOULD use explanatoryNote, usageNote, or scopeNote when additional information about the resource is needed. skos:note may be used directly in a case where none of the other annotation properties enumerated apply.</iof-av:usageNote>
</rdf:Description>
<rdf:Description rdf:about="&rdfs;isDefinedBy">
<rdfs:label xml:lang="en-US">is defined by</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://www.w3.org/2000/01/rdf-schema#"/>
<skos:definition xml:lang="en-US">instance of rdf:Property that is used to indicate a resource defining the subject resource</skos:definition>
<iof-av:usageNote>This annotation is used to identify the machine readable resource that formally defines the subject resource. The object of an rdfs:isDefinedBy annotation must be a URL.</iof-av:usageNote>
</rdf:Description>
<rdf:Description rdf:about="&rdfs;label">
<rdfs:label xml:lang="en-US">label</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://www.w3.org/2000/01/rdf-schema#"/>
<skos:definition xml:lang="en-US">instance of rdf:Property that may be used to provide a human-readable version of a resource's name</skos:definition>
<skos:example xml:lang="en-US">Example: If the IRI of a class was https://www.industrialontologies.org/ontology/core/Core/ManufacturedProduct, the rdfs:label might be 'manufactured product'</skos:example>
<iof-av:usageNote xml:lang="en-US">The de facto use of rdfs:label is to exactly reflect (but not necessarily be exactly the same as) the local name of an element in an ontology (i.e., in OWL the 'local name' is the final segment of the IRI after the /).</iof-av:usageNote>
</rdf:Description>
<rdf:Description rdf:about="&rdfs;seeAlso">
<rdfs:label xml:lang="en-US">see also</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://www.w3.org/2000/01/rdf-schema#"/>
<skos:definition xml:lang="en-US">instance of rdf:Property that is used to indicate a resource that might provide additional information about the subject resource</skos:definition>
<iof-av:usageNote xml:lang="en-US">The information provided via annotations in an ontology should be concise and to the point.
- Additional or extended explanations, history, decisions, rationale, etc. can be placed in an ontology's External Documentation.
- The External Documentation need not be elaborate. If using Github to publish an ontology is could be part of the Read.Me element. Or it could be a single document.
- The object of an rdfs:seeAlso annotation must be a URL (e.g. the reference document or GitHub site of the ontology).</iof-av:usageNote>
</rdf:Description>
<owl:AnnotationProperty rdf:about="&skos;altLabel">
<rdfs:subPropertyOf rdf:resource="&rdfs;label"/>
<rdfs:label xml:lang="en-US">alternative label</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/2004/02/skos/core"/>
<skos:definition xml:lang="en-US">alternative lexical label for a resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&skos;changeNote">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">change note</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/2004/02/skos/core"/>
<skos:definition xml:lang="en-US">note about a modification to a concept</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&skos;definition">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">definition</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/2004/02/skos/core"/>
<skos:definition xml:lang="en-US">statement or formal explanation of the meaning of a concept</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&skos;editorialNote">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">editorial note</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/2004/02/skos/core"/>
<skos:definition xml:lang="en-US">note for an editor, translator, or maintainer of the vocabulary</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&skos;example">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">example</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/2004/02/skos/core"/>
<skos:definition xml:lang="en-US">example of the use of a concept</skos:definition>
<iof-av:usageNote xml:lang="en-US">Use of this annotation is optional, but recommended if it will help a user understand the intended interpretation(s).
- This annotation should use at most twice with/on a notion.
- Additional examples or more elaborate examples should be placed in the External Documentation (using rdfs:seeAlso).</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&skos;note">
<rdfs:label xml:lang="en-US">note</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/2004/02/skos/core"/>
<skos:definition xml:lang="en-US">general note, for any purpose</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&skos;scopeNote">
<rdfs:label xml:lang="en-US">scope note</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/2004/02/skos/core"/>
<skos:definition xml:lang="en-US">note that helps to clarify the meaning and/or the use of a concept</skos:definition>
<iof-av:usageNote xml:lang="en-US">Use of this annotation is optional, but recommended if it will help a user understand the scope and/or context for usage of the concept.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:Class rdf:about="&iof-av;MaturityLevel">
<rdfs:label xml:lang="en-US">maturity level</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">classifier used to specify the state of a resource in its development process</skos:definition>
</owl:Class>
<owl:NamedIndividual rdf:about="&iof-av;Provisional">
<rdf:type rdf:resource="&iof-av;MaturityLevel"/>
<rdfs:label xml:lang="en-US">provisional</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">construct or ontology development state in which content is subject to change and may change considerably</skos:definition>
<iof-av:explanatoryNote xml:lang="en-US">IOF users should be aware that the resource is not dependable, but can be used for reference and for further work.</iof-av:explanatoryNote>
</owl:NamedIndividual>
<owl:NamedIndividual rdf:about="&iof-av;Released">
<rdf:type rdf:resource="&iof-av;MaturityLevel"/>
<rdfs:label xml:lang="en-US">released</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">construct or ontology development state in which the resource is stable, usable, and has been made available to external users</skos:definition>
<iof-av:explanatoryNote xml:lang="en-US">Release notes will be provided for any changes concerning released content, and any revisions will be backward compatible with the prior version to the degree possible.</iof-av:explanatoryNote>
</owl:NamedIndividual>
<owl:AnnotationProperty rdf:about="&iof-av;abbreviation">
<rdfs:subPropertyOf rdf:resource="&skos;altLabel"/>
<rdfs:label xml:lang="en-US">abbreviation</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">synonym that is an alternate short label for the resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;acronym">
<rdfs:subPropertyOf rdf:resource="&iof-av;abbreviation"/>
<rdfs:label xml:lang="en-US">acronym</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">an abbreviation usually formed from the initial components of a longer name or phrase</skos:definition>
<iof-av:usageNote xml:lang="en-US">Use this annotation when there is a commonly accepted acronym.
HOWEVER: While acronyms and other abbreviations may be provided as annotations to elements in an IOF ontology, they must NOT BE USED as part of identifiers or labels, except where they have become the primary designator for a notion where the full 'name' is no longer commonly known or recognized. (e.g. LASER: Light Amplification by Stimulated Emission of Radiation; RADAR: RAdio Detection And Ranging; MODEM: Modulator-DEModulator; SCUBA: Self-Contained Underwater Breathing Apparatus; etc),</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;adaptedFrom">
<rdfs:subPropertyOf rdf:resource="&dcterms;source"/>
<rdfs:label xml:lang="en-US">adapted from</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">source for the resource that was modified to create the subject resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;copyright">
<rdfs:subPropertyOf rdf:resource="&dcterms;rights"/>
<rdfs:label xml:lang="en-US">copyright</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">exclusive legal right, given to an originator or an assignee to print, publish, perform, film, or record literary, artistic, or musical material, and to authorize others to do the same</skos:definition>
<iof-av:usageNote xml:lang="en-US">This annotation is to be used for an entire ontology and not individual elements.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;counterExample">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label>counter example</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition>example that refutes or disproves a concept in some scenario and is intended to demonstrate how the concept might be misused</skos:definition>
<iof-av:usageNote>Use of this annotation is optional, but recommended if it will help a user understand the intended interpretation(s).
- This annotation should use at most twice with/on a notion.
- Additional examples or more elaborate examples should be placed in the External Documentation (using rdfs:seeAlso).</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;directSource">
<rdfs:subPropertyOf rdf:resource="&dcterms;source"/>
<rdfs:label xml:lang="en-US">direct source</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">definitive source of the subject resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;elucidation">
<rdfs:subPropertyOf rdf:resource="&skos;definition"/>
<rdfs:label xml:lang="en-US">elucidation</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<owl:deprecated rdf:datatype="&xsd;boolean">true</owl:deprecated>
<skos:example xml:lang="en-US">'Agent' is a subclass of the BFO class 'material entity', which in turn is a subclass of the BFO class 'independent continuant', which in turn is a subclass of the BFO class 'continuant'. So the position of 'Agent' is 'material entity ← independent continuant ← continuant'.</skos:example>
<iof-av:usageNote xml:lang="en-US">This annotation is no longer used. The isPrimitive annotation is now set to true to indicate a primitive class when necessary and sufficient conditions can not be provided.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;excerptedFrom">
<rdfs:subPropertyOf rdf:resource="&dcterms;source"/>
<rdfs:label xml:lang="en-US">excerpted from</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition>source of a resource that was imported unmodified from an external ontology</skos:definition>
<iof-av:usageNote xml:lang="en-US">This annotation is to be used when an element from a non-IOF ontology is used in an IOF ontology (and the source ontology is not imported in its entirety).</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;explanatoryNote">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">explanatory note</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">note that provides additional explanatory information about a given notion or resource</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;firstOrderLogicAxiom">
<rdfs:subPropertyOf rdf:resource="&iof-av;logicAxiom"/>
<rdfs:label xml:lang="en-US">first-order logic axiom</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">logic axiom annotation written in first order logic</skos:definition>
<iof-av:usageNote xml:lang="en-US">First-order logic axioms MAY be provided if the term is primitive ('is primitive' is true ) or non-primitive. A construct MAY include more than one first-order logic axiom annotation.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;firstOrderLogicDefinition">
<rdfs:subPropertyOf rdf:resource="&iof-av;logicDefinition"/>
<rdfs:label xml:lang="en-US">first order logic definition</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition>logic definition that expresses the axioms of a class or an object property in first order logic</skos:definition>
<skos:example xml:lang="en-US">An example of a First Order Logic definition for 'Product' might be (again bearing in mind the natural language terms appearing should be regarded as symbols in the IOF signature):
- Continuant(x) ∧ ¬(SpecificallyDependentContinuant(x) ∨ Person(x) ∨ Organization(x)) ∧ ∃r (ProductRole(r) ∧ hasRole(x, r))</skos:example>
<iof-av:usageNote xml:lang="en-US">The First Order Logic Definition annotation is comprised of the (complete) necessary and sufficient conditions.
- This annotation is Required for each non-primitive (aka non-axiomatic) class (i.e. unary relation) of a published IOF OWL ontology. This is the most authoritative and comprehensive definition of an IOF element.
- IOF Common Logic ontologies do not require this annotation, but if included it must be logically equivalent to the Common Logic definition.
- A primitive (aka axiomatic) term will not have a First Order Logic definition in either an OWL or Common Logic IOF ontology.
- There should be at most one First Order Logic definition.
- The specific symbols to be used for existential and universal quantification along with those for conjunction, disjunction, negation, conditional (i.e. if-then), and equivalence will be those commonly used in the mathematical formulas and statement.
- Conjunction - ∧; Disjunction - ∨; Negation - ¬; Existential Quantification - ∃; Universal Quantification - ∀; Conditional - →; Equivalence - ↔; Left/Right Parentheses - (,); Left/Right Brackets - {,}.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;isPrimitive">
<rdfs:label xml:lang="en-US">is primitive</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">boolean flag indicating that necessary and sufficient conditions are not provided</skos:definition>
<iof-av:usageNote xml:lang="en-US">'is primitive' must be present if the term does not have necessary and sufficient conditions and the value of the annotation must be set to true. When 'is primitive' is set to true, a value for a 'primitive rationale' annotation must also be provided.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;logicAxiom">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">logic axiom</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">logical statements constraining the interpretation of the notion represented by the construct that do not provide necessary and sufficient conditions</skos:definition>
<iof-av:explanatoryNote xml:lang="en-US">This annotation property is an abstraction of the more specialized logic axiom annotations used in IOF. However, this annotation property can also be used to group together the logic axiom annotation values of different forms (such as FOL and natural language) that express the same meaning for a particular construct.</iof-av:explanatoryNote>
<iof-av:usageNote xml:lang="en-US">A first order logic axiom expression and a semi-formal natural language axiom expression should be added as Property values for each logic axiom annotation using 1 of each of the corresponding logic axiom annotation subproperties.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;logicDefinition">
<rdfs:subPropertyOf rdf:resource="&skos;definition"/>
<rdfs:label xml:lang="en-US">logic definition</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">definition in the form of a logical expression</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;maintainer">
<rdfs:subPropertyOf rdf:resource="&dcterms;contributor"/>
<rdfs:label xml:lang="en-US">maintainer</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition>entity responsible for maintaining the resource</skos:definition>
<iof-av:usageNote xml:lang="en-US">This annotation applies to an entire IOF ontology (i.e. the file) and not to individual elements.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;maturity">
<rdfs:label xml:lang="en-US">maturity</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">annotation property used to indicate the development status of a resource</skos:definition>
<iof-av:usageNote xml:lang="en-US">Any value for maturity MUST be an instance of MaturityLevel. All IOF ontologies MUST include exactly one maturity annotation. IOF constructs may include a maturity annotation.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;naturalLanguageDefinition">
<rdfs:subPropertyOf rdf:resource="&skos;definition"/>
<rdfs:label xml:lang="en-US">natural language definition</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">definition written in plain text for human understanding</skos:definition>
<iof-av:usageNote xml:lang="en-US">This annotation is Required for each non-primitive or non-axiomatic class of an IOF (OWL or Common Logic) ontology.
- It is optional for primitive (aka axiomatic) classes since such the Elucidation annotation is required and will satisfy the role of a natural language definition.
- It is optional, but recommended, for relations when the intent of a relation may be misunderstood.
- There should be at most one.
- This natural language definition should be subject matter expert friendly and consistent with any formal definition or elucidation.
- Natural language definitions should use class and relation names with following caveats:
a) Relations – For those relations whose label (i.e. local identifier) consist of multiple terms hyphenate the terms of the label: e.g. 'hasPlan' would be written as 'has-plan'
b) Classes – For classes whose label has multiple distinct terms, e.g, ManufacturingOperationSpecification, separate the terms but bound them with apostrophe marks: 'Manufacturing Operation Specification'.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;primitiveRationale">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">primitive rationale</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">reason why necessary and sufficient conditions could not be provided</skos:definition>
<iof-av:usageNote xml:lang="en-US">When 'is primitive' is set to true, a value for 'primitive rationale' must be provided. The rationale should indicate what is missing if additional work is required to define necessary and sufficient conditions.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;semiFormalNaturalLanguageAxiom">
<rdfs:subPropertyOf rdf:resource="&iof-av;logicAxiom"/>
<rdfs:label xml:lang="en-US">semi-formal natural language axiom</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">logic axiom expressed in natural language</skos:definition>
<iof-av:usageNote xml:lang="en-US">Semi-formal natural language axioms MAY be provided if the term is primitive (is primitive is true). A construct MAY include more than one semi-formal natural language axiom annotation.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;semiFormalNaturalLanguageDefinition">
<rdfs:subPropertyOf rdf:resource="&iof-av;logicDefinition"/>
<rdfs:label xml:lang="en-US">semi-formal natural language definition</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition>logic definition that expresses a first order logic definition or common logic definition in natural language</skos:definition>
<iof-av:usageNote xml:lang="en-US">This annotation is required if an element in an IOF OWL ontology has a First Order Logic definition or in a IOF Common Logic (where the element is defined using Common Logic).
- The intent of this annotation to provide a transition or bridge from the First Order Logic definition of a notion to the natural language definition. This definition is intended to help a user understand the intended interpretation of the notion.
- As example using the First Order Logic definition of 'Product' above, a semi-formal translation of that might be:
- Product =def. Continuant that is not a Person and not an Organization and not a Specifically Dependent Continuant and there is a Product Role that the thing has or bears.</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;subjectMatterExpertExplanation">
<rdfs:subPropertyOf rdf:resource="&skos;definition"/>
<rdfs:label>subject matter expert explanation</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition>definition of the term expressed in natural language that has the minimal usage of ontological terms and is intended to be a self-standing explanation</skos:definition>
<iof-av:usageNote>Usage of this annotation is optional but is recommended in cases where:
- the natural language definition or elucidation rely heavily on the terms defined in the ontology
- there exists an explanation of the term that is more familiar to SMEs that does not coincide with the definition present in the ontology</iof-av:usageNote>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;symbol">
<rdfs:subPropertyOf rdf:resource="&iof-av;abbreviation"/>
<rdfs:label xml:lang="en-US">symbol</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">abbreviation that is a design, mark, or charaters(s) used conventionally to represent something, such as currency, quantity, or variable in an expression</skos:definition>
<skos:example xml:lang="en-US">Chemical Symbols: H, O, Mg
Units of Measure: Km, Kg, G</skos:example>
<iof-av:adaptedFrom rdf:datatype="&xsd;anyURI">https://spec.edmcouncil.org/fibo/ontology/FND/Utilities/AnnotationVocabulary/</iof-av:adaptedFrom>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;synonym">
<rdfs:subPropertyOf rdf:resource="&skos;altLabel"/>
<rdfs:label xml:lang="en-US">synonym</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">alternative label (designation) used for the resource in some community</skos:definition>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&iof-av;usageNote">
<rdfs:subPropertyOf rdf:resource="&skos;note"/>
<rdfs:label xml:lang="en-US">usage note</rdfs:label>
<rdfs:isDefinedBy rdf:resource="https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"/>
<skos:definition xml:lang="en-US">note that provides information about how a given notion or resource is used in the ontology's context</skos:definition>
</owl:AnnotationProperty>
<owl:Axiom>
<owl:annotatedProperty rdf:resource="&skos;definition"/>
<owl:annotatedSource rdf:resource="&iof-av;acronym"/>
<owl:annotatedTarget xml:lang="en-US">an abbreviation usually formed from the initial components of a longer name or phrase</owl:annotatedTarget>
<iof-av:adaptedFrom>https://en.wikipedia.org/wiki/Acronym</iof-av:adaptedFrom>
</owl:Axiom>
</rdf:RDF>