com.clarkparsia.pellet.rules.rete
Class Compiler

java.lang.Object
  extended by com.clarkparsia.pellet.rules.rete.Compiler

public class Compiler
extends java.lang.Object

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

DIFF_FROM

public static final aterm.ATermAppl DIFF_FROM
Predicate used to state two individuals are different from each other.


EMPTY_TUPLE

public static final TermTuple EMPTY_TUPLE
Empty fact to fire empty bodied rules


EMPTY_FACT

public static final Fact EMPTY_FACT

OBJ

public static final int OBJ
standard object position

See Also:
Constant Field Values

PRED

public static final int PRED
standard predicate position

See Also:
Constant Field Values

SAME_AS

public static final aterm.ATermAppl SAME_AS
Predicate used to state two individuals are the same.


SUBJ

public static final int SUBJ
standard subject position

See Also:
Constant Field Values

TYPE

public static final aterm.ATermAppl TYPE
Predicate used to type an individual.

Constructor Detail

Compiler

public Compiler(Interpreter interp,
                ABox abox)
Method Detail

addDifferents

public boolean addDifferents(Individual individual)
Add different assertions as facts to rete.


addFact

public boolean addFact(Edge edge)
Add property assertion as a fact to rete (if relevant). This will consider the role taxonomy and inverse roles.

Parameters:
edge - the Edge
Returns:
boolean true if added, false else

addFact

public boolean addFact(Individual individual,
                       aterm.ATermAppl type,
                       DependencySet ds)
Add concept assertion as a fact to rete (if relevant).

Parameters:
individual - the Individual
type - the concept
Returns:
boolean true if added, false else

compile

public void compile(Rule rule,
                    java.util.Set<aterm.ATermAppl> explain)

compileFacts

public void compileFacts(ABox abox)

processIndividual

public boolean processIndividual(Individual ind)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object


Copyright © 2004 Evren Sirin. All Rights Reserved.