W3C home > Mailing lists > Public > www-rdf-rules@w3.org > July 2005

Re: Web Rule Language - WRL vs SWRL

From: Sandro Hawke <sandro@w3.org>
Date: Fri, 01 Jul 2005 00:15:54 -0400
To: drew.mcdermott@yale.edu
Cc: www-rdf-rules@w3.org
Message-Id: <20050701041558.375024EFB0@homer.w3.org>


> My proposal is type theory, or, failing that, Common Logic with a
> strongly typed syntax in front of it.  But this is a proposal for a
> notation for exchanging information, not for a system of inference.

Can you expand on the type theory proposal a bit?  Does it address
many of the rule language uses cases from the workshop?  My
understanding of type theory is pretty thin, and I can't bridge the
gap from there to the somewhat fuzzy neighborhood of rule languages.

     -- sandro
Received on Friday, 1 July 2005 04:16:00 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:53:12 GMT