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