public class Euler
extends java.lang.Object
| Constructor and Description |
|---|
Euler()
constructs a proof engine
|
| Modifier and Type | Method and Description |
|---|---|
void |
load(java.lang.String uri)
loads all facts and rules acquired from the RDF URI in that proof engine.
|
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
|
public void load(java.lang.String uri)
uri - uri of the RDF resourcepublic void prepare()
public java.lang.String proof(java.lang.String uri)
uri - uri of the RDF resourcepublic final java.lang.String toString()
toString in class java.lang.ObjectCopyright (c) 2004. All Rights Reserved.