search

nvaldivi / ogms

Automatically exported from code.google.com/p/ogms
0 stars 0 forks source link

What is the relation that holds between diseases and pathological processes? #42

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Perhaps this is an issue for BFO more generally, but what is the relation
that holds between diseases (disposition) and pathological processes (process)?

In other words, how do I link a disease to the pathological process to
which it disposes?

If a disposition may never be realized, then the relation probably should
not point from disposition to process, else the all-some principle is
violated (it is not the case that all instances of disposition are realized
by some process instance).

However, if the relation points from process to disposition, then either
(1) the all-some principle is again violated if one process type is the
realization of multiple disposition types or (2) dispositions are uniquely
defined by the process that realizes them.

I don't remember that BFO has anything to say about it.

Original issue reported on code.google.com by hoga...@gmail.com on 16 Dec 2009 at 1:48

GoogleCodeExporter commented 8 years ago 
OBI uses the pattern <disposition> realizes only <process>.
That is, if <disposition> is realized, then it is realized as <process>

Original comment by alanruttenberg@gmail.com on 16 Dec 2009 at 1:59

GoogleCodeExporter commented 8 years ago 
So it's a universal restriction as opposed to existential.  That makes sense, 
because
it allows for zero realizations of the disposition, but if there is a 
realization,
then it must be of type X.

Does OBO support universal vs. existential restrictions on asserted 
relationships?

By the way, what is the proper term to refer to a statement a R b in an ontology
(where a and b are representational units, and R is a relation)?

Original comment by hoga...@gmail.com on 16 Dec 2009 at 2:04

GoogleCodeExporter commented 8 years ago 
"Does OBO support universal vs. existential restrictions on asserted 
relationships?"
Do you mean OBO edit?

Original comment by alanruttenberg@gmail.com on 16 Dec 2009 at 6:00

GoogleCodeExporter commented 8 years ago 
Does OBO file syntax support it?
Does OBO edit support it?

Original comment by hoga...@gmail.com on 16 Dec 2009 at 6:30