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