Yet another language from Francis McCabe on 2006-10-28 (public-rif-wg@w3.org from October 2006)

From: Francis McCabe <frankmccabe@mac.com>
Date: Fri, 27 Oct 2006 17:15:24 -0700
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Message-Id: <4307AD4E-45CE-4E9C-B2B8-532DE1E627D0@mac.com>

approach would be to base the RIF wholesale on IKL (http:// 
ontolog.cim3.net/file/resource/presentation/PatHayes_20061026/ 
OntologyWorkshopSlides.html)
and use something like PSL (http://www.conradbock.org/psl-intro- 
ws.pdf) to axiomatize process (and hence the operational semantics of  
IRL etc.)

Frank

Received on Saturday, 28 October 2006 00:15:39 UTC