Provide a high-level changelog summarising what has happened since FPWD in entailment from Birte Glimm on 2009-12-14 (public-rdf-dawg@w3.org from October to December 2009)

From: Birte Glimm <birte.glimm@comlab.ox.ac.uk>
Date: Mon, 14 Dec 2009 23:12:36 +0000
To: SPARQL Working Group <public-rdf-dawg@w3.org>
Message-ID: <492f2b0b0912141512h43a7d7e8gfb5ea0313d45d4a4@mail.gmail.com>

Below I give a high level description of the changes to the Entailment
Regimes document since the FPWD per my action 153 [1].

The document now contains a section describing an OWL Direct Semantics
entailment regime. This covers SPARQL queries for OWL 2 DL, EL, ad QL
ontologies.

The RDF and RDFS entailment regimes now use a skolemized version of the
queried RDF triples to limit the possible answers to a finite set of
answers. This captures what we had in mind for blank nodes whereas the
previous version didn't.

Birte

[1] http://www.w3.org/2009/sparql/track/actions/153

-- 
Dr. Birte Glimm, Room 306
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283529

Received on Monday, 14 December 2009 23:13:16 UTC