Re: [TF-Ent] RIF Core Entailment section

[snip]
> I have an example (see Section 2.3) that uses "a" instead of
> "rdf:type", but for the vocabulary of the graph that counts as
> rdf:type and I point that out when I discuss how the answers are
> derived and point to the Turtle document section that also explicitly
> says that such abbreviations are to be read as their expanded forms. I
> don't repeat this comment for all regimes since it is already clear
> from the Turtle document and it might not be necessary to explicitly
> say it again for the RIF regime.

I just noticed that I had exactly this sentence for RDF, but not the
other regimes. I have now moved that entirely to the informative
section 2.3 that explains C2.
Birte

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

Received on Monday, 8 March 2010 16:37:14 UTC