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