Package openllet.core.rules

Class RuleAtomAsserter

java.lang.Object

openllet.core.rules.RuleAtomAsserter

All Implemented Interfaces:

RuleAtomVisitor

public class RuleAtomAsserter
extends java.lang.Object
implements RuleAtomVisitor

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor	Description
RuleAtomAsserter()

Method Summary

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