- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Fri, 2 Jun 2006 12:46:47 +0200
- To: "'Peter F. Patel-Schneider'" <pfps@inf.unibz.it>
- Cc: <csma@ilog.fr>, <public-rif-wg@w3.org>
> ... I don't see how an interchange language > that doesn't interchange between logical and production rules is going > help push either logical or production rules into the sphere of the > other. You seem to overlook the fact that pure assertion PRs correspond to (in fact, implement) logical derivation rules, and so there is the possibility of interchange between the two. > ... I just don't see any resultant forces towards helping > production rules enter the Semantic Web Didn't they enter the Semantic Web already in the form of cwm, Euler and Jena rules (I think these are PR systems)? -Gerd
Received on Friday, 2 June 2006 10:47:11 UTC