Add textual definitions for 'precedes' and 'preceded by'

[GoogleCodeExporter]

The relations 'precedes' and 'preceded by' lack textual definitions. I suggest:

BFO_0000063 precedes
- add textual definition: a relation between two occurrents, the earlier and 
the later, in which the earlier occurrent exists before the later occurrent 
exists and there is no time at which they both exist

BFO_0000062 preceded by
- add textual definition: a relation between two occurrents, the later and the 
earlier, in which the later occurrent exists after the earlier occurrent exists 
and there is no time at which they both exist

I think these edits should be made in temporal-intervals.owl. I also noticed 
that some axioms for these terms are in ro-edit.owl, but they should probably 
be in temporal-intervals.owl. I can move those axioms when I make these edits.

Original issue reported on code.google.com by ja...@overton.ca on 31 Mar 2015 at 6:51

[GoogleCodeExporter]

I'd rather have a consistent style for all temporal relations. Fabian Neuhaus 
and David Osumi Sutherland have a CLIF/Prover9 file somewhere with all of these 
defined.

Currently there is a mix of textual styles in temporal-intervals.owl

Using the more formal style:

x precedes Y iff ω(x) <= α(y)
x immediately_precedes Y iff ω(x) = α(y)

But it may be better to expand these in the text definition; α(a) ==> "the 
start of a"; ω(a) ==> "the end of a"

Original comment by cmung...@gmail.com on 3 Apr 2015 at 3:09

[GoogleCodeExporter]

Could we follow the pattern of these two, with both formal and informal parts?

- http://purl.obolibrary.org/obo/RO_0002224 starts with
- http://purl.obolibrary.org/obo/RO_0002230 ends with

BFO_0000063 precedes
- add textual definition: x precedes y if and only if the time point at which x 
ends is before or equivalent to the time point at which y starts. Formally: x 
precedes y iff ω(x) <= α(y), where α is a function that maps a process to a 
start point, and ω is a function that maps a process to an end point.

BFO_0000062 preceded by
- add textual definition: x preceded_by y if and only if the time point at 
which y ends is before or equivalent to the time point at which x starts. 
Formally: x preceded by y iff ω(y) <= α(x), where α is a function that maps 
a process to a start point, and ω is a function that maps a process to an end 
point.

Original comment by ja...@overton.ca on 7 Apr 2015 at 1:42

[GoogleCodeExporter]

plus 1 (gcode won't let me type "+1")

Original comment by cmung...@gmail.com on 7 Apr 2015 at 8:11

[GoogleCodeExporter]

This issue was closed by revision r448.

Original comment by ja...@overton.ca on 9 Apr 2015 at 7:21

• Changed state: Fixed