W3C home > Mailing lists > Public > www-rdf-interest@w3.org > July 2000

Inference rules [was: extracting...]

From: Dan Connolly <connolly@w3.org>
Date: Sat, 15 Jul 2000 01:07:20 -0500
Message-ID: <396FFF98.A852057B@w3.org>
To: www-rdf-interest@w3.org
Dan Connolly wrote:
> That's sort of a mouthful... but I suppose I can
> use convenience rules/properties ala
>         toAddr(?msg, ?addr) :- to(?msg, ?recips),
>                         includes(?recips, ?recip),
>                         addr-spec(?recip, ?addr).
>         includes(?lst, ?item) :- first(?lst, ?item).
>         includes(?lst, ?item) :- rest(?lst, ?lst2),
>                                         includes(?lst2, ?item).
> I wish I had an RDF model for rules that I was happy with.

I had some inspiration tonight... a design for rules
came together:


This allowed me to add support for shoe:def-inference in

	-- slurp this form of rule into prolog
	-- compare/contrast with http://www.w3.org/2000/06/23-FOPC#
	-- go back and look at all the other
		designs for variables and rules in RDF,
		e.g. Jos De Roo's Euler stuff

oh... that reminds me: this rule design relies on
reification, so I added a little bit of reification
support to my XSLT-based RDF parser.

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Saturday, 15 July 2000 02:07:32 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:30 UTC