Re: Web Rule Language - WRL vs SWRL

> 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