###
### Euler Proof Engine Builtins -- Jos De Roo
###
### see http://www.w3.org/2000/10/swap/doc/CwmBuiltins
###     http://eulersharp.sourceforge.net/2003/03swap/log-rules.n3
###

@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix fl: <http://eulersharp.sourceforge.net/2003/03swap/fl-rules#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.


###
### Logic Framework Extension Builtins
###

e:allAncestors a e:Builtin.
e:allDescendents a e:Builtin.
e:biconditional a e:Builtin.
e:binaryEntropy a e:Builtin.
e:distinct a e:Builtin.
e:findall a e:Builtin.
e:graphDifference a e:Builtin.
e:graphIntersection a e:Builtin.
e:graphList a e:Builtin.
e:label a e:Builtin.
e:length a e:Builtin.
e:max a e:Builtin.
e:min a e:Builtin.
e:notLabel a e:Builtin.
e:optional a e:Builtin.
e:pair a e:Builtin.
e:propertyChainExtension a e:Builtin.
e:reverse a e:Builtin.
e:roc a e:Builtin.
e:sigmoid a e:Builtin.
e:sort a e:Builtin.
e:sublist a e:Builtin.
e:trace a e:Builtin.
e:true a e:Builtin.
e:tuple a e:Builtin.
e:wwwFormEncode a e:Builtin.


###
### Fuzzy Logic Builtins
###

fl:pi a e:Builtin.


###
### Xpath Builtins
###

fn:resolve-uri a e:Builtin.
fn:substring a e:Builtin.
fn:substring-after a e:Builtin.
fn:substring-before a e:Builtin.


###
### List Builtins
###

list:append a e:Builtin.
list:first a e:Builtin.
list:in a e:Builtin.
list:last a e:Builtin.
list:member a e:Builtin.
list:rest a e:Builtin.


###
### Logic Framework Builtins
###

log:conjunction a e:Builtin.
log:dtlit a e:Builtin.
log:equalTo a e:Builtin.
log:implies a e:Builtin.
log:includes a e:Builtin.
log:notEqualTo a e:Builtin.
log:notIncludes a e:Builtin.
log:semantics a e:Builtin.
log:uri a e:Builtin.


###
### Math Builtins
###

math:absoluteValue a e:Builtin.
math:atan2 a e:Builtin.
math:cos a e:Builtin.
math:cosh a e:Builtin.
math:degrees a e:Builtin.
math:difference a e:Builtin.
math:equalTo a e:Builtin.
math:exponentiation a e:Builtin.
math:greaterThan a e:Builtin.
math:integerQuotient a e:Builtin.
math:lessThan a e:Builtin.
math:memberCount a e:Builtin.
math:negation a e:Builtin.
math:notEqualTo a e:Builtin.
math:notGreaterThan a e:Builtin.
math:notLessThan a e:Builtin.
math:product a e:Builtin.
math:quotient a e:Builtin.
math:remainder a e:Builtin.
math:rounded a e:Builtin.
math:sin a e:Builtin.
math:sinh a e:Builtin.
math:sum a e:Builtin.
math:tan a e:Builtin.
math:tanh a e:Builtin.


###
### RDF Builtins
###

rdf:first a e:Builtin.
rdf:rest a e:Builtin.


###
### String Builtins
###

str:concatenation a e:Builtin.
str:contains a e:Builtin.
str:containsIgnoringCase a e:Builtin.
str:endsWith a e:Builtin.
str:equalIgnoringCase a e:Builtin.
str:greaterThan a e:Builtin.
str:lessThan a e:Builtin.
str:matches a e:Builtin.
str:notEqualIgnoringCase a e:Builtin.
str:notGreaterThan a e:Builtin.
str:notLessThan a e:Builtin.
str:notMatches a e:Builtin.
str:startsWith a e:Builtin.


###
### Time Builtins
###

time:day a e:Builtin.
time:month a e:Builtin.
time:year a e:Builtin.