Rick, (01)
RM> I noticed that four of the six stated requirements for the FL
> mention mappings, translations, conversions and interchange. (02)
That is important for sharing information of any kind among
heterogeneous systems. (03)
RM> Is there an implicit requirement that functions play a role
> in the FL at least as important as entities? (04)
In all versions of symbolic logic, including Common Logic,
the only things one defines are functions and relations. (05)
Entities are specified only by the pattern of functions
and relations that are true about them. The usual method
of introducing an entity of any kind is an existentially
quantified statement of the following form: (06)
There exists an x such that the following combination
of functions and relations is true of x: ... (07)
John (08)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/sio-dev/
Join Community: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/sio-dev/
Unsubscribe: mailto:sio-dev-leave@xxxxxxxxxxxxxxxx
Community Shared Files: http://ontolog.cim3.net/file/work/SIO/
Community Wiki:
http://ontolog.cim3.net/cgi-bin/wiki.pl?SharingIntegratingOntologies (09)
|