Skip to content

Commit

Permalink
new release
Browse files Browse the repository at this point in the history
  • Loading branch information
@cmungall
cmungall committed Aug 5, 2015
1 parent 71b29b1 commit f3d4d84
Show file tree
Hide file tree
Showing 29 changed files with 67,404 additions and 1 deletion.
339 changes: 339 additions & 0 deletions annotations.owl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,339 @@
<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
<!ENTITY foaf "http://xmlns.com/foaf/0.1/" >
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY obo "http://purl.obolibrary.org/obo/" >
<!ENTITY dc "http://purl.org/dc/elements/1.1/" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
<!ENTITY oboInOwl "http://www.geneontology.org/formats/oboInOwl#" >
]>


<rdf:RDF xmlns="&obo;bfo.owl#"
xml:base="&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#"
xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#">
<owl:Ontology rdf:about="&obo;ro/annotations.owl"/>



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




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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000111">
<rdfs:label xml:lang="en">editor preferred term</rdfs:label>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000112">
<rdfs:label xml:lang="en">example of usage</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000114">
<rdfs:label xml:lang="en">has curation status</rdfs:label>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000115">
<rdfs:label rdf:datatype="&xsd;string">definition</rdfs:label>
<rdfs:label xml:lang="en">definition</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000116">
<rdfs:label xml:lang="en">editor note</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000117">
<rdfs:label xml:lang="en">term editor</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000118">
<rdfs:label xml:lang="en">alternative term</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000125"/>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000119">
<rdfs:label xml:lang="en">definition source</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000412">
<rdfs:label xml:lang="en">imported from</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000125"/>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000424">
<rdfs:label xml:lang="en">expand expression to</rdfs:label>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000425">
<rdfs:label xml:lang="en">expand assertion to</rdfs:label>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000426">
<rdfs:label xml:lang="en">first order logic expression</rdfs:label>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;IAO_0000600">
<rdfs:label xml:lang="en">elucidation</rdfs:label>
</owl:AnnotationProperty>



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

<owl:AnnotationProperty rdf:about="&obo;RO_0001900">
<rdfs:label xml:lang="en">temporal interpretation</rdfs:label>
<foaf:page rdf:datatype="&xsd;anyURI">https://code.google.com/p/obo-relations/wiki/ROAndTime</foaf:page>
</owl:AnnotationProperty>



<!-- http://purl.org/dc/elements/1.1/contributor -->

<owl:AnnotationProperty rdf:about="&dc;contributor"/>



<!-- http://purl.org/dc/elements/1.1/creator -->

<owl:AnnotationProperty rdf:about="&dc;creator"/>



<!-- http://purl.org/dc/elements/1.1/publisher -->

<owl:AnnotationProperty rdf:about="&dc;publisher"/>



<!-- http://purl.org/dc/elements/1.1/source -->

<owl:AnnotationProperty rdf:about="&dc;source"/>



<!-- http://purl.org/dc/elements/1.1/title -->

<owl:AnnotationProperty rdf:about="&dc;title"/>



<!-- http://www.geneontology.org/formats/oboInOwl#shorthand -->

<owl:AnnotationProperty rdf:about="&oboInOwl;shorthand">
<rdfs:label rdf:datatype="&xsd;string">shorthand</rdfs:label>
</owl:AnnotationProperty>



<!-- http://www.w3.org/2000/01/rdf-schema#label -->

<owl:AnnotationProperty rdf:about="&rdfs;label"/>



<!-- http://xmlns.com/foaf/0.1/homepage -->

<owl:AnnotationProperty rdf:about="&foaf;homepage"/>



<!-- http://xmlns.com/foaf/0.1/page -->

<owl:AnnotationProperty rdf:about="&foaf;page"/>



<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Individuals
//
///////////////////////////////////////////////////////////////////////////////////////
-->




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

<owl:NamedIndividual rdf:about="&obo;RO_0001901">
<rdfs:label xml:lang="en">axiom holds for all times</rdfs:label>
<obo:IAO_0000115>

## Elucidation

This is used when the statement/axiom is assumed to hold true &apos;eternally&apos;

## How to interpret (informal)

First the &quot;atemporal&quot; FOL is derived from the OWL using the standard
interpretation. This axiom is temporalized by embedding the axiom
within a for-all-times quantified sentence. The t argument is added to
all instantiation predicates and predicates that use this relation.

## Example

Class: nucleus
SubClassOf: part_of some cell

forall t :
forall n :
instance_of(n,Nucleus,t)
implies
exists c :
instance_of(c,Cell,t)
part_of(n,c,t)

## Notes

This interpretation is *not* the same as an at-all-times relation

</obo:IAO_0000115>
</owl:NamedIndividual>



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

<owl:NamedIndividual rdf:about="&obo;RO_0001902">
<rdfs:label xml:lang="en">relation has no temporal argument</rdfs:label>
<obo:IAO_0000115>

## Elucidation

This is used when the first-order logic form of the relation is
binary, and takes no temporal argument.

## Example:

Class: limb
SubClassOf: develops_from some lateral-plate-mesoderm

forall t, t2:
forall x :
instance_of(x,Limb,t)
implies
exists y :
instance_of(y,LPM,t2)
develops_from(x,y)


</obo:IAO_0000115>
</owl:NamedIndividual>



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

<owl:NamedIndividual rdf:about="http://purl.obolibrary.org/obo/IAO_0000122">
<rdfs:label xml:lang="en">ready for release</rdfs:label>
</owl:NamedIndividual>



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

<owl:NamedIndividual rdf:about="http://purl.obolibrary.org/obo/IAO_0000125">
<rdfs:label xml:lang="en">pending final vetting</rdfs:label>
</owl:NamedIndividual>



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

<owl:NamedIndividual rdf:about="http://purl.obolibrary.org/obo/IAO_0000428">
<rdfs:label xml:lang="en">requires discussion</rdfs:label>
</owl:NamedIndividual>



<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotations
//
///////////////////////////////////////////////////////////////////////////////////////
-->

<rdf:Description rdf:about="&obo;IAO_0000232">
<rdfs:label xml:lang="en">curator note</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
</rdf:Description>
</rdf:RDF>



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

Loading

0 comments on commit f3d4d84

Please sign in to comment.