euler

Class Euler

java.lang.Object

euler.Euler

public class Euler
extends java.lang.Object

Euler proof mechanism.

Author:

Jos De Roo Data structure -------------- The Euler class is used to represent all possible N3 data structures (nodes): - 1. complete model - 2. triple - 3. resource - 4. literal - 5. N3 variable - 6. RDF list - 7. N3 {} block Depending on the case, different fields are used (and the others remain to default values): - 1. near (linked list of triples using this field) - 2. subj, verb, obj, cverb - 3. verb, cverb - 4. verb, cverb - 5. verb, cverb, varid - 6. obj, near, verb, cverb obj: actual node value near: next node in list cverb: contains rdf:first, rdf:rest, rdf:nil, depending on position in list - 7. same structure as a complete model For an example of a simple iterator on the Euler class, see http://eulergui.svn.sourceforge.net/viewvc/eulergui/trunk/eulergui/src/euler/RDFIterator.java?view=markup

Constructor Summary

Constructors

Constructor and Description
Euler() constructs a proof engine

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Euler

public Euler()

constructs a proof engine

Method Detail

load

public void load(java.lang.String uri)

loads all facts and rules acquired from the RDF URI in that proof engine.

Parameters:

uri - uri of the RDF resource

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 - uri of the RDF resource

Returns:

the proof

toString

public final java.lang.String toString()

string represention of this Euler obj

Overrides:

toString in class java.lang.Object

Returns:

string