+1 (01)
John Bateman wrote:
> One general solution to this that we are exploring is (as described
> in the last Ontolog session on this theme), to add CL into
> HETS, thereby importing all the structuring mechanisms defined
> for logics as part of HETS, which gives you automatically
> the kind of encapsulation required. I strongly recommend acquainting
> oneself with this institution-based approach to modularity
> before re-inventing square wheels! :-)
> (02)
_________________________________________________________________
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 (03)
|