Re: FLogic interchange examples

> 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