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


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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:00 GMT