Class Euler

java.lang.Object
  |
  +--Euler
All Implemented Interfaces:
java.io.Serializable

public class Euler
extends java.lang.Object
implements java.io.Serializable

Euler proof mechanism.

Author:
Jos De Roo
See Also:
Serialized Form

Constructor Summary
Euler()
          constructs a proof engine
 
Method Summary
 void load(java.lang.String uri)
          loads all facts and rules acquired from the RDF URI in that proof engine.
static void main(java.lang.String[] args)
          Main method invoked via java Euler
 void prepare()
          prepares that proof engine
 java.lang.String proof(java.lang.String uri)
          proofs a conjunction with that proof engine
 java.lang.String toString()
          string represention of this Euler obj
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Euler

public Euler()
constructs a proof engine
Method Detail

load

public void load(java.lang.String uri)
loads all facts and rules acquired from the RDF URI in that proof engine.
Parameters:
uri - of the RDF resource

main

public static void main(java.lang.String[] args)
Main method invoked via java Euler
Parameters:
args - [--think] [--nope] [--step count] [--debug] [--trace] axiom ... lemma

prepare

public void prepare()
prepares that proof engine

proof

public java.lang.String proof(java.lang.String uri)
proofs a conjunction with that proof engine
Parameters:
uri - of the RDF resource
Returns:
proof

toString

public final java.lang.String toString()
string represention of this Euler obj
Overrides:
toString in class java.lang.Object
Returns:
string