- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Fri, 03 Mar 2006 16:10:54 -0500
- To: bparsia@isr.umd.edu
- Cc: RIF WG <public-rif-wg@w3.org>
> >Now, the charter talks about FOL rule languages and there will be a need to > >devise a RIF encoding for something like SWRL. But I doubt that it will > >look like a translation into FOL (one that extends the usual translation > >from DL to FOL). > > Prolly not. > > Bottom line is that there *are* (a few, experimental) systems that have > proceeded via a translation of OWL DL to FOL, with surprisingly good results. > (KAON2 also works this way, since it hits disjunctive datalog via the FOL > translation...however, that's far far far from a transliterate and go approach.) It is one thing to translate in order to implement and another in order to exchange. For the latter, translating into FOL would be useless, I believe. --michael
Received on Friday, 3 March 2006 21:10:58 UTC