-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathfaldo.ttl
207 lines (184 loc) · 10.6 KB
/
faldo.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
# baseURI: http://biohackathon.org/resource/faldo
@prefix : <http://biohackathon.org/resource/faldo#> .
@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 spin: <http://spinrdf.org/spin#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://biohackathon.org/resource/faldo>
rdf:type owl:Ontology ;
spin:imports <http://topbraid.org/spin/spinowl> , <http://topbraid.org/spin/rdfsplus> , <http://topbraid.org/spin/owlrl-all> ;
owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
:BagOfRegions
rdf:type owl:Class ;
rdfs:comment "Used to describe a location that consists of a number of Regions but where the order is not known. e.g. the oddly named order() keyword in a INSDC file."^^xsd:string ;
rdfs:seeAlso <http://www.insdc.org/files/feature_table.html> ;
rdfs:subClassOf rdf:Bag , :CollectionOfRegions .
:BothStrandsPosition
rdf:type owl:Class ;
rdfs:comment "The 'both strands position' indicates a region that is best described as being on 'both' strands of a double-stranded sequence, rather than one or the other."^^xsd:string ;
rdfs:label "Both strands"^^xsd:string ;
rdfs:subClassOf :StrandedPosition ;
owl:disjointWith :ForwardStrandPosition , :ReverseStrandPosition .
:CollectionOfRegions
rdf:type owl:Class ;
rdfs:comment "Sometimes a location of a feature is defined by a collection of regions e.g. join() and order() in INSDC records. One should always try to model the semantics more accurately than this, these are fallback options to encode legacy data."^^xsd:string ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf
[ rdf:type owl:Restriction ;
owl:allValuesFrom
[ rdf:type owl:Class ;
owl:unionOf (:Region :CollectionOfRegions)
] ;
owl:onProperty rdfs:member
] .
:ExactPosition
rdf:type owl:Class ;
rdfs:comment "A position that is exactly known."^^xsd:string ;
rdfs:label "Exact position"^^xsd:string ;
rdfs:subClassOf :Position ;
rdfs:subClassOf
[ rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :position
] ;
owl:disjointWith :InBetweenPosition , :InRangePosition , :OneOfPosition .
:ForwardStrandPosition
rdf:type owl:Class ;
rdfs:comment "The position is on the forward (positive, 5' to 3') strand. Shown as a '+' in GFF3 and GTF."^^xsd:string ;
rdfs:label "Positive strand"^^xsd:string ;
rdfs:subClassOf :StrandedPosition ;
owl:disjointWith :BothStrandsPosition , :ReverseStrandPosition .
:FuzzyPosition
rdf:type owl:Class ;
rdfs:comment "A position that lacks exact data."^^xsd:string ;
rdfs:label "Fuzzy position"^^xsd:string ;
rdfs:subClassOf :Position .
:InBetweenPosition
rdf:type owl:Class ;
rdfs:comment "This indicates that a feature is between two other positions that are both known exactly and that are next to each other. An example is a restriction enzyme cutting site. The cut is after one position and before the other position (hence, in between)."^^xsd:string ;
rdfs:label "In between positions"^^xsd:string ;
rdfs:subClassOf :Position ;
rdfs:subClassOf
[ rdf:type owl:Class ;
owl:intersectionOf ([ rdf:type owl:Restriction ;
owl:onClass :ExactPosition ;
owl:onProperty :before ;
owl:qualifiedCardinality
"1"^^xsd:nonNegativeInteger
] [ rdf:type owl:Restriction ;
owl:onClass :ExactPosition ;
owl:onProperty :after ;
owl:qualifiedCardinality
"1"^^xsd:nonNegativeInteger
])
] ;
owl:disjointWith :ExactPosition , :OneOfPosition , :InRangePosition .
:InRangePosition
rdf:type owl:Class ;
rdfs:comment "Use when you have an idea of the range in which you can find the position, but you cannot be sure about the exact position."^^xsd:string ;
rdfs:label "Indeterminate position within a range"^^xsd:string ;
rdfs:subClassOf :FuzzyPosition ;
rdfs:subClassOf
[ rdf:type owl:Class ;
owl:intersectionOf ([ rdf:type owl:Restriction ;
owl:maxQualifiedCardinality
"1"^^xsd:nonNegativeInteger ;
owl:onClass :Position ;
owl:onProperty :begin
] [ rdf:type owl:Restriction ;
owl:maxQualifiedCardinality
"1"^^xsd:nonNegativeInteger ;
owl:onClass :Position ;
owl:onProperty :end
])
] ;
owl:disjointWith :OneOfPosition , :StrandedPosition , :ExactPosition , :InBetweenPosition .
:ListOfRegions
rdf:type owl:Class ;
rdfs:comment "Should be used when the location of a region is defined by an ordered list of Regions. However, try to avoid using these types in favor of using more explicit semantics about why the order is important."^^xsd:string , "As an ordered list of regions (but the list might not be complete)."^^xsd:string ;
rdfs:seeAlso <http://www.insdc.org/files/feature_table.html> ;
rdfs:subClassOf rdf:Seq , :CollectionOfRegions .
:OneOfPosition
rdf:type owl:Class ;
rdfs:comment "The position is known to be one of the more detailed positions listed by the location predicate."^^xsd:string ;
rdfs:label "One of positions"^^xsd:string ;
rdfs:subClassOf :FuzzyPosition ;
owl:disjointWith :InBetweenPosition , :InRangePosition , :ExactPosition .
:Position
rdf:type owl:Class ;
rdfs:comment "Superclass for the general concept of a position on a sequence. The sequence is designated with the reference predicate."^^xsd:string ;
rdfs:label "Position"^^xsd:string ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf
[ rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :reference
] .
:Region
rdf:type owl:Class ;
rdfs:comment "A region describes a length of sequence with a start position and end position that represents a feature on a sequence, e.g. a gene."^^xsd:string ;
rdfs:label "Region"^^xsd:string ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf
[ rdf:type owl:Class ;
owl:intersectionOf ([ rdf:type owl:Restriction ;
owl:onClass :Position ;
owl:onProperty :begin ;
owl:qualifiedCardinality
"1"^^xsd:nonNegativeInteger
] [ rdf:type owl:Restriction ;
owl:onClass :Position ;
owl:onProperty :end ;
owl:qualifiedCardinality
"1"^^xsd:nonNegativeInteger
])
] .
:ReverseStrandPosition
rdf:type owl:Class ;
rdfs:comment "The position is on the reverse (complement, 3' to 5') strand of the sequence. Shown as '-' in GTF and GFF3."^^xsd:string ;
rdfs:label "Negative strand"^^xsd:string ;
rdfs:subClassOf :StrandedPosition ;
owl:disjointWith :ForwardStrandPosition , :BothStrandsPosition .
:StrandedPosition
rdf:type owl:Class ;
rdfs:comment "Part of the coordinate system denoting on which strand the feature can be found. If you do not yet know which stand the feature is on, you should tag the position with just this class. If you know more you should use one of the subclasses. This means a region described with a '.' in GFF3. A GFF3 unstranded position does not have this type in FALDO -- those are just a 'position'."^^xsd:string ;
rdfs:label "Stranded position"^^xsd:string ;
rdfs:subClassOf :Position .
:after
rdf:type owl:ObjectProperty ;
rdfs:comment "This predicate is used when you want to describe a non-inclusive range. Only used in the InBetweenPosition to say it is after a nucleotide, but before the next one."^^xsd:string ;
rdfs:domain :InBetweenPosition ;
rdfs:range :ExactPosition .
:before
rdf:type owl:ObjectProperty ;
rdfs:comment "This predicate is used to indicate that the feature is found before the exact position. Use to indicate, for example, a cleavage site. The cleavage happens between two amino acids before one and after the other."^^xsd:string ;
rdfs:domain :InBetweenPosition ;
rdfs:range :ExactPosition .
:begin
rdf:type owl:ObjectProperty ;
rdfs:comment "The inclusive beginning of a position. Also known as start."^^xsd:string ;
rdfs:range :Position .
:end rdf:type owl:ObjectProperty ;
rdfs:comment "The inclusive end of the position."^^xsd:string ;
rdfs:range :Position .
:location
rdf:type owl:ObjectProperty ;
rdfs:comment "This is the link between the concept whose location you are annotating and its range or position. For example, when annotating the region that describes an exon, the exon would be the subject and the region would be the object of the triple or: 'active site' 'location' [is] 'position 3'."^^xsd:string ;
rdfs:range
[ rdf:type owl:Class ;
owl:unionOf (:CollectionOfRegions :Region :Position)
] .
:position
rdf:type owl:DatatypeProperty ;
rdfs:comment "The position value is the offset along the reference where this position is found. Thus the only the position value in combination with the reference determines where a position is."^^xsd:string , "Denoted in 1-based closed coordinates, i.e. the position on the first amino acid or nucleotide of a sequence has the value 1."^^xsd:string ;
rdfs:domain :ExactPosition ;
rdfs:range [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:integer ;
owl:withRestrictions ( [ xsd:minInclusive 1
]
)
] .
:reference
rdf:type owl:ObjectProperty ;
rdfs:comment "The reference is the resource that the position value is anchored to. For example, a contig or chromosome in a genome assembly."^^xsd:string .