Dear Sean, (01)
It's not really that bad. (02)
> That is, if a "primitive concept" can be defined in an FO, then that
> definition must, from the start, say absolutely everying that needs to
> be said about the concept, since any change to the concept will break
> the
> interoperability that it was intended to support. (03)
MW: Whilst this is strictly true, more usefully you can define a new
specialization of the original concept with the additional formal
definition. It will not be a primitive concept, because it will only mean
what the original concept meant plus the additional formal constraints. (04)
MW: You may also find that something you thought was primitive, actually has
a generalization that you had not initially anticipated. This I think would
require a little re-engineering of your original primitive to make it a
non-primitive, but you would end up with something equivalent. (05)
MW: Of course interoperability is still a nightmare. Until you re-examine
the systems you cannot be sure if originally you underspecified the shared
concept or not, and therefore as you produce tighter specifications which
one really applies for the interoperability you are seeking to achieve. You
will not get people out of this particular loop anytime soon. (06)
Regards (07)
Matthew West
Information Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/ (08)
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. (09)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|