RO:Main Page - Revision history

Cjm: 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 ..."

2013-11-01T23:36:26Z

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 ..."

Show changes

Cjm at 00:16, 3 January 2012

2012-01-03T00:16:25Z

Phismith: /* Errata in Relations paper */

2011-07-25T00:41:15Z

Errata in Relations paper

Phismith: /* Background Material */

2010-06-21T13:00:23Z

Background Material

Phismith at 18:31, 14 May 2010

2010-05-14T18:31:06Z

Phismith at 18:30, 14 May 2010

2010-05-14T18:30:18Z

Alanr: /* Errata in Relations paper */

2010-03-01T17:52:27Z

Errata in Relations paper

Alanr: /* Open issues */

2010-03-01T17:03:54Z

Open issues

Alanr: /* Background Material */

2010-03-01T17:03:18Z

Background Material

Djs93: /* Proposed homologous_to relation */

2009-07-24T20:02:43Z

Proposed homologous_to relation

← Older revision		Revision as of 00:16, 3 January 2012
Line 1:		Line 1:
		+	= Announcement =
		+
		+	OBO_REL has been replaced by RO - the new website and wiki can be found at http://purl.obolibrary.org/obo/ro
		+
	=RO - OBO Relation Ontology=		=RO - OBO Relation Ontology=

@@ Line 548: / Line 548: @@
 C part_of C1 defines a relational property of permanent parthood for Cs. It tells us that Cs, whenever they exist, exist as parts of C1s."
-it's not right to say "permanent" or "whenever they exist". Since entities change change type, more like "entities, whenever then instantiate C, are parts of C1s"
+it's not right to say "permanent" or "whenever they exist". Since entities (e.g. embryos) can change type as they grow older, more like "entities, whenever then instantiate C, are parts of C1s"
 <i>Alan Ruttenberg</i>
@@ Line 558: / Line 558: @@
 The text says: "C1 overlap c2 at t =[definition] for some c, c part_of c1 at t and c part_of c2 at t."
-The first C1 is in upper case letters...i think it should be lower case.
+The first C1 is in upper case letters; it should be lower case.
 <i>Barry Smith</i>

@@ Line 567: / Line 567: @@
 * [http://genomebiology.com/2005/6/5/R46 Relations in Biomedical Ontologies]
 * [http://ontology.buffalo.edu/smith/articles/cornucopia.pdf The Cornucopia of Formal-Ontological Relations]
-* [http://ontology.buffalo.edu/bfo/ BFO Home page]
+* [http://www.ifomis.org/bfo/ BFO Home page]

@@ Line 5: / Line 5: @@
 You can browse the ontology and get e-mail list details there.
-=A formalization of instance-level relations in RO==
+=A formalization of instance-level relations in RO=
 In [http://web.me.com/tbittner1/BittnerProfessional/Publications_files/Bittner_AO_07-60_printed.pdf "Logical properties of foundational mereogeometrical relations in bio-ontologies"] Tom Bittner provides axiomatization of the instance-level spatial relations in RO.

← Older revision		Revision as of 18:30, 14 May 2010
Line 4:		Line 4:

	You can browse the ontology and get e-mail list details there.		You can browse the ontology and get e-mail list details there.
		+
		+	=A formalization of instance-level relations in RO==
		+
		+	In [http://web.me.com/tbittner1/BittnerProfessional/Publications_files/Bittner_AO_07-60_printed.pdf "Logical properties of foundational mereogeometrical relations in bio-ontologies"] Tom Bittner provides axiomatization of the instance-level spatial relations in RO.

	=Open issues=		=Open issues=

← Older revision		Revision as of 17:52, 1 March 2010
Line 538:		Line 538:

	=Errata in Relations paper=		=Errata in Relations paper=
		+
		+
		+	"C part_of C1 = [definition] for all c, t, if Cct then there is some c1 such that C1c1t and c part_of c1 at t.
		+	Note the 'all-some' structure of this definition, a structure which will recur in almost all the relations treated here.
		+	C part_of C1 defines a relational property of permanent parthood for Cs. It tells us that Cs, whenever they exist, exist as parts of C1s."
		+
		+	it's not right to say "permanent" or "whenever they exist". Since entities change change type, more like "entities, whenever then instantiate C, are parts of C1s"
		+
		+	<i>Alan Ruttenberg</i>
		+
		+	----
		+
		+	Page R46.7, Contained_in relationship:
		+
		+	The text says: "C1 overlap c2 at t =[definition] for some c, c part_of c1 at t and c part_of c2 at t."
		+
		+	The first C1 is in upper case letters...i think it should be lower case.
		+
		+	<i>Barry Smith</i>

	=Background Material=		=Background Material=

← Older revision		Revision as of 17:03, 1 March 2010
Line 536:		Line 536:

	gains_part and loses_part aren't derivation since no new entity is created. In that sense they are similar to transformation.		gains_part and loses_part aren't derivation since no new entity is created. In that sense they are similar to transformation.
		+
		+	=Errata in Relations paper=

	=Background Material=		=Background Material=

@@ Line 539: / Line 539: @@
 =Background Material=
-[http://obofoundry.org/ro/ Relation Ontology Home]
+* [http://obofoundry.org/ro/ Relation Ontology Home]
+* [http://genomebiology.com/2005/6/5/R46 Relations in Biomedical Ontologies]
-[http://genomebiology.com/2005/6/5/R46 Relations in Biomedical Ontologies]
+* [http://ontology.buffalo.edu/smith/articles/cornucopia.pdf The Cornucopia of Formal-Ontological Relations]

← Older revision		Revision as of 20:02, 24 July 2009
Line 334:		Line 334:
	==Proposed homologous_to relation==		==Proposed homologous_to relation==

−	Note, ~~this~~ is an attempt to define 'cladistic homology'. One possible informal way to define this: "~~Similarity~~ due to ~~direct~~ descent from a common ancestor'.	+	Note, the term 'homology' has had many uses. This is an attempt to formally define 'cladistic homology'. One possible informal way to define this: "similarity due to unbroken descent from a common ancestor" ('Developmental Plasticity and Evolution', Mary West-Eberhard (2003))