Content

ERDF atoms
ERDF Rules
ERDF Builtins

Builtin ::= 'Builtin(' 'rdf:about(' Uri ')' | 'rdf:ID(' Uri ')' Arguments ')'
Arguments ::= 'erdf:arguments(' {TypedLiteral | 'erdf:variable(' Sparql_Variable_Name ')'}

Examples

Consider the following Jena Rules built-in:

lessThan(?x, "200"^^xs:integer)

In ERDF abstract syntax it can be described as:

Builtin(
 rdf:about(http://www.w3.org/2003/11/swrlb/lessThan)
 erdf:arguments(
  erdf:variable(?x)
  "200"^^xs:integer
 )
)

Notice that ERDF builins need to be identified by an URI (above we propose the usage of SWRL builtins but other choices are possible)