W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2001

Re: model theory publication draft

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Thu, 20 Sep 2001 16:50:40 -0500
Message-Id: <p05101004b7d013e39b96@[205.160.76.182]>
To: jos.deroo.jd@belgium.agfa.com
Cc: w3c-rdfcore-wg@w3.org
>Pat,
>
>I've been testing the 12 rules in
>http://www.coginst.uwf.edu/~phayes/RDF%20MT-currentdraft.html#rdfsentail
>(we actually have 14 rules because of the 2 rules with 2 statements in
>their conclusions)

Ah, good point. Maybe it would be better to rewrite the table with 14 
rules in this format. I'll do that unless anyone screams, OK?

>  and I think it all goes very well except for rule 1.
>I currently don't see how to implement that with a back-chaining reasoner.
>Any hint?

I guess I don't see what the problem is. Can you elaborate?

Pat

PS. Why do you ever need to backchain? I think you can use the rules as
though they were a production system: as soon as a LHS matches, fire 
the rule (and check its not duplicating anything) then re-start 
searching from the beginning of the list. If you ever get to the end, 
stop.

-- 
---------------------------------------------------------------------
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 Thursday, 20 September 2001 17:50:44 EDT

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