W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2008

[RDF+OWL] First version OWL 2 RL embedding

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Wed, 17 Dec 2008 18:30:07 +0100
Message-ID: <4949371F.50503@inf.unibz.it>
To: RIF WG <public-rif-wg@w3.org>

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
  - Donald Foster

Received on Wednesday, 17 December 2008 17:29:56 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:51 UTC