Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: [CL] SWRL first-order logic

Murray,

We are very familiar with serialization syntaxes.

That is, in fact, the purpose of KIF:  it is an
excellent serialization syntax for logic that is
ideally suited to fast, efficient parsing.  The
same parser used for KIF could also be adapted
to a wide range of other languages as well.

'nuff said?

John