W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2002

P.S. re KR logic

From: Richard H. McCullough <rhm@cdepot.net>
Date: Sat, 9 Nov 2002 12:58:20 -0800
Message-ID: <003301c28832$bc848920$bd7ba8c0@rhm8200>
To: "RDF-Interest" <www-rdf-interest@w3.org>
Cc: "Patrick J. Hayes" <phayes@ai.uwf.edu>
I should have mentioned that KR loops can be used
to process quantified logic expressions, e.g.

    every p isa person { $p has mother,father }

I think this should suffice for many applications involving

    forall (?x) ( ... )
    exists(?x) ( ... )

but I haven't actually tried any such applications.
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition
Received on Saturday, 9 November 2002 15:58:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:57 GMT