- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Wed, 17 Apr 2002 19:31:22 -0500
- 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 UTC