W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2009

[RDF+OWL] coreifying RDF(S) combination embeddings

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Mon, 02 Feb 2009 18:28:20 +0100
Message-ID: <49872D34.7040605@inf.unibz.it>
To: RIF WG <public-rif-wg@w3.org>
I coreified the RDF(S) combination embeddings [1].
For simple and RDF entailment the update is nearly trivial; "a"="b" in
rule heads is replaced with rif:error (a 0-ary predicate), and
consistency checking is done by checking entailment of rif:error.

For RDFS things become a bit more ugly than I had expected.  To
guarantee safety, facts need to be introduced for every IRI and every
literal that is being used.

by the way, I am pretty happy with isLiteralOfType; it makes the
embeddings quite a bit easier :-)

Best, Jos

[1] http://www.w3.org/2005/rules/wiki/SWC#Embedding_RIF-RDF_Combinations

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 Monday, 2 February 2009 17:28:31 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:54 UTC