[SCL] translating RDF, RDFS and OWL into SCL

[Pat Hayes]

>On Nov 8, 2004, at 4:07 PM, Pat Hayes wrote:
>
>>>Hi, Pat...
>>>
>>>Didn't know you were working on this.  And, since we just built a 
>>>translator to take OWL into our KFL (an SCL concrete syntax) I'm 
>>>anxious to give it a read.  By when do you want comments?
>>
>>Im debugging the axioms right now, will update and signal you later 
>>today. Can your engine handle the SCL tail recursions (=~= KIF 
>>sequence variables, or RDF lists) ?
>
>Yup, at least I think so.  We do use sequence variables in the 
>current engine but it's not up to the SCL spec you wrote.  We did it 
>4 years ago.

Then its probably up to it. SCL is a step backwards from KIF, since 
we don't allow explicit quantifier binding to the seqvars: in effect, 
they are always universal at the top syntactic level.

BTW, I now think that this entire detour into seqvars was kind of 
beside the point, in spite of their elegance. Lists are just more 
convenient, truth be told. In particular, since they are real 
entities, not just syntactic tricks, you can quantify over them 
directly; and the obvious list axioms mean that a list of n items 
exists just when the items do; so in effect you get sequence-variable 
quantification for free whether you want it or not. Ah well, one is 
always learning, I guess.

Pat


>  I think their use is compliant, however.  I'll check your document 
>for the axiomatization of lists and see if we can implement them.
>
>Thanks.
>
>	.bill


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes