Warning:
This wiki has been archived and is now read-only.
Terse consts
From RIF
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>