|
|||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--Euler
Euler proof mechanism.
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 |
public Euler()
Method Detail |
public void assert(java.lang.String uri)
uri
- of the RDF resourcepublic java.lang.String proof(java.lang.String uri)
uri
- of the RDF resourcepublic final java.lang.String toString()
|
|||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |