Skip to content

Commit

Permalink
new release
Browse files Browse the repository at this point in the history
  • Loading branch information
@pbuttigieg
pbuttigieg committed Jan 22, 2016
1 parent 0a3b714 commit b1f4b50
Show file tree
Hide file tree
Showing 15 changed files with 19,520 additions and 7,437 deletions.
1,635 changes: 1,417 additions & 218 deletions envo.obo
View file

Large diffs are not rendered by default.

11,308 changes: 6,477 additions & 4,831 deletions envo.owl
View file

Large diffs are not rendered by default.

55 changes: 55 additions & 0 deletions imports/bfo_import.obo
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,55 @@
format-version: 1.2
ontology: envo/imports/bfo_import
property_value: http://purl.org/dc/elements/1.1/source http://purl.obolibrary.org/obo/bfo.owl

[Term]
id: BFO:0000002
name: continuant
def: "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." []

[Term]
id: BFO:0000003
name: occurrent
def: "An entity that has temporal parts and that happens, unfolds or develops through time." []

[Term]
id: BFO:0000004
name: independent continuant
def: "A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything." []
is_a: BFO:0000002 ! continuant

[Term]
id: BFO:0000015
name: process
def: "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t." []
is_a: BFO:0000003 ! occurrent

[Term]
id: BFO:0000016
name: disposition
is_a: BFO:0000017 ! realizable entity

[Term]
id: BFO:0000017
name: realizable entity
def: "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." []
is_a: BFO:0000020 ! specifically dependent continuant

[Term]
id: BFO:0000020
name: specifically dependent continuant
def: "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." []
is_a: BFO:0000002 ! continuant

[Term]
id: BFO:0000023
name: role
def: "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." []
is_a: BFO:0000017 ! realizable entity

[Term]
id: BFO:0000040
name: material entity
def: "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time." []
is_a: BFO:0000004 ! independent continuant

133 changes: 133 additions & 0 deletions imports/bfo_import.owl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,133 @@
<?xml version="1.0"?>
<rdf:RDF xmlns="http://purl.obolibrary.org/obo/envo/imports/bfo_import.owl#"
xml:base="http://purl.obolibrary.org/obo/envo/imports/bfo_import.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: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#">
<owl:Ontology rdf:about="http://purl.obolibrary.org/obo/envo/imports/bfo_import.owl">
<dc:source rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
</owl:Ontology>



<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotation properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->




<!-- http://purl.obolibrary.org/obo/IAO_0000115 -->

<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>



<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->




<!-- http://purl.obolibrary.org/obo/BFO_0000002 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000002">
<rdfs:label xml:lang="en">continuant</rdfs:label>
<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>
</owl:Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000003 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000003">
<rdfs:label xml:lang="en">occurrent</rdfs:label>
<obo:IAO_0000115 xml:lang="en">An entity that has temporal parts and that happens, unfolds or develops through time.</obo:IAO_0000115>
</owl:Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000004 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000004">
<rdfs:label xml:lang="en">independent continuant</rdfs:label>
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
<obo:IAO_0000115 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.</obo:IAO_0000115>
</owl:Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000015 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000015">
<rdfs:label xml:lang="en">process</rdfs:label>
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
<obo:IAO_0000115 xml:lang="en">An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.</obo:IAO_0000115>
</owl:Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000016 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000016">
<rdfs:label xml:lang="en">disposition</rdfs:label>
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
</owl:Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000017 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000017">
<rdfs:label xml:lang="en">realizable entity</rdfs:label>
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
<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>
</owl:Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000020 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000020">
<rdfs:label xml:lang="en">specifically dependent continuant</rdfs:label>
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
<obo:IAO_0000115 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.</obo:IAO_0000115>
</owl:Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000023 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000023">
<rdfs:label xml:lang="en">role</rdfs:label>
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
<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>
</owl:Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000040 -->

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000040">
<rdfs:label xml:lang="en">material entity</rdfs:label>
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
<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>
</owl:Class>
</rdf:RDF>



<!-- Generated by the OWL API (version 0.2.2-SNAPSHOT) http://owlapi.sourceforge.net -->

19 changes: 19 additions & 0 deletions imports/bfo_seed.owl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
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: rdfs: <http://www.w3.org/2000/01/rdf-schema#>



Ontology: <http://purl.obolibrary.org/obo/envo/imports/ro_seed.owl>

Class: <http://purl.obolibrary.org/obo/RO_0002577> # system








Loading

0 comments on commit b1f4b50

Please sign in to comment.