W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

entailment test cases and namespace entailment

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 15 Feb 2002 15:36:42 +0100
To: phayes@ai.uwf.edu
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF3E6B021E.DB4BE9AC-ONC1256B61.004F70B5@bayer-ag.com>

we now explicitly mention the URI for namespace entailment
in the lhs of log:entails  e.g.
in order to avoid any ambiguity w.r.t. the kind of entailment
(simple, rdfs, owl, etc)

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

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:13 EDT