RE: FLogic interchange examples

> > These examples raise the question of how vocabularies are
> > combined with rules (or how rules are based on vocabularies).
> 
> Do you mean Horn F-logic/first-order flavor?
> This can be translated to RIF core.

This is not the point. The point is: 

- Can the Boley-et-al-RIF-core representation (of F-Logic 
  conditions - there is no issue of inheritance/overiding here) 
  be translated back without loss?
- And can it be translated to other languages with similar
  expressivity without loss?

Please look at the examples we provide and questions
we raise in
http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/22

-Gerd