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 |
Euler
public Euler()
- constructs a proof engine
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