W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2008

Re: [BLD] Action on Uniterms in XML -- Proposed Poll

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Wed, 12 Mar 2008 22:41:48 -0400
To: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
Cc: "Sandro Hawke" <sandro@w3.org>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Message-ID: <24192.1205376108@cs.sunysb.edu>

Harold wrote:
> This email contains a proposed 'negation as silence' poll
> (OK, it might not reach you in time or your response might
> not reach me in time, but this discussion started at F2F9).
> Proposed uniterm deadline: Friday, March 14, 12Noon EDT
> I have been assuming an HLD (HiLog Dialect) that takes up
> the neutrality of Hterms (Uniterms) in the W3C Submission
> of SWSL-Rules: http://www.w3.org/Submission/SWSF-SWSL
> The HiLog term ?Z(?X,a)(b,?X(?Y)(d)) there is serialized
> according to our current BLD draft as shown below (as in
> the previous examples, I omit "^^" types for simplicity):
> 	    <Uniterm>
> 	       <op>
> 	          <Uniterm>
> 	             <op><Var>Z</Var></op>
> 	             <arg><Var>X</Var></arg>
> 	             <arg><Const>a</Const></arg>
> 	          </Uniterm>
> 	       </op>
> 	       <arg><Const>b</Const></arg>
> 	       <arg>
>                <Uniterm>
> 	           <op>
> 	             <Uniterm>
>                       <op><Var>X</Var></op>
>                       <arg><Var>Y</Var></arg>
> 	             </Uniterm>
> 	           </op>
> 	           <arg><Const>d</Const></arg>
> 	         </Uniterm>
>              </arg>
> 	    </Uniterm>
> The neutrality of that term permits to assign it to a
> variable which can occur in other terms, where it will
> be contextually interpreted by the HLD semantics.

Just for the record: You are referring to XML as if it is some kind of an
inference engine!

XML is a parse tree interwoven into syntax -- no more and no less. It has
no bearing *whatsoever* on which terms can be assigned to logical
variables.  A model theoretic (or operational) *semantics* (and *nothing
else*) determines this.

Received on Thursday, 13 March 2008 02:42:07 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:49 UTC