com.clarkparsia.pellet.rules.rete

Class Compiler

java.lang.Object

com.clarkparsia.pellet.rules.rete.Compiler

public class Compiler
extends Object

Title: Compiler

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Field Summary

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
Compiler(Interpreter interp, ABox abox)

Method Summary

Methods

Modifier and Type	Method and Description
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, Set<aterm.ATermAppl> explain)
void	compileFacts(ABox abox)
boolean	processIndividual(Individual ind)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, 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,
           Set<aterm.ATermAppl> explain)

compileFacts

public void compileFacts(ABox abox)

processIndividual

public boolean processIndividual(Individual ind)

toString

public String toString()

Overrides:

toString in class Object