Re: CG: Re: [CL] SWRL first-order logic
Murray,
That is in fact a politically useful thing to do:
> I was at least questioning Pat and John about
> a question that has been on my mind for a few
> months, i.e., my long-planned participation
> in writing an XML serialization syntax for CL.
I believe that we can just adopt the SWRL FOL
syntax for that purpose. They have already
done the work for the typed subset of SCL with
the limitation to binary relations.
It would be trivial to remove that limitation
and to allow untyped quantifiers. That would
then be the official XML-ified version of SCL.
John