Re: [sio-dev] Sharing and Integrating Ontologies

[David Whitten <whitten@xxxxxxxxxx>]

John(B)

I guess my bystander's questions would be:

What is it that CASL can do that Common Logic is not capable of doing?

What needs to be done for a logic to be a "comparable logic" ?

Dave

PS: thanks for helping me learn about HetCASL and CASL

On Thu, Apr 15, 2010 at 11:44 AM, John Bateman <bateman@xxxxxxxxxxxxx> wrote:

> 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 ?

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.

John B.






_________________________________________________________________

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)