Dear John, (01)
My experience is quite different. (02)
> PC
> > That is not the usage in COSMO; if one views an 'instance' of a Role
> > as a specific whole 4D worm through space-time, then this is actually
> > represented in COSMO by a class which is a *subtype* of the generic
> > 'Role'. I think that this has the same effect as your treatment,
> > using a different notation.
>
> Talking about 4D worms is an interesting metaphor that might be used
> to illustrate some formal analysis. But worms are too slippery to
> support precise statements, analysis, and reasoning. (03)
MW: I would talk about states rather than time worms, but that is just
terminology. In practice I find statements become more precise a regular.
The vast majority of statements end up being spatio-temporal mereological
statements, i.e. whole-part, especially temporal whole-part, and connection.
Much of the rest of what you need to say is around classifying the states,
which is again also well understood. (04)
MW: In fact all the relations I have used for the system/system component
example have been one of:
- whole-part (or a subtype of whole part like temporal whole-part)
- classification (set membership)
- specialisation (subset/superset) (05)
Regards (06)
Matthew West
Information Junction
Tel: +44 1489 880185
Mobile: +44 750 3385279
Skype: dr.matthew.west
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/ (07)
This email originates from Information Junction Ltd. Registered in England
and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (08)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012
Community Portal: http://ontolog.cim3.net/wiki/ (09)
|