RFE: reify/dereify built-ins

Just like --think became available as log:conclusion,
please make --reify and --dereify available as
built-ins. I think they're called name and eval in KIF...
looking over my notes http://www.w3.org/2000/07/hs78/KIF.html
hmm... name, denotation, wtr, and quote
are discussed in http://logic.stanford.edu/kif/dpans.html#Metaknowledge

These new built-ins should work for terms as
well as formulas, ala:

  :fred a :Person.
  { ?X a :Person; meta:name ?TERM } => { ?X :testName ?TERM }.

with --think should give

  :fred :testName "....#fred".

Hmm... I guess log:uri is a subproperty of meta:name
(i.e. reify).

Maybe dereify need not be a separate built-in; just
allow it to work in either direction, like log:uri.

See also:

2003-12-09T02:56:52Z raised: Cwm/log/n3 rfe: subst

(which isn't really written yet).

Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Sunday, 21 November 2004 04:53:07 UTC