- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Wed, 01 Nov 2006 19:54:43 -0500
- To: "Gerd Wagner" <wagnerg@tu-cottbus.de>
- Cc: "'RIF WG'" <public-rif-wg@w3.org>
> Here is a brief discussion of some F-Logic rule examples > and the translations to and back from current RIF Core: > > http://oxygen.informatik.tu-cottbus.de/R2ML/FLogicRules.xhtml > > These examples raise the question of how vocabularies are > combined with rules (or how rules are based on vocabularies). > > -Gerd Do you mean Horn F-logic/first-order flavor? This can be translated to RIF core. But not Horn F-logic/LP flavor. This is because inheritance with overriding is not first-order. --michael
Received on Thursday, 2 November 2006 00:55:14 UTC