Warning:
This wiki has been archived and is now read-only.

Terse consts

From RIF
Jump to: navigation, search

Current

        <formula>
           <Atom>
             <op><Const ... /></op>
             <args rif:ordered="yes">
               <Const rif:type="&rif:iri"/>http://example.com/foo</Const>
               <Const rif:type="&xs:int"/>1</Const>
               <Var>x</Var>
             </args>
           </Atom>
        </formula>

Proposed

        <formula>
           <Atom>
             <op><Const ... /></op>
             <args rif:ordered="yes">
               <iri>http://example.com/foo</iri>
               <xs:int>1</xs:int>
               <var>x</var>
             </args>
           </Atom>
        </formula>