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

review MT draft

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 18 Jan 2002 01:59:50 +0100
To: phayes@ai.uwf.edu
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF3B3426CA.8DF4B95A-ONC1256B45.0004AB29@bayer-ag.com>

(sorry if I sound too tired)

1/ I've tried to check RDF and RDFS (and also some OWL)
entailment based on the rules in MT and haven't found problems
(actually I've got one testcase which is still running
i.e. some 350 billion steps so far, but that has nothing
to do with the MT I suppose)

2/ my main comment is w.r.t. the need for unasserted triples
i.e. one could assert e.g. rrr ppp ooo.
suppose rrr is a resource which is a set of triples
then those triples in rrr are *not* necesarily asserted
OK, this is when ppp is something like log:implies
or something else where we need dereferencing rrr
(or rrr could be identified by value such as in N3)
anyhow that rrr can be a set of unasserted RDF triples

Received on Thursday, 17 January 2002 20:00:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:08 UTC