W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

Re: inference rule markup in W3C specs?

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 17 Apr 2002 19:31:22 -0500
Message-Id: <p05101518b8e3c35da2e2@[65.217.30.94]>
To: Dan Connolly <connolly@w3.org>
Cc: www-webont-wg@w3.org
>A few of our specs are starting to have
>inference rules in them. I'd like to be
>able to use those rules in proof systems...
>stuff like HELM http://www.cs.unibo.it/helm/
>
>I sent some comments to the XQuery folks
>http://lists.w3.org/Archives/Public/www-xml-query-comments/2002Apr/0016.html
>
>They have inference rule markup, but it seems
>to be for layout, not for capturing the logical formula.
>I told them I like the way the RELAX-NG spec
>is built...
>
>The HTML version has inference rules in
>a pretty familiar-looking form
>http://www.oasis-open.org/committees/relax-ng/proofsystem.html
>and the XML source looks quite usable
>as a logical formula
>
>--8<--
>   <rule name="valid">
>     <judgement name="match">
>       <function name="emptyEnv"/>
>       <function name="emptyNamespaceMap"/>
>       <function name="emptyBag"/>
>       <var range="element"/>
>       <var range="pattern"/>
>       <var range="keybag"/>
>       <var range="keyrefbag"/>
>     </judgement>
>     <judgement name="keyComplete">
>       <var range="keybag"/>
>       <var range="keyrefbag"/>
>     </judgement>
>     <not>
>       <judgement name="keyConflict">
>         <var range="keybag"/>
>       </judgement>
>     </not>
>     <judgement name="valid">
>       <var range="element"/>
>       <var range="pattern"/>
>     </judgement>
>   </rule>
>--8<--

My word, don't you just LOVE xml?? Its so....so.... I don't know, 
so...*compact*.

>It occurs to me that the RDF Model Theory spec
>   http://www.w3.org/TR/rdf-mt/
>has some inference rules; they're so simple
>I almost didn't think of them as inference rules,
>but they are...
>
>       If E contains:  then add:
>rdf1  xxx aaa yyy     aaa rdf:type rdf:Property

Right. Jos DeRoo has them all up and running in Euler (N3-style), and 
I gather that Ora Lassila has a LISP engine that can run them on a 
cell phone, or something like that.

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 17 April 2002 20:31:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT