class-class relations with no instance level equivalents

[GoogleCodeExporter]

e.g. has_integral_part , transformation_of 

have no instance level equivalents.

Seems that class/class relations are more macro like than instance level. They 
all expand into quite 
different sets of axioms. 

Original issue reported on code.google.com by alanruttenberg@gmail.com on 18 Oct 2007 at 4:36

[GoogleCodeExporter]

has_integral_part can be construed as a macro-level type thing and/or dispensed 
with
at the instance level

transformation_of is different. Definition and comment from RO reproduced 
below. If
this is a macro, what does it expand to?

def: "Relation between two classes, in which instances retain their identity yet
change their classification by virtue of some kind of transformation. Formally: 
C
transformation_of 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." 
[PMID:15892874]

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

Original comment by cmung...@gmail.com on 18 Oct 2007 at 9:35

[GoogleCodeExporter]

By macro, I did not intend to imply that a macro expansion into the current 
version of OWL would be sufficient. 
Rather that the shape of the instance level axioms tend to vary widely from 
class relation to class relation.

You correctly  point out that transformation of can't be represented in OWL 
currently, assuming that we don't 
switch, (for the OWL representation) to a time slice representation. Note that 
it may be possible to do so without 
changing the underlying ontology, rather looking at this as an encoding of the 
ontology.

Original comment by alanruttenberg@gmail.com on 19 Oct 2007 at 2:14

[GoogleCodeExporter]

Need to review for currency wrt current draft reference.

Original comment by alanruttenberg@gmail.com on 7 May 2012 at 2:45

• Added labels: Type-BFO2-Reference
• Removed labels: Type-Defect

[GoogleCodeExporter]

Original comment by alanruttenberg@gmail.com on 8 May 2012 at 4:37

• Changed state: Review-old-issue