Re: Inference in daml

From: "Sean B. Palmer" <sean@mysterylights.com>

> Strangely enough, Seth (who's on the CC anyway) discussed unreifying a
> little while ago on RDF Logic, although I can never remember the URL
> of the post. Maybe he can prompt us.

I think to give meaning to our graph models we need the arcs to be able to
take the actions of a virtual machine as objects.  That way the propositions
are relative to things grounded in the behavior of the machines.  Then
concepts like 'reify' and 'unreify' can have tangible and unambiguous
interpretations.   Please see the mentograph [1] below.

[1] http://robustai.net/mentography/ReifyUnreify.gif
[2] http://robustai.net/mentography/reification.gif

Seth Russell

Received on Monday, 18 June 2001 13:54:20 UTC