Re: [ontolog-forum] Integrating Semantic Systems

["John F. Sowa" <sowa@xxxxxxxxxxx>]

Cameron,    (01)

CR> Slide 34 mentions OWL-CL.  Are the "supporting axioms written in CL"
> available?    (02)

See the following slides by Pat Hayes:    (03)

http://www.slideshare.net/PatHayes/translating-into-common-logic-459009    (04)

Following is another web page by Pat:    (05)

http://www.ihmc.us/users/phayes/cl/sw2scl.html    (06)

If all else fails, ask Pat.    (07)

John    (08)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (09)