- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Thu, 2 Nov 2006 10:55:11 +0100
- To: "'Michael Kifer'" <kifer@cs.sunysb.edu>
- Cc: "'RIF WG'" <public-rif-wg@w3.org>
> > 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
Received on Thursday, 2 November 2006 09:55:26 UTC