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.

Version:
27.035
Author:
Jos De Roo
See Also:
Serialized Form

Constructor Summary
Euler()
          constructs a proof engine
 
Method Summary
 void assert(java.lang.String uri)
          asserts all facts and rules acquired from the RDF URI in that proof engine.
 java.lang.String dump()
          raw dump of this and near Euler objects
static void main(java.lang.String[] args)
          Main method invoked via java Euler
 java.lang.String proof(java.lang.String uri)
          proofs a conjunction with that proof engine
 java.lang.String toString()
          string represention of this Euler object
 
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

assert

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

dump

public java.lang.String dump()
raw dump of this and near Euler objects
Returns:
dump

main

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

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 object
Overrides:
toString in class java.lang.Object
Returns:
string