Difference between revisions of "RO:Main Page"

From NCBO Wiki
Jump to navigation Jump to search
(Replaced content with "= Announcement = OBO_REL has been replaced by RO - the new website and wiki can be found at http://purl.obolibrary.org/obo/ro Old material that was previously kept here ...")
 
(113 intermediate revisions by 14 users not shown)
Line 1: Line 1:
=RO - OBO Relation Ontology=
+
= Announcement =
  
The main RO page is located on sourceforge:
+
OBO_REL has been replaced by RO - the new website and wiki can be found at http://purl.obolibrary.org/obo/ro
  
- [http://obo.sourceforge.net/relationship]
+
Old material that was previously kept here has been moved to [[RO:Historic Material]]
 
 
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]] 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
 
 
 
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
 

Latest revision as of 16:36, 1 November 2013

Announcement

OBO_REL has been replaced by RO - the new website and wiki can be found at http://purl.obolibrary.org/obo/ro

Old material that was previously kept here has been moved to RO:Historic Material