entailment test cases and namespace entailment

Pat,

we now explicitly mention the URI for namespace entailment
in the lhs of log:entails  e.g.
http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.n3
in order to avoid any ambiguity w.r.t. the kind of entailment
(simple, rdfs, owl, etc)

--
Jos

Received on Friday, 15 February 2002 09:37:57 UTC