Re: [sio-dev] Sharing and Integrating Ontologies

[John Bateman <bateman@xxxxxxxxxxxxx>]

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

At present we are taking the path of adding in CL as another
logic to be coordinated. When this is done, relations between
comparable logics are also defined. So CASL would not be
considered an alternative syntax. The CL standard
KIF-like notation for CL is being added directly.    (02)

John B.    (03)






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