Re: review MT draft

>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