[SCL] translating RDF, RDFS and OWL into SCL

[Pat Hayes]

>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) ?

Pat

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