Euler

Euler proof mechanism

Jos De Roo

constructs a proof engine

loads all facts and rules acquired from the RDF URI in that proof engine

of the RDF resource

prepares that proof engine

proofs a conjunction with that proof engine

of the RDF resource proof

string represention of this Euler object

string

Main method invoked via Euler

[--think] [--nope] [--step count] [--debug] [--trace] axiom ... lemma

"no proof explanation" mode

"think" mode

N3 parser

Jos De Roo

constructs an N3 parser

constructs an N3 parser

the N3 string quantified variables table Euler object URI of the RDF resource

N3 triple parse method

Euler object

N3 node parse method

next token Euler object