Re: [sio-dev] Sharing and Integrating Ontologies

[David Whitten <whitten@xxxxxxxxxx>]

John,

from what little I can read about HETS at

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm

and 

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/HetCASL/index_e.htm

it looks like HetCASL is a way of structuring stuff written in CASL and other logics

with most of the "logical work" being done in CASL.

Do you see Common Logic as being another logic that HetCASL coordinates,

or do you see HetCASL being an extension of Common Logic and

CASL being an alternate syntax for Common Logic ?

On Thu, Apr 15, 2010 at 7:37 AM, Rick Murphy <rick@xxxxxxxxxxxxxx> wrote:

+1

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! :-)
>

_________________________________________________________________
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

_________________________________________________________________ 
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     (01)