-
Notifications
You must be signed in to change notification settings - Fork 3
/
fnoc.ttl
327 lines (244 loc) · 15.7 KB
/
fnoc.ttl
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
@prefix : <https://w3id.org/function/vocabulary/composition#> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix vs: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix fno: <https://w3id.org/function/ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix bibo: <http://purl.org/ontology/bibo/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix voaf: <http://purl.org/vocommons/voaf#> .
@prefix schema: <http://schema.org/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@base <https://w3id.org/function/vocabulary/composition#> .
<https://w3id.org/function/vocabulary/composition#> rdf:type owl:Ontology ;
owl:versionIRI <https://w3id.org/function/vocabulary/composition/0.1.0> ;
dc:description "The Function Ontology Composition vocabulary specifies terms allowing function composition and partial application. The specification is online at https://w3id.org/function/spec"@en ;
dc:source <https://w3id.org/function/spec> ;
dc:title "The Function Ontology - Composition vocabulary"@en ;
dcterms:created "2021-07-15"^^xsd:date ;
dcterms:creator <https://ben.de-meester.org/#me> ,
"Florian Kleedorfer" ;
dcterms:issued "2021-07-15"^^xsd:date ;
dcterms:modified "2021-07-15"^^xsd:date ;
dcterms:publisher <https://ben.de-meester.org/#me> ;
bibo:status "testing" ;
vann:preferredNamespacePrefix "fnoc" ;
vann:preferredNamespaceUri "https://w3id.org/function/vocabulary/composition#" ;
schema:license <http://creativecommons.org/license/by/3.0/> ;
rdfs:comment """
- Version 0.1.0: creation."""@en ;
rdfs:label "The Function Ontology - Composition vocabulary"@en ;
rdfs:seeAlso <https://w3id.org/function/spec> ;
owl:backwardCompatibleWith <https://w3id.org/function/vocabulary/composition/0.1.0> ;
owl:priorVersion <https://w3id.org/function/vocabulary/composition/0.1.0> ;
owl:versionInfo "0.1.0" ;
foaf:depiction <https://w3id.org/function/spec/resources/images/fno-full.png> ;
foaf:logo <https://w3id.org/function/img/fno_favicon.png> ;
foaf:primaryTopic <https://w3id.org/function/ontology> .
#################################################################
# Annotation properties
#################################################################
### http://purl.org/dc/elements/1.1/description
dc:description rdf:type owl:AnnotationProperty .
### http://purl.org/dc/elements/1.1/source
dc:source rdf:type owl:AnnotationProperty .
### http://purl.org/dc/elements/1.1/title
dc:title rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/created
dcterms:created rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/creator
dcterms:creator rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/issued
dcterms:issued rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/modified
dcterms:modified rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/publisher
dcterms:publisher rdf:type owl:AnnotationProperty .
### http://purl.org/ontology/bibo/status
bibo:status rdf:type owl:AnnotationProperty .
### http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .
### http://purl.org/vocab/vann/preferredNamespaceUri
vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### http://schema.org/license
schema:license rdf:type owl:AnnotationProperty .
### http://www.w3.org/2003/06/sw-vocab-status/ns#term_status
vs:term_status rdf:type owl:AnnotationProperty .
### http://xmlns.com/foaf/0.1/depiction
foaf:depiction rdf:type owl:AnnotationProperty .
### http://xmlns.com/foaf/0.1/logo
foaf:logo rdf:type owl:AnnotationProperty .
### http://xmlns.com/foaf/0.1/mbox
foaf:mbox rdf:type owl:AnnotationProperty .
### http://xmlns.com/foaf/0.1/name
foaf:name rdf:type owl:AnnotationProperty .
### http://xmlns.com/foaf/0.1/primaryTopic
foaf:primaryTopic rdf:type owl:AnnotationProperty .
#################################################################
# Object Properties
#################################################################
### https://w3id.org/function/vocabulary/composition#composedOf
:composedOf rdf:type owl:ObjectProperty ;
rdfs:domain :Composition ;
rdfs:range :CompositionMapping ;
rdfs:comment "Connects a [:Composition] with the [:CompositionMapping]s that define it."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "composedOf"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#constituentFunction
:constituentFunction rdf:type owl:ObjectProperty ;
rdfs:domain :CompositionMappingEndpoint ;
rdfs:range fno:Function ;
rdfs:comment "Defines "@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "constituentFunction"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#applies
:applies rdf:type owl:ObjectProperty ;
rdfs:domain fno:Function ;
rdfs:range fno:Function ;
rdfs:comment """Indicates that the [fno:Function] in the subject is a distinct application of the function in the
object of the triple. The distinct application has the same properties as the original. This construction allows
for making assertions about different applications of the same function."""@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "applies"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#functionOutput
:functionOutput rdf:type owl:ObjectProperty ;
rdfs:domain :CompositionMappingEndpoint ;
rdfs:range fno:Output ;
rdfs:comment "References the [fno:Output] of a [fno:Function] as the `source` or the `target` of a [fno:CompositionMapping]."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "functionOutput"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#functionParameter
:functionParameter rdf:type owl:ObjectProperty ;
rdfs:domain :CompositionMappingEndpoint ;
rdfs:range fno:Parameter ;
rdfs:comment "References the [fno:Parameter] of a [fno:Function] as the `source` or the `target` of a [fno:CompositionMapping]."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "functionParameter"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#mapFrom
:mapFrom rdf:type owl:ObjectProperty ;
rdfs:domain :CompositionMapping ;
rdfs:range :CompositionMappingEndpoint;
rdfs:comment "Links a [:CompopsitionMapping] to its `source` [:CompositionMappingEndpoint]"@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "mapFrom"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#mapFromTerm
:mapFromTerm rdf:type owl:ObjectProperty ;
rdfs:domain :CompositionMapping ;
rdfs:comment "Defines a constant term (literal or resource) as the `source` endpoint of a [:CompositionMapping]."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "mapFromTerm"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#mapTo
:mapTo rdf:type owl:ObjectProperty ;
rdfs:domain :CompositionMapping ;
rdfs:range :CompositionMappingEndpoint ;
rdfs:comment "Links a [:CompopsitionMapping] to its `target` [:CompositionMappingEndpoint]"@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "mapTo"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#partiallyApplies
:partiallyApplies rdf:type owl:ObjectProperty ;
rdfs:domain :PartiallyAppliedFunction ;
rdfs:range fno:Function ;
rdfs:comment """Expresses that the [fno:Function] in the subject is a partial application of the [fno:Function] referenced by the object.
It is expected that the partial application provides a constant value for at least one of the function's [fno:Parameter]s.
If no parameter values are specified the use of [:partiallyApplies] is equivalent to [:applies]."""@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "partiallyApplies"@en ;
vs:term_status "testing" .
:boundToTerm rdf:type owl:ObjectProperty ;
rdfs:domain :ParameterBinding ;
rdfs:comment """Specifies the constant value of a [:ParameterBinding], which can be any RDF term."""@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label ":boundToTerm"@en ;
vs:term_status "testing" .
:boundParameter rdf:type owl:ObjectProperty ;
rdfs:domain :ParameterBinding ;
rdfs:range fno:Parameter ;
rdfs:comment """Specifies the [:Parameter] of a [:ParameterBinding]."""@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label ":boundParameter"@en ;
vs:term_status "testing" .
:parameterBinding rdf:type owl:ObjectProperty ;
rdfs:domain :PartiallyAppliedFunction ;
rdfs:range :ParameterBinding ;
rdfs:comment """Specifies a [:ParameterBinding] of a [:PartiallyAppliedFunction]."""@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "::parameterBinding"@en ;
vs:term_status "testing" .
#################################################################
# Classes
#################################################################
### http://purl.org/vocommons/voaf#Vocabulary
voaf:Vocabulary rdf:type owl:Class .
### http://xmlns.com/foaf/0.1/Person
foaf:Person rdf:type owl:Class .
### https://w3id.org/function/ontology#Function
fno:Function rdf:type owl:Class .
### https://w3id.org/function/ontology#Output
fno:Output rdf:type owl:Class .
### https://w3id.org/function/ontology#Parameter
fno:Parameter rdf:type owl:Class .
### https://w3id.org/function/vocabulary/composition#Composition
:Composition rdf:type owl:Class ;
rdfs:comment "Represents a composition of [fno:Function] individuals"@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "Composition"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#CompositionMapping
:CompositionMapping rdf:type owl:Class ;
rdfs:comment """Connects one [fno:Function]'s [fno:Parameter] or [fno:Output] to another function's
parameter or output. The properties used for this are [:mapFrom] and [:mapTo] . Exception: mapping from a parameter
to an output allowed. Alternatively, a [:CompositionMapping] can link to a constant term via [:mapFromTerm] instead of [:mapFrom]."""@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "CompositionMapping"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#CompositionMappingEndpoint
:CompositionMappingEndpoint rdf:type owl:Class ;
rdfs:comment "The `source` or `target` of a [:CompositionMapping], defining a combination of [fno:Function] and either [fno:Parameter] or [fno:Output]."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "CompositionMappingEndpoint"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#PartiallyAppliedFunction
:PartiallyAppliedFunction rdf:type owl:Class ;
rdfs:subClassOf fno:Function ;
rdfs:comment "A [fno:Function] derived from another function by providing one or more, but not all parameter values."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "PartiallyAppliedFunction"@en ;
vs:term_status "testing" .
### https://w3id.org/function/vocabulary/composition#ParameterBinding
:ParameterBinding rdf:type owl:Class ;
rdfs:comment "Associates a constant term with a [fno:Parameter] in the specification of a [:PartiallyAppliedFunction]. The constant term is referenced via [:boundToTerm], the parameter via [:boundParameter]."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label ":ParameterBinding"@en ;
vs:term_status "testing" .
#################################################################
# Individuals
#################################################################
### https://ben.de-meester.org/#me
<https://ben.de-meester.org/#me> rdf:type owl:NamedIndividual ,
foaf:Person ;
rdfs:label "Ben De Meester"@en ;
foaf:mbox "mailto:[email protected]" ;
foaf:name "Ben De Meester"@en .
### https://w3id.org/function/vocabulary/composition#
<https://w3id.org/function/vocabulary/composition#> rdf:type owl:NamedIndividual ,
voaf:Vocabulary .
[ rdf:type foaf:Person ;
rdfs:label "Florian Kleedorfer" ;
foaf:mbox "mailto:[email protected]" ;
foaf:name "Florian Kleedorfer"
] .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi