Difference between revisions of "RO:Main Page"

From NCBO Wiki
Jump to navigation Jump to search
Line 21: Line 21:
 
==OWL Conversion==
 
==OWL Conversion==
  
The standard GO obo->owl conversion is used. See [[Obo2Owl]] for details
+
The standard GO obo->owl conversion is used. See [[Obo2Owl:Main_Page]] for details
  
 
obo1.2 defines "builtin" tags for relations that are hardwired into the obo semantics - is_a and instance_of are tagged builtin. These are not exported in OWL, as these are also part of the OWL language
 
obo1.2 defines "builtin" tags for relations that are hardwired into the obo semantics - is_a and instance_of are tagged builtin. These are not exported in OWL, as these are also part of the OWL language
 
Note that obo inverse_of is *not* exported to owl:inverseOf. There is no equivalent of the obo language inverse_of in OWL
 
 
In Obo 1.2 semantics, inverse only holds for instances
 
 
R obo:inverse_of R' =>  ( x R y => y R' x), where x and y are instances
 
 
It would seem that the following holds for owl:
 
 
P owl:inverseOf P' => (X P Y => Y P' X)
 
 
(TO BE CHECKED - this is my reading of the owl spec)
 
 
This does not follow from the definitions of the OBO relations. In fact we go out of our way to make it clear that this is not intended; eg
 
 
testis part_of human holds universally for canonical testes
 
human has_part testis does not hold universally
 
 
See the paper for more details
 

Revision as of 18:58, 17 July 2006

RO - OBO Relation Ontology

The main RO page is located on sourceforge:

- [1]

You can browse the ontology, get mail list details etc there

Open issues

Proposed new relations

The lacks family of relations is being discussed

Next we will be examining:

has_function, has_quality, and relations that deal with creation, consumption and development

The derives_from relation has been criticised from an ontological POV (REF?). There is also the terminological problem that "derives_from" is used specifically for evolutionary relationships by some. We will report back on this after the september NCBO anatomy meeting. We may create a "develops_from" parent for transformation_of corresponding to how that relation is currently used in MOD AOs

OWL Conversion

The standard GO obo->owl conversion is used. See Obo2Owl:Main_Page for details

obo1.2 defines "builtin" tags for relations that are hardwired into the obo semantics - is_a and instance_of are tagged builtin. These are not exported in OWL, as these are also part of the OWL language