|
||||||||||
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,
java.util.Set<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
elsepublic boolean addFact(Individual individual, aterm.ATermAppl type, DependencySet ds)
individual
- the Individual
type
- the concept
true
if added, false
elsepublic void compile(Rule rule, java.util.Set<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 |