|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.rules.rete.Compiler
public class Compiler
Title: Compiler
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Field Summary | |
|---|---|
static aterm.ATermAppl |
DIFF_FROM
Predicate used to state two individuals are different from each other. |
static Fact |
EMPTY_FACT
|
static TermTuple |
EMPTY_TUPLE
Empty fact to fire empty bodied rules |
static int |
OBJ
standard object position |
static int |
PRED
standard predicate position |
static aterm.ATermAppl |
SAME_AS
Predicate used to state two individuals are the same. |
static int |
SUBJ
standard subject position |
static aterm.ATermAppl |
TYPE
Predicate used to type an individual. |
| Constructor Summary | |
|---|---|
Compiler(Interpreter interp,
ABox abox)
|
|
| Method Summary | |
|---|---|
boolean |
addDifferents(Individual individual)
Add different assertions as facts to rete. |
boolean |
addFact(Edge edge)
Add property assertion as a fact to rete (if relevant). |
boolean |
addFact(Individual individual,
aterm.ATermAppl type,
DependencySet ds)
Add concept assertion as a fact to rete (if relevant). |
void |
compile(Rule rule,
aterm.ATermAppl explain)
|
void |
compileFacts(ABox abox)
|
boolean |
processIndividual(Individual ind)
|
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
public static final aterm.ATermAppl DIFF_FROM
public static final TermTuple EMPTY_TUPLE
public static final Fact EMPTY_FACT
public static final int OBJ
public static final int PRED
public static final aterm.ATermAppl SAME_AS
public static final int SUBJ
public static final aterm.ATermAppl TYPE
| Constructor Detail |
|---|
public Compiler(Interpreter interp,
ABox abox)
| Method Detail |
|---|
public boolean addDifferents(Individual individual)
public boolean addFact(Edge edge)
edge - the Edge
true if added, false else
public boolean addFact(Individual individual,
aterm.ATermAppl type,
DependencySet ds)
individual - the Individualtype - the concept
true if added, false else
public void compile(Rule rule,
aterm.ATermAppl explain)
public void compileFacts(ABox abox)
public boolean processIndividual(Individual ind)
public java.lang.String toString()
toString in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||