Relationship Ontology (RO)
type: Ontology
version info: 1.0
date: 2007-11-29
source: Barry Smith, Werner Ceusters, Bert Klagges, Jacob Koehler, Anand Kumar, Jane Lomax, Chris Mungall, Fabian Neuhaus, Alan Rector and Cornelius Rosse: "Relations in Biomedical Ontologies"
creator: Chris Mungall
creator: Holger Stenzhorn
creator: Stefan Schulz

adjacent_to
type: ObjectProperty
comment: Relation of proximity between disjoint continuants. Adjacent_to satisfies some of the axioms governing the relation referred to in the literature of qualitative topology as 'external connectedness' . Analogs of other mereotopological relations (qualitative relations between spatial regions involving parthood, boundary and connectedness) can also be defined, and these too can be applied to the material and immaterial continuants which occupy such regions on the instance level.

agent_in
type: ObjectProperty
inverse of: has_agent
sub property of: participates_in

contained_in
type: ObjectProperty
comment: Containment obtains in each case between material and immaterial continuants, for instance: lung containedIn thoracic cavity; bladder containedIn pelvic cavity. Hence containment is not a transitive relation. If c partOf c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c locatedIn c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c partOf c1 at t and c partOf c2 at t.
inverse of: contains

contains
type: ObjectProperty

derived_into
type: ObjectProperty
type: TransitiveProperty
inverse of: derives_from

derives_from
type: ObjectProperty
type: TransitiveProperty
comment: Derivation is a relation holding between non-identicals. More precisely, it holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. Thus we will have axioms to the effect that from c derivesFrom c1 we can infer that c and c1 are not identical and that there is some instant of time t such that c1 exists only prior to and c only subsequent to t. We will also be able to infer that the spatial region occupied by c as it begins to exist at t overlaps with the spatial region occupied by c1 as it ceases to exist in the same instant.

has_agent
type: ObjectProperty
comment: As for hasParticipant, but with the additional condition that the component instance is causally active in the relevant process
sub property of: has_participant

has_improper_part
type: ObjectProperty
type: TransitiveProperty
sub property of: has_part
inverse of: improper_part_of

has_integral_part
type: ObjectProperty
type: TransitiveProperty
sub property of: has_part
inverse of: integral_part_of

has_part
type: ObjectProperty
type: TransitiveProperty
inverse of: part_of

has_participant
type: ObjectProperty
comment: HasParticipant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane hasParticipant this particular sample of hemoglobin at this particular time.
inverse of: participates_in

has_proper_part
type: ObjectProperty
type: TransitiveProperty
sub property of: has_part
inverse of: proper_part_of

improper_part_of
type: ObjectProperty
type: TransitiveProperty
comment: As for partOf, with the additional constraint that subject and object may be identical
sub property of: part_of

integral_part_of
type: ObjectProperty
type: TransitiveProperty
comment: C integralPartOf C' if and only if: C partOf C' AND C' hasPart C
sub property of: part_of

located_in
type: ObjectProperty
type: TransitiveProperty
comment: The primitive instance-level relation c locatedIn r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is partOf the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus
inverse of: location_of

location_of
type: ObjectProperty
type: TransitiveProperty

part_of
type: ObjectProperty
type: TransitiveProperty
comment: The primitive instance-level relation p partOf p1 is illustrated in assertions such as: this instance of rhodopsin mediated phototransduction partOf this instance of visual perception. This relation satisfies at least the following standard axioms of mereology: reflexivity (for all p, p partOf p); anti-symmetry (for all p, p1, if p partOf p1 and p1 partOf p then p and p1 are identical); and transitivity (for all p, p1, p2, if p partOf p1 and p1 partOf p2, then p partOf p2). Analogous axioms hold also for parthood as a relation between spatial regions. For parthood as a relation between continuants, these axioms need to be modified to take account of the incorporation of a temporal argument. Thus for example the axiom of transitivity for continuants will assert that if c partOf c1 at t and c1 partOf c2 at t, then also c partOf c2 at t.

participates_in
type: ObjectProperty

preceded_by
type: ObjectProperty
type: TransitiveProperty
comment: p precededBy p' if and only if: given any process p at a time t, there is some process p' at time t', and t' is earlier than t.
inverse of: precedes

precedes
type: ObjectProperty
type: TransitiveProperty

proper_part_of
type: ObjectProperty
type: TransitiveProperty
comment: As for partOf, with the additional constraint that subject and object are distinct
sub property of: part_of

transformation_of
type: ObjectProperty
type: TransitiveProperty
comment: Relation between two classes, in which instances retain their identity yet change their classification by virtue of some kind of transformation. Formally: C transformationOf C' if and only if given any c and any t, if c instantiates C at time t, then for some t', c instantiates C' at t' and t' earlier t, and there is no t2 such that c instantiates C at t2 and c instantiates C' at t2.
comment: When an embryonic oenocyte (a type of insect cell) is transformed into a larval oenocyte, one and the same continuant entity preserves its identity while instantiating distinct classes at distinct times. The class-level relation transformationOf obtains between continuant classes C and C1 wherever each instance of the class C is such as to have existed at some earlier time as an instance of the distinct class C1 (see Figure 2 in paper). This relation is illustrated first of all at the molecular level of granularity by the relation between mature RNA and the pre-RNA from which it is processed, or between (UV-induced) thymine-dimer and thymine dinucleotide. At coarser levels of granularity it is illustrated by the transformations involved in the creation of red blood cells, for example, from reticulocyte to erythrocyte, and by processes of development, for example, from larva to pupa, or from (post-gastrular) embryo to fetus or from child to adult. It is also manifest in pathological transformations, for example, of normal colon into carcinomatous colon. In each such case, one and the same continuant entity instantiates distinct classes at different times in virtue of phenotypic changes.
inverse of: transformed_into

transformed_into
type: ObjectProperty
type: TransitiveProperty