- From: Sandro Hawke <sandro@w3.org>
- Date: Tue Sep 11 08:45:52 2001
- To: pat hayes <phayes@ai.uwf.edu>
- cc: www-rdf-rules@w3.org
> >I agree that RDF queries and RDF rule premises
>
> Er.....actually, rule consequents/conclusions are more like queries
> than rule premises are. Is that what you meant?
Um, no.
Here's a rule: If Ralph is in his office, then Ralph is at MIT.
\ / \ /
\ / \ /
Premise Conclusion
(Antecedent) (Consequent)
We could make either part into a query:
Is Ralph in his office?
Is Ralph at MIT?
But it seems much more natural to think of the premise as a query; it
leads us to a very simple algorithm:
query: Is Ralph in his office?
on success: we can conclude Ralph is at MIT.
on failure: we can't conclude anything from this.
How else do you see it?
-- sandro
Received on Tuesday, 11 September 2001 08:45:52 UTC