[RDF+OWL] First version OWL 2 RL embedding

http://www.w3.org/2005/rules/wiki/SWC#Embedding_Normalized_OWL_2_RL

I did not yet check it thoroughly, but I think the embedding is already
close to a version that works.

The embedding does not use negative guards.  Rather, it axiomatizes the
behavior through a number of constraints.  For example, to ensure that
values that are not in the value space of a particular datatype do not
end up in its class extension, we use formulas:

("a"="b" :- tr(s^^u)[rdf:type -> u']) for every well-typed literal s^^u
and datatype identifier u' in V such that L2V(D(u))(s) is not in the
value space of u'.

This is analogous to the dt-not-type rule in Table 8 of the OWL 2 RL
rules in [1].

This confirms my suspicion that RDF and OWL compatibility does not
require negative guards.
As far as I'm concerned we can get rid of them.


Best, Jos

[1] http://www.w3.org/TR/2008/WD-owl2-profiles-20081202/
-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster