com.clarkparsia.pellet.rules
Class RuleAtomAsserter

java.lang.Object
  extended by com.clarkparsia.pellet.rules.RuleAtomAsserter
All Implemented Interfaces:
RuleAtomVisitor

public class RuleAtomAsserter
extends java.lang.Object
implements RuleAtomVisitor

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Constructor Summary
RuleAtomAsserter()
           
 
Method Summary
 boolean assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated, ABox abox, CompletionStrategy strategy)
           
 void visit(BuiltInAtom atom)
           
 void visit(ClassAtom atom)
           
 void visit(DataRangeAtom atom)
           
 void visit(DatavaluedPropertyAtom atom)
           
 void visit(DifferentIndividualsAtom atom)
           
 void visit(IndividualPropertyAtom atom)
           
 void visit(SameIndividualAtom atom)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RuleAtomAsserter

public RuleAtomAsserter()
Method Detail

assertAtom

public boolean assertAtom(RuleAtom atom,
                          VariableBinding binding,
                          DependencySet ds,
                          boolean negated,
                          ABox abox,
                          CompletionStrategy strategy)

visit

public void visit(BuiltInAtom atom)
Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(ClassAtom atom)
Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(DataRangeAtom atom)
Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(DatavaluedPropertyAtom atom)
Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(DifferentIndividualsAtom atom)
Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(IndividualPropertyAtom atom)
Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(SameIndividualAtom atom)
Specified by:
visit in interface RuleAtomVisitor


Copyright © 2004 Evren Sirin. All Rights Reserved.