Class Euler

java.lang.Object
  Euler

public class Euler

extends java.lang.Object

Euler proof mechanism.

Author:

Jos De Roo

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 - 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 ... [--filter|--query] 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 - uri of the RDF resource

Returns:

the proof

toString

public final java.lang.String toString()

string represention of this Euler obj

Returns:

string