W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2006

Re: exchanging OWL through RIF

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>
Message-ID: <6897.1141420254@kiferdesk>

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

Received on Friday, 3 March 2006 21:10:58 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:37 UTC