As a tangent to the discussion on context and interpretations. I have a
question about a requirement I just read in the Common Logic Specs (01)
http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip (02)
All texts which are published and identified on a network shall be
mutually interpretable with all other
texts on the network which can import them, over the same universe of
reference and domain of discourse,
and with their vocabularies merged. This condition applies to all texts
which might possibly import other texts,
even if they do not in fact do so in a particular state of the network. (03)
I assume this applies to the Internet as well. This seems to be a
rather draconian requirement, an opt-out strategy rather than opt-in.
In a limited setting, such as a sequence of ontologies capturing
interpretations intended to be snapshots or scenarios all controlled by
the same publisher, then it would not be so difficult to add mutual
incompatibility annotations to all these ontologies. (04)
But in a broader setting, there will be incompatibilities across
publishers that it seems to me will cause difficulties. (05)
Perhaps I have misunderstood- I will be grateful for any clarification. (06)
Tara (07)
_________________________________________________________________
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 (08)
|