litvinovg/vivo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Maven migration (first draft)

Browse source
This commit is contained in:
Graham Triggs 2015-11-19 23:47:41 +00:00
parent da79ac3e1d
commit fee48b0b50
1711 changed files with 662 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

32
home/src/main/resources/rdf/tbox/filegraph/bfo.owl Normal file
View file

@ -0,0 +1,32 @@
<?xml version="1.0"?>
<rdf:RDF xmlns="http://purl.obolibrary.org/obo/bfo.owl#"
xml:base="http://purl.obolibrary.org/obo/bfo.owl"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:obo="http://purl.obolibrary.org/obo/"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<!-- http://purl.obolibrary.org/obo/BFO_0000017 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000017"><!-- realizable entity -->
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/><!-- specifically dependent continuant -->
<owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000019"/><!-- quality -->
<!-- has associated axiom(fol) --><obo:IAO_0000602>(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] </obo:IAO_0000602>
<!-- has associated axiom(fol) --><obo:IAO_0000602>(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] </obo:IAO_0000602>
<!-- BFO CLIF specification label --><obo:BFO_0000180>RealizableEntity</obo:BFO_0000180>
<!-- has associated axiom(nl) --><obo:IAO_0000601 xml:lang="en">All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])</obo:IAO_0000601>
<!-- elucidation --><obo:IAO_0000600 xml:lang="en">To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])</obo:IAO_0000600>
<!-- BFO OWL specification label --><obo:BFO_0000179>realizable</obo:BFO_0000179>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the disposition of this piece of metal to conduct electricity.</obo:IAO_0000112>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the disposition of your blood to coagulate</obo:IAO_0000112>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the function of your reproductive organs</obo:IAO_0000112>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the role of being a doctor</obo:IAO_0000112>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the role of this boundary to delineate where Utah and Colorado meet</obo:IAO_0000112>
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
</owl:Class>
</rdf:RDF>