W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > November 2004

RFE: reify/dereify built-ins

From: Dan Connolly <connolly@w3.org>
Date: Sat, 20 Nov 2004 22:53:50 -0600
To: public-cwm-bugs@w3.org
Message-Id: <1101012830.27188.96.camel@dirk>
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
http://www.w3.org/mid/1070941354.EF8103B@w5.dngr.org

and
 http://esw.w3.org/topic/LogicalReflection
(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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:52:00 UTC