Class Euler

java.lang.Object
  |
  +--Euler

public class Euler
extends java.lang.Object

Euler proof mechanism.

Version:
23
Author:
Jos De Roo

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 proof(java.lang.String uri)
          proofs a conjunction with that proof engine
 java.lang.String toString()
           
 
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

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()
Overrides:
toString in class java.lang.Object