Latest revision as of 15: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

@@ 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==
-==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