Sean- (01)
>Len
>
> Thanks. I guess I would formulate the "common ground" as
>entailing an identity transformation, and say the problem is verifying
>(automatically) that the identity is the correct transformation. (02)
It is more than that. Identity is not enough for operations on categories.
You need full power of composition and decomposition. I am not a mathematician,
but I believe formally Category is defined by composition that entails both:
associativity of objects within category and identity transformation (morphism). (03)
> The alternative is component reuse - though I'm not sure if
>ontologies give an advantage over data model component reuse. (04)
I don't see it as alternative. Re-use requires composition (see above) (05)
-Len (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|