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

Re: model theory publication draft

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 21 Sep 2001 00:41:55 +0100
To: phayes@ai.uwf.edu
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF51C1CDA6.762DF7E6-ON41256ACD.007F1245@bayer-ag.com>

>>  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?

of course
we want to see the entailment
  |- rdfs:range rdf:type rdfs:Property.
i.e. out of nothing (besides those rules of course)
now we do this with a back-chaining engine
so we try to satisfy
  rdfs:range rdf:type rdfs:Property.
and to satisfy that, we must satisfy
  :s :p :o.
where :p is unbound (if I may speak that way)
and we just don't find a reasonable way to do that

> 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.

agreed, that's certainly a possibility, but we
are trying backchaining, and I believe there
is a possiblilty (maybe something like universal
elimination rule generation???)

PS. we have a similar thing for existential introduction rule
    generation for premis and query statements with unlabeled
    nodes and that works amazingly well

Received on Thursday, 20 September 2001 18:42:15 UTC

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