[RIF-RDF] extension with datatype entailment

Dear all,

I extended the RIF-RDF combination page [1] to also include (restricted)
datatype entailment. I realized that the definition of datatype
entailment in the RDF semantics specification is not informative (as I
previously thought), but normative.  In fact, OWL Full extends RDF
datatype entailment.

As I pointed out in another e-mail [2],  the datatype support in RDF
(datatype entailment) is more flexible than the datatype support in RIF;
it allows to consider arbitrary datatypes, whereas RIF currently only
considers a fixed set of datatypes.  Therefore, the combination with
datatype entailment is only defined for the restricted case that those
that only those datatypes "supported by" RIF are considered.
This restriction could be lifted if the datatype support in RIF  would
be made more flexible, e.g. along the lines of my proposal in [2].

Best, Jos

[1] http://www.w3.org/2005/rules/wg/wiki/Core/RIF-RDF_Compatibility
[2] http://lists.w3.org/Archives/Public/public-rif-wg/2007Sep/0079.html
-- 
                         debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
In heaven all the interesting people are
missing.
  - Friedrich Nietzsche