com.clarkparsia.pellet.rules
Class RuleAtomAsserter
java.lang.Object
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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RuleAtomAsserter
public RuleAtomAsserter()
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.