Provide a high-level changelog summarising what has happened since FPWD in entailment

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

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.



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

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