- 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