- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Fri, 18 Jan 2002 09:51:30 -0600
- To: jos.deroo.jd@belgium.agfa.com
- Cc: w3c-rdfcore-wg@w3.org
>Pat, > >(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) Hmmm...maybe not, but Id like to know which case that was so I can take another look. >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 This point seems to go beyond RDF as it is currently constituted, so unless we plan to open up this issue of resources being sets of triples, I propose to ignore this issue for now. Mind you, that might be a good issue to open up, if folk feel that it doesn't go beyond our charter. (?) Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Friday, 18 January 2002 10:50:20 UTC