@skaterqiang/protege-js 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (92) hide show
  1. package/CHANGELOG.md +65 -0
  2. package/LICENSE +48 -0
  3. package/README.md +287 -0
  4. package/docs/API.md +654 -0
  5. package/docs/design/OWL2-/347/274/272/345/217/243/345/210/206/346/236/220.md +140 -0
  6. package/docs/owl2-rl/OWL2-RL-/350/247/204/345/210/231/347/273/206/345/210/231.md +168 -0
  7. package/docs/owl2-rl/owl2-profiles-spec-zh.html +1914 -0
  8. package/docs/owl2-rl/owl2-profiles-spec.html +1916 -0
  9. package/docs/owl2-rl/rl_rules.json +392 -0
  10. package/main.js +46 -0
  11. package/package.json +76 -0
  12. package/sample/README.md +74 -0
  13. package/sample/case1-ecommerce-risk.js +170 -0
  14. package/sample/case10-ecommerce-customer-service.js +454 -0
  15. package/sample/case2-family-swrl.js +147 -0
  16. package/sample/case3-pharma-safety.js +132 -0
  17. package/sample/case4-knowledge-publishing.js +111 -0
  18. package/sample/case5-obda-profiles.js +153 -0
  19. package/sample/case6-medical-ontology.js +152 -0
  20. package/sample/case7-manufacturing-ppr.js +155 -0
  21. package/sample/case8-real-medical-bfo-ogms.js +353 -0
  22. package/sample/case9-real-manufacturing-iao.js +360 -0
  23. package/sample/ontologies/bfo.owl +1715 -0
  24. package/sample/ontologies/iao.owl +8532 -0
  25. package/sample/ontologies/ogms.owl +4320 -0
  26. package/sample/ontologies/ro-core.owl +1010 -0
  27. package/scripts/verify-api.js +53 -0
  28. package/src/index.js +176 -0
  29. package/src/inference/OWL2ProfileReasoners.js +67 -0
  30. package/src/inference/OWL2RLReasoner.js +65 -0
  31. package/src/inference/ReasonerQueries.js +111 -0
  32. package/src/inference/SWRLReasoner.js +409 -0
  33. package/src/inference/TripleStore.js +82 -0
  34. package/src/inference/rdf.js +83 -0
  35. package/src/inference/rules/owl2el.js +33 -0
  36. package/src/inference/rules/owl2ql.js +29 -0
  37. package/src/inference/rules/owl2rl.js +823 -0
  38. package/src/io/FunctionalSyntaxParser.js +399 -0
  39. package/src/io/FunctionalSyntaxWriter.js +180 -0
  40. package/src/io/ManchesterSyntaxParser.js +398 -0
  41. package/src/io/OWLXMLParser.js +356 -0
  42. package/src/io/OntologyLoader.js +125 -0
  43. package/src/io/RDFGraphToOntology.js +702 -0
  44. package/src/io/RDFXMLParser.js +319 -0
  45. package/src/io/RDFXMLWriter.js +196 -0
  46. package/src/io/SWRLParser.js +150 -0
  47. package/src/io/TurtleParser.js +363 -0
  48. package/src/io/TurtleWriter.js +393 -0
  49. package/src/model/IRI.js +62 -0
  50. package/src/model/OWLAxiom.js +507 -0
  51. package/src/model/OWLClassExpression.js +242 -0
  52. package/src/model/OWLEntity.js +142 -0
  53. package/src/model/OWLLiteral.js +30 -0
  54. package/src/model/OWLModelManager.js +106 -0
  55. package/src/model/OWLOntology.js +119 -0
  56. package/src/model/SWRL.js +152 -0
  57. package/src/model/event/OWLModelManagerEvent.js +33 -0
  58. package/src/model/hierarchy/HierarchyProvider.js +214 -0
  59. package/src/profiles/OWL2Profiles.js +185 -0
  60. package/src/server/public/app.js +97 -0
  61. package/src/server/public/index.html +49 -0
  62. package/src/server/webServer.js +138 -0
  63. package/src/validation/GlobalRestrictionsValidator.js +172 -0
  64. package/test/core.test.js +111 -0
  65. package/test/exports-map.test.js +165 -0
  66. package/test/owl2/axioms.test.js +160 -0
  67. package/test/owl2/classExpressions.test.js +99 -0
  68. package/test/owl2/functional-syntax-writer.test.js +65 -0
  69. package/test/owl2/functional.test.js +113 -0
  70. package/test/owl2/global-restrictions.test.js +76 -0
  71. package/test/owl2/longtail.test.js +74 -0
  72. package/test/owl2/manchester-syntax.test.js +100 -0
  73. package/test/owl2/ontology-loader-imports.test.js +62 -0
  74. package/test/owl2/owlxml-parser.test.js +112 -0
  75. package/test/owl2/profile-reasoners.test.js +108 -0
  76. package/test/owl2/profiles.test.js +66 -0
  77. package/test/owl2/rdf-graph-to-ontology.test.js +177 -0
  78. package/test/owl2/rdfxml-punning.test.js +25 -0
  79. package/test/owl2/rdfxml-writer.test.js +55 -0
  80. package/test/owl2/rdfxml.test.js +91 -0
  81. package/test/owl2/reasoner-queries.test.js +58 -0
  82. package/test/owl2/sample-e2e.test.js +195 -0
  83. package/test/owl2/swrl-parser.test.js +60 -0
  84. package/test/owl2/swrl.test.js +131 -0
  85. package/test/owl2/turtle-writer.test.js +84 -0
  86. package/test/owl2/turtle.test.js +124 -0
  87. package/test/owl2rl/cax.test.js +57 -0
  88. package/test/owl2rl/cls.test.js +210 -0
  89. package/test/owl2rl/dt.test.js +72 -0
  90. package/test/owl2rl/eq.test.js +95 -0
  91. package/test/owl2rl/prp.test.js +198 -0
  92. package/test/owl2rl/scm.test.js +203 -0
@@ -0,0 +1,1010 @@
1
+ <?xml version="1.0"?>
2
+ <rdf:RDF xmlns="http://purl.obolibrary.org/obo/ro/core.owl#"
3
+ xml:base="http://purl.obolibrary.org/obo/ro/core.owl"
4
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
5
+ xmlns:obo="http://purl.obolibrary.org/obo/"
6
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
7
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
8
+ xmlns:xml="http://www.w3.org/XML/1998/namespace"
9
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
10
+ xmlns:foaf="http://xmlns.com/foaf/0.1/"
11
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
12
+ xmlns:swrl="http://www.w3.org/2003/11/swrl#"
13
+ xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
14
+ xmlns:terms="http://purl.org/dc/terms/"
15
+ xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#">
16
+ <owl:Ontology rdf:about="http://purl.obolibrary.org/obo/ro/core.owl">
17
+ <owl:versionIRI rdf:resource="http://purl.obolibrary.org/obo/ro/releases/2025-12-17/core.owl"/>
18
+ <terms:license rdf:resource="https://creativecommons.org/publicdomain/zero/1.0/"/>
19
+ <owl:versionInfo>2025-12-17</owl:versionInfo>
20
+ <foaf:homepage rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://github.com/oborel/obo-relations/wiki/ROCore</foaf:homepage>
21
+ </owl:Ontology>
22
+
23
+
24
+
25
+ <!--
26
+ ///////////////////////////////////////////////////////////////////////////////////////
27
+ //
28
+ // Annotation properties
29
+ //
30
+ ///////////////////////////////////////////////////////////////////////////////////////
31
+ -->
32
+
33
+
34
+
35
+
36
+ <!-- http://purl.obolibrary.org/obo/IAO_0000111 -->
37
+
38
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000111"/>
39
+
40
+
41
+
42
+ <!-- http://purl.obolibrary.org/obo/IAO_0000112 -->
43
+
44
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000112"/>
45
+
46
+
47
+
48
+ <!-- http://purl.obolibrary.org/obo/IAO_0000114 -->
49
+
50
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000114"/>
51
+
52
+
53
+
54
+ <!-- http://purl.obolibrary.org/obo/IAO_0000115 -->
55
+
56
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>
57
+
58
+
59
+
60
+ <!-- http://purl.obolibrary.org/obo/IAO_0000116 -->
61
+
62
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000116"/>
63
+
64
+
65
+
66
+ <!-- http://purl.obolibrary.org/obo/IAO_0000118 -->
67
+
68
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000118"/>
69
+
70
+
71
+
72
+ <!-- http://purl.obolibrary.org/obo/IAO_0000119 -->
73
+
74
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000119"/>
75
+
76
+
77
+
78
+ <!-- http://purl.obolibrary.org/obo/IAO_0000600 -->
79
+
80
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000600"/>
81
+
82
+
83
+
84
+ <!-- http://purl.obolibrary.org/obo/RO_0001900 -->
85
+
86
+ <owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001900"/>
87
+
88
+
89
+
90
+ <!-- http://purl.org/dc/elements/1.1/license -->
91
+
92
+ <owl:AnnotationProperty rdf:about="http://purl.org/dc/elements/1.1/license"/>
93
+
94
+
95
+
96
+ <!-- http://purl.org/dc/terms/license -->
97
+
98
+ <owl:AnnotationProperty rdf:about="http://purl.org/dc/terms/license"/>
99
+
100
+
101
+
102
+ <!-- http://purl.org/dc/terms/source -->
103
+
104
+ <owl:AnnotationProperty rdf:about="http://purl.org/dc/terms/source"/>
105
+
106
+
107
+
108
+ <!-- http://xmlns.com/foaf/0.1/homepage -->
109
+
110
+ <owl:AnnotationProperty rdf:about="http://xmlns.com/foaf/0.1/homepage"/>
111
+
112
+
113
+
114
+ <!--
115
+ ///////////////////////////////////////////////////////////////////////////////////////
116
+ //
117
+ // Object Properties
118
+ //
119
+ ///////////////////////////////////////////////////////////////////////////////////////
120
+ -->
121
+
122
+
123
+
124
+
125
+ <!-- http://purl.obolibrary.org/obo/BFO_0000050 -->
126
+
127
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000050">
128
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000051"/>
129
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
130
+ <obo:IAO_0000111 xml:lang="en">is part of</obo:IAO_0000111>
131
+ <obo:IAO_0000112 xml:lang="en">my brain is part of my body (continuant parthood, two material entities)</obo:IAO_0000112>
132
+ <obo:IAO_0000112 xml:lang="en">my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)</obo:IAO_0000112>
133
+ <obo:IAO_0000112 xml:lang="en">this day is part of this year (occurrent parthood)</obo:IAO_0000112>
134
+ <obo:IAO_0000115 xml:lang="en">a core relation that holds between a part and its whole</obo:IAO_0000115>
135
+ <obo:IAO_0000116 xml:lang="en">Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other.</obo:IAO_0000116>
136
+ <obo:IAO_0000116 xml:lang="en">Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/</obo:IAO_0000116>
137
+ <obo:IAO_0000116 xml:lang="en">Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.)
138
+
139
+ A continuant cannot be part of an occurrent: use &apos;participates in&apos;. An occurrent cannot be part of a continuant: use &apos;has participant&apos;. A material entity cannot be part of an immaterial entity: use &apos;has location&apos;. A specifically dependent continuant cannot be part of an independent continuant: use &apos;inheres in&apos;. An independent continuant cannot be part of a specifically dependent continuant: use &apos;bearer of&apos;.</obo:IAO_0000116>
140
+ <obo:IAO_0000118 xml:lang="en">part_of</obo:IAO_0000118>
141
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
142
+ <rdfs:label xml:lang="en">part of</rdfs:label>
143
+ <rdfs:seeAlso>http://www.obofoundry.org/ro/#OBO_REL:part_of</rdfs:seeAlso>
144
+ </owl:ObjectProperty>
145
+
146
+
147
+
148
+ <!-- http://purl.obolibrary.org/obo/BFO_0000051 -->
149
+
150
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000051">
151
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
152
+ <obo:IAO_0000111 xml:lang="en">has part</obo:IAO_0000111>
153
+ <obo:IAO_0000112 xml:lang="en">my body has part my brain (continuant parthood, two material entities)</obo:IAO_0000112>
154
+ <obo:IAO_0000112 xml:lang="en">my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)</obo:IAO_0000112>
155
+ <obo:IAO_0000112 xml:lang="en">this year has part this day (occurrent parthood)</obo:IAO_0000112>
156
+ <obo:IAO_0000115 xml:lang="en">a core relation that holds between a whole and its part</obo:IAO_0000115>
157
+ <obo:IAO_0000116 xml:lang="en">Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part.</obo:IAO_0000116>
158
+ <obo:IAO_0000116 xml:lang="en">Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/</obo:IAO_0000116>
159
+ <obo:IAO_0000116 xml:lang="en">Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.)
160
+
161
+ A continuant cannot have an occurrent as part: use &apos;participates in&apos;. An occurrent cannot have a continuant as part: use &apos;has participant&apos;. An immaterial entity cannot have a material entity as part: use &apos;location of&apos;. An independent continuant cannot have a specifically dependent continuant as part: use &apos;bearer of&apos;. A specifically dependent continuant cannot have an independent continuant as part: use &apos;inheres in&apos;.</obo:IAO_0000116>
162
+ <obo:IAO_0000118 xml:lang="en">has_part</obo:IAO_0000118>
163
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
164
+ <rdfs:label xml:lang="en">has part</rdfs:label>
165
+ </owl:ObjectProperty>
166
+
167
+
168
+
169
+ <!-- http://purl.obolibrary.org/obo/BFO_0000054 -->
170
+
171
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000054">
172
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000055"/>
173
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
174
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/>
175
+ <obo:IAO_0000111 xml:lang="en">realized in</obo:IAO_0000111>
176
+ <obo:IAO_0000112 xml:lang="en">this disease is realized in this disease course</obo:IAO_0000112>
177
+ <obo:IAO_0000112 xml:lang="en">this fragility is realized in this shattering</obo:IAO_0000112>
178
+ <obo:IAO_0000112 xml:lang="en">this investigator role is realized in this investigation</obo:IAO_0000112>
179
+ <obo:IAO_0000118 xml:lang="en">is realized by</obo:IAO_0000118>
180
+ <obo:IAO_0000118 xml:lang="en">realized_in</obo:IAO_0000118>
181
+ <obo:IAO_0000600 xml:lang="en">[copied from inverse property &apos;realizes&apos;] to say that b realizes c at t is to assert that there is some material entity d &amp; b is a process which has participant d at t &amp; c is a disposition or role of which d is bearer_of at t&amp; the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])</obo:IAO_0000600>
182
+ <rdfs:comment>Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process</rdfs:comment>
183
+ <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
184
+ <rdfs:label xml:lang="en">realized in</rdfs:label>
185
+ </owl:ObjectProperty>
186
+
187
+
188
+
189
+ <!-- http://purl.obolibrary.org/obo/BFO_0000055 -->
190
+
191
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000055">
192
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/>
193
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
194
+ <obo:IAO_0000111 xml:lang="en">realizes</obo:IAO_0000111>
195
+ <obo:IAO_0000112 xml:lang="en">this disease course realizes this disease</obo:IAO_0000112>
196
+ <obo:IAO_0000112 xml:lang="en">this investigation realizes this investigator role</obo:IAO_0000112>
197
+ <obo:IAO_0000112 xml:lang="en">this shattering realizes this fragility</obo:IAO_0000112>
198
+ <obo:IAO_0000600 xml:lang="en">to say that b realizes c at t is to assert that there is some material entity d &amp; b is a process which has participant d at t &amp; c is a disposition or role of which d is bearer_of at t&amp; the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])</obo:IAO_0000600>
199
+ <rdfs:comment>Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process</rdfs:comment>
200
+ <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/iao.owl"/>
201
+ <rdfs:label xml:lang="en">realizes</rdfs:label>
202
+ </owl:ObjectProperty>
203
+
204
+
205
+
206
+ <!-- http://purl.obolibrary.org/obo/BFO_0000066 -->
207
+
208
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000066">
209
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000067"/>
210
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
211
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
212
+ <owl:propertyChainAxiom rdf:parseType="Collection">
213
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"/>
214
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000066"/>
215
+ </owl:propertyChainAxiom>
216
+ <owl:propertyChainAxiom rdf:parseType="Collection">
217
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000066"/>
218
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"/>
219
+ </owl:propertyChainAxiom>
220
+ <obo:IAO_0000111 xml:lang="en">occurs in</obo:IAO_0000111>
221
+ <obo:IAO_0000115 xml:lang="en">b occurs_in c =def b is a process and c is a material entity or immaterial entity&amp; there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.&amp; forall(t) if b exists_at t then c exists_at t &amp; there exist spatial regions s and s’ where &amp; b spatially_projects_onto s at t&amp; c is occupies_spatial_region s’ at t&amp; s is a proper_continuant_part_of s’ at t</obo:IAO_0000115>
222
+ <obo:IAO_0000118 xml:lang="en">occurs_in</obo:IAO_0000118>
223
+ <obo:IAO_0000118 xml:lang="en">unfolds in</obo:IAO_0000118>
224
+ <obo:IAO_0000118 xml:lang="en">unfolds_in</obo:IAO_0000118>
225
+ <rdfs:comment>Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant</rdfs:comment>
226
+ <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
227
+ <rdfs:label xml:lang="en">occurs in</rdfs:label>
228
+ </owl:ObjectProperty>
229
+
230
+
231
+
232
+ <!-- http://purl.obolibrary.org/obo/BFO_0000067 -->
233
+
234
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000067">
235
+ <obo:IAO_0000111 xml:lang="en">site of</obo:IAO_0000111>
236
+ <obo:IAO_0000115 xml:lang="en">[copied from inverse property &apos;occurs in&apos;] b occurs_in c =def b is a process and c is a material entity or immaterial entity&amp; there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.&amp; forall(t) if b exists_at t then c exists_at t &amp; there exist spatial regions s and s’ where &amp; b spatially_projects_onto s at t&amp; c is occupies_spatial_region s’ at t&amp; s is a proper_continuant_part_of s’ at t</obo:IAO_0000115>
237
+ <rdfs:comment>Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant</rdfs:comment>
238
+ <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
239
+ <rdfs:label xml:lang="en">contains process</rdfs:label>
240
+ </owl:ObjectProperty>
241
+
242
+
243
+
244
+ <!-- http://purl.obolibrary.org/obo/RO_0000052 -->
245
+
246
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000052">
247
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
248
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
249
+ <obo:IAO_0000111 xml:lang="en">inheres in</obo:IAO_0000111>
250
+ <obo:IAO_0000112 xml:lang="en">this fragility is a characteristic of this vase</obo:IAO_0000112>
251
+ <obo:IAO_0000112 xml:lang="en">this red color is a characteristic of this apple</obo:IAO_0000112>
252
+ <obo:IAO_0000115 xml:lang="en">a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence.</obo:IAO_0000115>
253
+ <obo:IAO_0000118 xml:lang="en">inheres_in</obo:IAO_0000118>
254
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
255
+ <rdfs:comment>Note that this relation was previously called &quot;inheres in&quot;, but was changed to be called &quot;characteristic of&quot; because BFO2 uses &quot;inheres in&quot; in a more restricted fashion. This relation differs from BFO2:inheres_in in two respects: (1) it does not impose a range constraint, and thus it allows qualities of processes, as well as of information entities, whereas BFO2 restricts inheres_in to only apply to independent continuants (2) it is declared functional, i.e. something can only be a characteristic of one thing.</rdfs:comment>
256
+ <rdfs:label xml:lang="en">characteristic of</rdfs:label>
257
+ </owl:ObjectProperty>
258
+
259
+
260
+
261
+ <!-- http://purl.obolibrary.org/obo/RO_0000053 -->
262
+
263
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000053">
264
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
265
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
266
+ <obo:IAO_0000111 xml:lang="en">bearer of</obo:IAO_0000111>
267
+ <obo:IAO_0000112 xml:lang="en">this apple is bearer of this red color</obo:IAO_0000112>
268
+ <obo:IAO_0000112 xml:lang="en">this vase is bearer of this fragility</obo:IAO_0000112>
269
+ <obo:IAO_0000115 xml:lang="en">Inverse of characteristic_of</obo:IAO_0000115>
270
+ <obo:IAO_0000116 xml:lang="en">A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist.</obo:IAO_0000116>
271
+ <obo:IAO_0000118 xml:lang="en">bearer_of</obo:IAO_0000118>
272
+ <obo:IAO_0000118 xml:lang="en">is bearer of</obo:IAO_0000118>
273
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
274
+ <rdfs:label xml:lang="en">has characteristic</rdfs:label>
275
+ </owl:ObjectProperty>
276
+
277
+
278
+
279
+ <!-- http://purl.obolibrary.org/obo/RO_0000056 -->
280
+
281
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000056">
282
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000057"/>
283
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
284
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
285
+ <obo:IAO_0000111 xml:lang="en">participates in</obo:IAO_0000111>
286
+ <obo:IAO_0000112 xml:lang="en">this blood clot participates in this blood coagulation</obo:IAO_0000112>
287
+ <obo:IAO_0000112 xml:lang="en">this input material (or this output material) participates in this process</obo:IAO_0000112>
288
+ <obo:IAO_0000112 xml:lang="en">this investigator participates in this investigation</obo:IAO_0000112>
289
+ <obo:IAO_0000115 xml:lang="en">a relation between a continuant and a process, in which the continuant is somehow involved in the process</obo:IAO_0000115>
290
+ <obo:IAO_0000118 xml:lang="en">participates_in</obo:IAO_0000118>
291
+ <rdfs:label xml:lang="en">participates in</rdfs:label>
292
+ </owl:ObjectProperty>
293
+
294
+
295
+
296
+ <!-- http://purl.obolibrary.org/obo/RO_0000057 -->
297
+
298
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000057">
299
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
300
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
301
+ <obo:IAO_0000111 xml:lang="en">has participant</obo:IAO_0000111>
302
+ <obo:IAO_0000112 xml:lang="en">this blood coagulation has participant this blood clot</obo:IAO_0000112>
303
+ <obo:IAO_0000112 xml:lang="en">this investigation has participant this investigator</obo:IAO_0000112>
304
+ <obo:IAO_0000112 xml:lang="en">this process has participant this input material (or this output material)</obo:IAO_0000112>
305
+ <obo:IAO_0000115 xml:lang="en">a relation between a process and a continuant, in which the continuant is somehow involved in the process</obo:IAO_0000115>
306
+ <obo:IAO_0000116 xml:lang="en">Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time.</obo:IAO_0000116>
307
+ <obo:IAO_0000118 xml:lang="en">has_participant</obo:IAO_0000118>
308
+ <terms:source>http://www.obofoundry.org/ro/#OBO_REL:has_participant</terms:source>
309
+ <rdfs:label xml:lang="en">has participant</rdfs:label>
310
+ </owl:ObjectProperty>
311
+
312
+
313
+
314
+ <!-- http://purl.obolibrary.org/obo/RO_0000058 -->
315
+
316
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000058">
317
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000059"/>
318
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000031"/>
319
+ <rdfs:range>
320
+ <owl:Class>
321
+ <owl:unionOf rdf:parseType="Collection">
322
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000015"/>
323
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000020"/>
324
+ </owl:unionOf>
325
+ </owl:Class>
326
+ </rdfs:range>
327
+ <obo:IAO_0000112 xml:lang="en">A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The journal article (a generically dependent continuant) is concretized as the quality (a specifically dependent continuant), and both depend on that copy of the printed journal (an independent continuant).</obo:IAO_0000112>
328
+ <obo:IAO_0000112 xml:lang="en">An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process).</obo:IAO_0000112>
329
+ <obo:IAO_0000115 xml:lang="en">A relationship between a generically dependent continuant and a specifically dependent continuant or process, in which the generically dependent continuant depends on some independent continuant or process in virtue of the fact that the specifically dependent continuant or process also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants or processes.</obo:IAO_0000115>
330
+ <rdfs:label xml:lang="en">is concretized as</rdfs:label>
331
+ </owl:ObjectProperty>
332
+
333
+
334
+
335
+ <!-- http://purl.obolibrary.org/obo/RO_0000059 -->
336
+
337
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000059">
338
+ <rdfs:domain>
339
+ <owl:Class>
340
+ <owl:unionOf rdf:parseType="Collection">
341
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000015"/>
342
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000020"/>
343
+ </owl:unionOf>
344
+ </owl:Class>
345
+ </rdfs:domain>
346
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000031"/>
347
+ <obo:IAO_0000112 xml:lang="en">A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant).</obo:IAO_0000112>
348
+ <obo:IAO_0000112 xml:lang="en">An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process).</obo:IAO_0000112>
349
+ <obo:IAO_0000115 xml:lang="en">A relationship between a specifically dependent continuant or process and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant or process also depends on that same independent continuant. Multiple specifically dependent continuants or processes can concretize the same generically dependent continuant.</obo:IAO_0000115>
350
+ <rdfs:label xml:lang="en">concretizes</rdfs:label>
351
+ </owl:ObjectProperty>
352
+
353
+
354
+
355
+ <!-- http://purl.obolibrary.org/obo/RO_0000079 -->
356
+
357
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000079">
358
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000052"/>
359
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000085"/>
360
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000034"/>
361
+ <obo:IAO_0000112 xml:lang="en">this catalysis function is a function of this enzyme</obo:IAO_0000112>
362
+ <obo:IAO_0000115 xml:lang="en">a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence</obo:IAO_0000115>
363
+ <obo:IAO_0000116 xml:lang="en">A function inheres in its bearer at all times for which the function exists, however the function need not be realized at all the times that the function exists.</obo:IAO_0000116>
364
+ <obo:IAO_0000118 xml:lang="en">function_of</obo:IAO_0000118>
365
+ <obo:IAO_0000118 xml:lang="en">is function of</obo:IAO_0000118>
366
+ <rdfs:comment>This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.</rdfs:comment>
367
+ <rdfs:label xml:lang="en">function of</rdfs:label>
368
+ </owl:ObjectProperty>
369
+
370
+
371
+
372
+ <!-- http://purl.obolibrary.org/obo/RO_0000080 -->
373
+
374
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000080">
375
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000052"/>
376
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000086"/>
377
+ <obo:IAO_0000112 xml:lang="en">this red color is a quality of this apple</obo:IAO_0000112>
378
+ <obo:IAO_0000115 xml:lang="en">a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence</obo:IAO_0000115>
379
+ <obo:IAO_0000116 xml:lang="en">A quality inheres in its bearer at all times for which the quality exists.</obo:IAO_0000116>
380
+ <obo:IAO_0000118 xml:lang="en">is quality of</obo:IAO_0000118>
381
+ <obo:IAO_0000118 xml:lang="en">quality_of</obo:IAO_0000118>
382
+ <rdfs:comment>This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.</rdfs:comment>
383
+ <rdfs:label xml:lang="en">quality of</rdfs:label>
384
+ </owl:ObjectProperty>
385
+
386
+
387
+
388
+ <!-- http://purl.obolibrary.org/obo/RO_0000081 -->
389
+
390
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000081">
391
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000052"/>
392
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000087"/>
393
+ <obo:IAO_0000112 xml:lang="en">this investigator role is a role of this person</obo:IAO_0000112>
394
+ <obo:IAO_0000115 xml:lang="en">a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence</obo:IAO_0000115>
395
+ <obo:IAO_0000116 xml:lang="en">A role inheres in its bearer at all times for which the role exists, however the role need not be realized at all the times that the role exists.</obo:IAO_0000116>
396
+ <obo:IAO_0000118 xml:lang="en">is role of</obo:IAO_0000118>
397
+ <obo:IAO_0000118 xml:lang="en">role_of</obo:IAO_0000118>
398
+ <rdfs:comment>This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.</rdfs:comment>
399
+ <rdfs:label xml:lang="en">role of</rdfs:label>
400
+ </owl:ObjectProperty>
401
+
402
+
403
+
404
+ <!-- http://purl.obolibrary.org/obo/RO_0000085 -->
405
+
406
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000085">
407
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
408
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
409
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000034"/>
410
+ <obo:IAO_0000112 xml:lang="en">this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)</obo:IAO_0000112>
411
+ <obo:IAO_0000115 xml:lang="en">a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence</obo:IAO_0000115>
412
+ <obo:IAO_0000116 xml:lang="en">A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists.</obo:IAO_0000116>
413
+ <obo:IAO_0000118 xml:lang="en">has_function</obo:IAO_0000118>
414
+ <rdfs:label xml:lang="en">has function</rdfs:label>
415
+ </owl:ObjectProperty>
416
+
417
+
418
+
419
+ <!-- http://purl.obolibrary.org/obo/RO_0000086 -->
420
+
421
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000086">
422
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
423
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000019"/>
424
+ <obo:IAO_0000112 xml:lang="en">this apple has quality this red color</obo:IAO_0000112>
425
+ <obo:IAO_0000115 xml:lang="en">a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence</obo:IAO_0000115>
426
+ <obo:IAO_0000116 xml:lang="en">A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist.</obo:IAO_0000116>
427
+ <obo:IAO_0000118 xml:lang="en">has_quality</obo:IAO_0000118>
428
+ <rdfs:label xml:lang="en">has quality</rdfs:label>
429
+ </owl:ObjectProperty>
430
+
431
+
432
+
433
+ <!-- http://purl.obolibrary.org/obo/RO_0000087 -->
434
+
435
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000087">
436
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
437
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
438
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000023"/>
439
+ <obo:IAO_0000112 xml:lang="en">this person has role this investigator role (more colloquially: this person has this role of investigator)</obo:IAO_0000112>
440
+ <obo:IAO_0000115 xml:lang="en">a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence</obo:IAO_0000115>
441
+ <obo:IAO_0000116 xml:lang="en">A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists.</obo:IAO_0000116>
442
+ <obo:IAO_0000118 xml:lang="en">has_role</obo:IAO_0000118>
443
+ <rdfs:label xml:lang="en">has role</rdfs:label>
444
+ </owl:ObjectProperty>
445
+
446
+
447
+
448
+ <!-- http://purl.obolibrary.org/obo/RO_0000091 -->
449
+
450
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000091">
451
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
452
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000092"/>
453
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
454
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000016"/>
455
+ <obo:IAO_0000115 xml:lang="en">a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence</obo:IAO_0000115>
456
+ <rdfs:label xml:lang="en">has disposition</rdfs:label>
457
+ </owl:ObjectProperty>
458
+
459
+
460
+
461
+ <!-- http://purl.obolibrary.org/obo/RO_0000092 -->
462
+
463
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000092">
464
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000052"/>
465
+ <rdfs:comment>This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.</rdfs:comment>
466
+ <rdfs:label xml:lang="en">disposition of</rdfs:label>
467
+ </owl:ObjectProperty>
468
+
469
+
470
+
471
+ <!-- http://purl.obolibrary.org/obo/RO_0001000 -->
472
+
473
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001000">
474
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0001001"/>
475
+ <obo:IAO_0000112 xml:lang="en">this cell derives from this parent cell (cell division)</obo:IAO_0000112>
476
+ <obo:IAO_0000112 xml:lang="en">this nucleus derives from this parent nucleus (nuclear division)</obo:IAO_0000112>
477
+ <obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
478
+ <obo:IAO_0000115 xml:lang="en">a relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity</obo:IAO_0000115>
479
+ <obo:IAO_0000116 xml:lang="en">This is a very general relation. More specific relations are preferred when applicable, such as &apos;directly develops from&apos;.</obo:IAO_0000116>
480
+ <obo:IAO_0000118 xml:lang="en">derives_from</obo:IAO_0000118>
481
+ <rdfs:label xml:lang="en">derives from</rdfs:label>
482
+ </owl:ObjectProperty>
483
+
484
+
485
+
486
+ <!-- http://purl.obolibrary.org/obo/RO_0001001 -->
487
+
488
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001001">
489
+ <obo:IAO_0000112 xml:lang="en">this parent cell derives into this cell (cell division)</obo:IAO_0000112>
490
+ <obo:IAO_0000112 xml:lang="en">this parent nucleus derives into this nucleus (nuclear division)</obo:IAO_0000112>
491
+ <obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
492
+ <obo:IAO_0000115 xml:lang="en">a relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity</obo:IAO_0000115>
493
+ <obo:IAO_0000116 xml:lang="en">This is a very general relation. More specific relations are preferred when applicable, such as &apos;directly develops into&apos;. To avoid making statements about a future that may not come to pass, it is often better to use the backward-looking &apos;derives from&apos; rather than the forward-looking &apos;derives into&apos;.</obo:IAO_0000116>
494
+ <obo:IAO_0000118 xml:lang="en">derives_into</obo:IAO_0000118>
495
+ <rdfs:label xml:lang="en">derives into</rdfs:label>
496
+ </owl:ObjectProperty>
497
+
498
+
499
+
500
+ <!-- http://purl.obolibrary.org/obo/RO_0001015 -->
501
+
502
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001015">
503
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0001025"/>
504
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
505
+ <obo:IAO_0000111 xml:lang="en">is location of</obo:IAO_0000111>
506
+ <obo:IAO_0000112 xml:lang="en">my head is the location of my brain</obo:IAO_0000112>
507
+ <obo:IAO_0000112 xml:lang="en">this cage is the location of this rat</obo:IAO_0000112>
508
+ <obo:IAO_0000115 xml:lang="en">a relation between two independent continuants, the location and the target, in which the target is entirely within the location</obo:IAO_0000115>
509
+ <obo:IAO_0000116 xml:lang="en">Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/</obo:IAO_0000116>
510
+ <obo:IAO_0000118 xml:lang="en">location_of</obo:IAO_0000118>
511
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
512
+ <rdfs:label xml:lang="en">location of</rdfs:label>
513
+ </owl:ObjectProperty>
514
+
515
+
516
+
517
+ <!-- http://purl.obolibrary.org/obo/RO_0001025 -->
518
+
519
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001025">
520
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
521
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
522
+ <rdfs:domain>
523
+ <owl:Class>
524
+ <owl:intersectionOf rdf:parseType="Collection">
525
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000004"/>
526
+ <owl:Class>
527
+ <owl:complementOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000006"/>
528
+ </owl:Class>
529
+ </owl:intersectionOf>
530
+ </owl:Class>
531
+ </rdfs:domain>
532
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
533
+ <rdfs:range>
534
+ <owl:Class>
535
+ <owl:intersectionOf rdf:parseType="Collection">
536
+ <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000004"/>
537
+ <owl:Class>
538
+ <owl:complementOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000006"/>
539
+ </owl:Class>
540
+ </owl:intersectionOf>
541
+ </owl:Class>
542
+ </rdfs:range>
543
+ <obo:IAO_0000111 xml:lang="en">located in</obo:IAO_0000111>
544
+ <obo:IAO_0000112 xml:lang="en">my brain is located in my head</obo:IAO_0000112>
545
+ <obo:IAO_0000112 xml:lang="en">this rat is located in this cage</obo:IAO_0000112>
546
+ <obo:IAO_0000115 xml:lang="en">a relation between two independent continuants, the target and the location, in which the target is entirely within the location</obo:IAO_0000115>
547
+ <obo:IAO_0000116 xml:lang="en">Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus</obo:IAO_0000116>
548
+ <obo:IAO_0000116 xml:lang="en">Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/</obo:IAO_0000116>
549
+ <obo:IAO_0000118 xml:lang="en">located_in</obo:IAO_0000118>
550
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
551
+ <terms:source>http://www.obofoundry.org/ro/#OBO_REL:located_in</terms:source>
552
+ <rdfs:label xml:lang="en">located in</rdfs:label>
553
+ </owl:ObjectProperty>
554
+ <owl:Axiom>
555
+ <owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/RO_0001025"/>
556
+ <owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#domain"/>
557
+ <owl:annotatedTarget rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
558
+ <obo:IAO_0000116>This is redundant with the more specific &apos;independent and not spatial region&apos; constraint. We leave in the redundant axiom for use with reasoners that do not use negation.</obo:IAO_0000116>
559
+ </owl:Axiom>
560
+ <owl:Axiom>
561
+ <owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/RO_0001025"/>
562
+ <owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#range"/>
563
+ <owl:annotatedTarget rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
564
+ <obo:IAO_0000116>This is redundant with the more specific &apos;independent and not spatial region&apos; constraint. We leave in the redundant axiom for use with reasoners that do not use negation.</obo:IAO_0000116>
565
+ </owl:Axiom>
566
+
567
+
568
+
569
+ <!-- http://purl.obolibrary.org/obo/RO_0002000 -->
570
+
571
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002000">
572
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002002"/>
573
+ <obo:IAO_0000112 xml:lang="en">the surface of my skin is a 2D boundary of my body</obo:IAO_0000112>
574
+ <obo:IAO_0000115 xml:lang="en">a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity</obo:IAO_0000115>
575
+ <obo:IAO_0000116 xml:lang="en">A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts.</obo:IAO_0000116>
576
+ <obo:IAO_0000116 xml:lang="en">Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape.</obo:IAO_0000116>
577
+ <obo:IAO_0000118 xml:lang="en">2D_boundary_of</obo:IAO_0000118>
578
+ <obo:IAO_0000118 xml:lang="en">boundary of</obo:IAO_0000118>
579
+ <obo:IAO_0000118 xml:lang="en">is 2D boundary of</obo:IAO_0000118>
580
+ <obo:IAO_0000118 xml:lang="en">is boundary of</obo:IAO_0000118>
581
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
582
+ <rdfs:label xml:lang="en">2D boundary of</rdfs:label>
583
+ </owl:ObjectProperty>
584
+
585
+
586
+
587
+ <!-- http://purl.obolibrary.org/obo/RO_0002002 -->
588
+
589
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002002">
590
+ <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/>
591
+ <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000141"/>
592
+ <obo:IAO_0000112 xml:lang="en">my body has 2D boundary the surface of my skin</obo:IAO_0000112>
593
+ <obo:IAO_0000115 xml:lang="en">a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity</obo:IAO_0000115>
594
+ <obo:IAO_0000116 xml:lang="en">A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts.</obo:IAO_0000116>
595
+ <obo:IAO_0000116 xml:lang="en">Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape.</obo:IAO_0000116>
596
+ <obo:IAO_0000118 xml:lang="en">has boundary</obo:IAO_0000118>
597
+ <obo:IAO_0000118 xml:lang="en">has_2D_boundary</obo:IAO_0000118>
598
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
599
+ <rdfs:label xml:lang="en">has 2D boundary</rdfs:label>
600
+ </owl:ObjectProperty>
601
+
602
+
603
+
604
+ <!-- http://purl.obolibrary.org/obo/RO_0002350 -->
605
+
606
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002350">
607
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
608
+ <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002351"/>
609
+ <obo:IAO_0000112>An organism that is a member of a population of organisms</obo:IAO_0000112>
610
+ <obo:IAO_0000115>is member of is a mereological relation between a item and a collection.</obo:IAO_0000115>
611
+ <obo:IAO_0000118>is member of</obo:IAO_0000118>
612
+ <obo:IAO_0000118>member part of</obo:IAO_0000118>
613
+ <obo:IAO_0000119>SIO</obo:IAO_0000119>
614
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
615
+ <rdfs:label xml:lang="en">member of</rdfs:label>
616
+ </owl:ObjectProperty>
617
+
618
+
619
+
620
+ <!-- http://purl.obolibrary.org/obo/RO_0002351 -->
621
+
622
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002351">
623
+ <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000051"/>
624
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#IrreflexiveProperty"/>
625
+ <obo:IAO_0000115>has member is a mereological relation between a collection and an item.</obo:IAO_0000115>
626
+ <obo:IAO_0000119>SIO</obo:IAO_0000119>
627
+ <obo:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/>
628
+ <rdfs:label xml:lang="en">has member</rdfs:label>
629
+ </owl:ObjectProperty>
630
+
631
+
632
+
633
+ <!-- http://purl.obolibrary.org/obo/RO_0004096 -->
634
+
635
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0004096">
636
+ <rdfs:comment>DEPRECATED This relation is similar to but different in important respects to the characteristic-of relation. See comments on that relation for more information.</rdfs:comment>
637
+ <rdfs:label xml:lang="en">DEPRECATED inheres in</rdfs:label>
638
+ <owl:deprecated rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</owl:deprecated>
639
+ </owl:ObjectProperty>
640
+
641
+
642
+
643
+ <!-- http://purl.obolibrary.org/obo/RO_0004097 -->
644
+
645
+ <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0004097">
646
+ <rdfs:label xml:lang="en">DEPRECATED bearer of</rdfs:label>
647
+ <owl:deprecated rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</owl:deprecated>
648
+ </owl:ObjectProperty>
649
+
650
+
651
+
652
+ <!--
653
+ ///////////////////////////////////////////////////////////////////////////////////////
654
+ //
655
+ // Classes
656
+ //
657
+ ///////////////////////////////////////////////////////////////////////////////////////
658
+ -->
659
+
660
+
661
+
662
+
663
+ <!-- http://purl.obolibrary.org/obo/BFO_0000002 -->
664
+
665
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000002">
666
+ <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
667
+ <owl:disjointWith>
668
+ <owl:Restriction>
669
+ <owl:onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
670
+ <owl:someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
671
+ </owl:Restriction>
672
+ </owl:disjointWith>
673
+ <obo:IAO_0000115 xml:lang="en">An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.</obo:IAO_0000115>
674
+ <rdfs:label xml:lang="en">continuant</rdfs:label>
675
+ </owl:Class>
676
+
677
+
678
+
679
+ <!-- http://purl.obolibrary.org/obo/BFO_0000003 -->
680
+
681
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000003">
682
+ <owl:disjointWith>
683
+ <owl:Restriction>
684
+ <owl:onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
685
+ <owl:someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
686
+ </owl:Restriction>
687
+ </owl:disjointWith>
688
+ <obo:IAO_0000115 xml:lang="en">An entity that has temporal parts and that happens, unfolds or develops through time.</obo:IAO_0000115>
689
+ <rdfs:label xml:lang="en">occurrent</rdfs:label>
690
+ </owl:Class>
691
+
692
+
693
+
694
+ <!-- http://purl.obolibrary.org/obo/BFO_0000004 -->
695
+
696
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000004">
697
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
698
+ <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
699
+ <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000031"/>
700
+ <obo:IAO_0000115 xml:lang="en">b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])</obo:IAO_0000115>
701
+ <rdfs:comment xml:lang="en">A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.</rdfs:comment>
702
+ <rdfs:label xml:lang="en">independent continuant</rdfs:label>
703
+ </owl:Class>
704
+
705
+
706
+
707
+ <!-- http://purl.obolibrary.org/obo/BFO_0000006 -->
708
+
709
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000006">
710
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000141"/>
711
+ <rdfs:label xml:lang="en">spatial region</rdfs:label>
712
+ </owl:Class>
713
+
714
+
715
+
716
+ <!-- http://purl.obolibrary.org/obo/BFO_0000015 -->
717
+
718
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000015">
719
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
720
+ <obo:IAO_0000115 xml:lang="en">p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])</obo:IAO_0000115>
721
+ <rdfs:comment xml:lang="en">An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.</rdfs:comment>
722
+ <rdfs:label xml:lang="en">process</rdfs:label>
723
+ </owl:Class>
724
+
725
+
726
+
727
+ <!-- http://purl.obolibrary.org/obo/BFO_0000016 -->
728
+
729
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000016">
730
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
731
+ <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000023"/>
732
+ <rdfs:label xml:lang="en">disposition</rdfs:label>
733
+ </owl:Class>
734
+
735
+
736
+
737
+ <!-- http://purl.obolibrary.org/obo/BFO_0000017 -->
738
+
739
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000017">
740
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
741
+ <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000019"/>
742
+ <obo:IAO_0000115 xml:lang="en">A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances.</obo:IAO_0000115>
743
+ <rdfs:label xml:lang="en">realizable entity</rdfs:label>
744
+ </owl:Class>
745
+
746
+
747
+
748
+ <!-- http://purl.obolibrary.org/obo/BFO_0000019 -->
749
+
750
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000019">
751
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
752
+ <rdfs:label xml:lang="en">quality</rdfs:label>
753
+ </owl:Class>
754
+
755
+
756
+
757
+ <!-- http://purl.obolibrary.org/obo/BFO_0000020 -->
758
+
759
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000020">
760
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
761
+ <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000031"/>
762
+ <obo:IAO_0000115 xml:lang="en">b is a specifically dependent continuant = Def. b is a continuant &amp; there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])</obo:IAO_0000115>
763
+ <rdfs:comment xml:lang="en">A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.</rdfs:comment>
764
+ <rdfs:label xml:lang="en">specifically dependent continuant</rdfs:label>
765
+ </owl:Class>
766
+
767
+
768
+
769
+ <!-- http://purl.obolibrary.org/obo/BFO_0000023 -->
770
+
771
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000023">
772
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
773
+ <obo:IAO_0000115 xml:lang="en">A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts.</obo:IAO_0000115>
774
+ <rdfs:label xml:lang="en">role</rdfs:label>
775
+ </owl:Class>
776
+
777
+
778
+
779
+ <!-- http://purl.obolibrary.org/obo/BFO_0000031 -->
780
+
781
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000031">
782
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
783
+ <obo:IAO_0000115 xml:lang="en">b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])</obo:IAO_0000115>
784
+ <rdfs:comment xml:lang="en">A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time.</rdfs:comment>
785
+ <rdfs:label xml:lang="en">generically dependent continuant</rdfs:label>
786
+ </owl:Class>
787
+
788
+
789
+
790
+ <!-- http://purl.obolibrary.org/obo/BFO_0000034 -->
791
+
792
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000034">
793
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000016"/>
794
+ <rdfs:label xml:lang="en">function</rdfs:label>
795
+ </owl:Class>
796
+
797
+
798
+
799
+ <!-- http://purl.obolibrary.org/obo/BFO_0000040 -->
800
+
801
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000040">
802
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
803
+ <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000141"/>
804
+ <obo:IAO_0000115 xml:lang="en">An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.</obo:IAO_0000115>
805
+ <rdfs:label xml:lang="en">material entity</rdfs:label>
806
+ </owl:Class>
807
+
808
+
809
+
810
+ <!-- http://purl.obolibrary.org/obo/BFO_0000141 -->
811
+
812
+ <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000141">
813
+ <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
814
+ <rdfs:label xml:lang="en">immaterial entity</rdfs:label>
815
+ </owl:Class>
816
+
817
+
818
+
819
+ <!--
820
+ ///////////////////////////////////////////////////////////////////////////////////////
821
+ //
822
+ // Rules
823
+ //
824
+ ///////////////////////////////////////////////////////////////////////////////////////
825
+ -->
826
+
827
+ <rdf:Description rdf:about="urn:swrl:var#e">
828
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
829
+ </rdf:Description>
830
+ <rdf:Description rdf:about="urn:swrl:var#d">
831
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
832
+ </rdf:Description>
833
+ <rdf:Description>
834
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Imp"/>
835
+ <swrl:body>
836
+ <rdf:Description>
837
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
838
+ <rdf:first>
839
+ <rdf:Description>
840
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
841
+ <swrl:propertyPredicate rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
842
+ <swrl:argument1 rdf:resource="urn:swrl:var#e"/>
843
+ <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
844
+ </rdf:Description>
845
+ </rdf:first>
846
+ <rdf:rest>
847
+ <rdf:Description>
848
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
849
+ <rdf:first>
850
+ <rdf:Description>
851
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#ClassAtom"/>
852
+ <swrl:classPredicate rdf:resource="http://purl.obolibrary.org/obo/BFO_0000016"/>
853
+ <swrl:argument1 rdf:resource="urn:swrl:var#d"/>
854
+ </rdf:Description>
855
+ </rdf:first>
856
+ <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
857
+ </rdf:Description>
858
+ </rdf:rest>
859
+ </rdf:Description>
860
+ </swrl:body>
861
+ <swrl:head>
862
+ <rdf:Description>
863
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
864
+ <rdf:first>
865
+ <rdf:Description>
866
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
867
+ <swrl:propertyPredicate rdf:resource="http://purl.obolibrary.org/obo/RO_0000091"/>
868
+ <swrl:argument1 rdf:resource="urn:swrl:var#e"/>
869
+ <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
870
+ </rdf:Description>
871
+ </rdf:first>
872
+ <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
873
+ </rdf:Description>
874
+ </swrl:head>
875
+ </rdf:Description>
876
+ <rdf:Description>
877
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Imp"/>
878
+ <swrl:body>
879
+ <rdf:Description>
880
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
881
+ <rdf:first>
882
+ <rdf:Description>
883
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
884
+ <swrl:propertyPredicate rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
885
+ <swrl:argument1 rdf:resource="urn:swrl:var#e"/>
886
+ <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
887
+ </rdf:Description>
888
+ </rdf:first>
889
+ <rdf:rest>
890
+ <rdf:Description>
891
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
892
+ <rdf:first>
893
+ <rdf:Description>
894
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#ClassAtom"/>
895
+ <swrl:classPredicate rdf:resource="http://purl.obolibrary.org/obo/BFO_0000019"/>
896
+ <swrl:argument1 rdf:resource="urn:swrl:var#d"/>
897
+ </rdf:Description>
898
+ </rdf:first>
899
+ <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
900
+ </rdf:Description>
901
+ </rdf:rest>
902
+ </rdf:Description>
903
+ </swrl:body>
904
+ <swrl:head>
905
+ <rdf:Description>
906
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
907
+ <rdf:first>
908
+ <rdf:Description>
909
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
910
+ <swrl:propertyPredicate rdf:resource="http://purl.obolibrary.org/obo/RO_0000086"/>
911
+ <swrl:argument1 rdf:resource="urn:swrl:var#e"/>
912
+ <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
913
+ </rdf:Description>
914
+ </rdf:first>
915
+ <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
916
+ </rdf:Description>
917
+ </swrl:head>
918
+ </rdf:Description>
919
+ <rdf:Description>
920
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Imp"/>
921
+ <swrl:body>
922
+ <rdf:Description>
923
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
924
+ <rdf:first>
925
+ <rdf:Description>
926
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
927
+ <swrl:propertyPredicate rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
928
+ <swrl:argument1 rdf:resource="urn:swrl:var#e"/>
929
+ <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
930
+ </rdf:Description>
931
+ </rdf:first>
932
+ <rdf:rest>
933
+ <rdf:Description>
934
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
935
+ <rdf:first>
936
+ <rdf:Description>
937
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#ClassAtom"/>
938
+ <swrl:classPredicate rdf:resource="http://purl.obolibrary.org/obo/BFO_0000023"/>
939
+ <swrl:argument1 rdf:resource="urn:swrl:var#d"/>
940
+ </rdf:Description>
941
+ </rdf:first>
942
+ <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
943
+ </rdf:Description>
944
+ </rdf:rest>
945
+ </rdf:Description>
946
+ </swrl:body>
947
+ <swrl:head>
948
+ <rdf:Description>
949
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
950
+ <rdf:first>
951
+ <rdf:Description>
952
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
953
+ <swrl:propertyPredicate rdf:resource="http://purl.obolibrary.org/obo/RO_0000087"/>
954
+ <swrl:argument1 rdf:resource="urn:swrl:var#e"/>
955
+ <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
956
+ </rdf:Description>
957
+ </rdf:first>
958
+ <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
959
+ </rdf:Description>
960
+ </swrl:head>
961
+ </rdf:Description>
962
+ <rdf:Description>
963
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Imp"/>
964
+ <swrl:body>
965
+ <rdf:Description>
966
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
967
+ <rdf:first>
968
+ <rdf:Description>
969
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
970
+ <swrl:propertyPredicate rdf:resource="http://purl.obolibrary.org/obo/RO_0000053"/>
971
+ <swrl:argument1 rdf:resource="urn:swrl:var#e"/>
972
+ <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
973
+ </rdf:Description>
974
+ </rdf:first>
975
+ <rdf:rest>
976
+ <rdf:Description>
977
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
978
+ <rdf:first>
979
+ <rdf:Description>
980
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#ClassAtom"/>
981
+ <swrl:classPredicate rdf:resource="http://purl.obolibrary.org/obo/BFO_0000034"/>
982
+ <swrl:argument1 rdf:resource="urn:swrl:var#d"/>
983
+ </rdf:Description>
984
+ </rdf:first>
985
+ <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
986
+ </rdf:Description>
987
+ </rdf:rest>
988
+ </rdf:Description>
989
+ </swrl:body>
990
+ <swrl:head>
991
+ <rdf:Description>
992
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
993
+ <rdf:first>
994
+ <rdf:Description>
995
+ <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
996
+ <swrl:propertyPredicate rdf:resource="http://purl.obolibrary.org/obo/RO_0000085"/>
997
+ <swrl:argument1 rdf:resource="urn:swrl:var#e"/>
998
+ <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
999
+ </rdf:Description>
1000
+ </rdf:first>
1001
+ <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
1002
+ </rdf:Description>
1003
+ </swrl:head>
1004
+ </rdf:Description>
1005
+ </rdf:RDF>
1006
+
1007
+
1008
+
1009
+ <!-- Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi -->
1010
+