Uses of Interface
com.clarkparsia.pellet.rules.model.RuleAtom

Packages that use RuleAtom
com.clarkparsia.pellet.rules   
com.clarkparsia.pellet.rules.model   
org.mindswap.pellet.tableau.branch   
 

Uses of RuleAtom in com.clarkparsia.pellet.rules
 

Methods in com.clarkparsia.pellet.rules with parameters of type RuleAtom
 boolean RuleAtomAsserter.assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated, ABox abox, CompletionStrategy strategy)
           
static java.util.Collection<AtomDVariable> VariableUtils.getDVars(RuleAtom atom)
          Static convenience function to return the instance variables used in the given atom.
static java.util.Collection<AtomIVariable> VariableUtils.getIVars(RuleAtom atom)
          Static convenience function to return the instance variables used in the given atom.
static java.util.Collection<AtomVariable> VariableUtils.getVars(RuleAtom atom)
          Static convenience function to return the variables used in the given atom.
 DependencySet TrivialSatisfactionHelpers.isAtomTrue(RuleAtom atom, VariableBinding binding)
           
 aterm.ATermAppl RulesToATermTranslator.translate(RuleAtom ruleAtom)
           
 TermTuple RulesToReteTranslator.translateAtom(RuleAtom atom, DependencySet ds)
          Translates a rule atom into a rete triple.
 

Method parameters in com.clarkparsia.pellet.rules with type arguments of type RuleAtom
 java.util.List<TermTuple> RulesToReteTranslator.translateAtoms(java.util.Collection<? extends RuleAtom> atoms, DependencySet ds)
          Translates a list of rule atoms into rete triples.
 

Uses of RuleAtom in com.clarkparsia.pellet.rules.model
 

Classes in com.clarkparsia.pellet.rules.model that implement RuleAtom
 class BinaryAtom<P,A extends AtomObject,B extends AtomObject>
           Title: Property Atom
 class BuiltInAtom
           Title: Built-In Atom
 class ClassAtom
           Title: Class Atom
 class DataRangeAtom
           Title: Data Range Atom
 class DatavaluedPropertyAtom
           Title: Datavalued Property Atom
 class DifferentIndividualsAtom
           Title: Different Individuals Atom
 class IndividualPropertyAtom
           Title: Individual Property Atom
 class RuleAtomImpl<P>
           Title: Rule Atom Implementation
 class SameIndividualAtom
           Title: Same Individual Atom
 class UnaryAtom<A extends AtomObject>
           Title: Unary Atom
 

Methods in com.clarkparsia.pellet.rules.model that return types with arguments of type RuleAtom
 java.util.Collection<? extends RuleAtom> Rule.getBody()
           
 java.util.Collection<? extends RuleAtom> Rule.getHead()
           
 

Constructor parameters in com.clarkparsia.pellet.rules.model with type arguments of type RuleAtom
Rule(aterm.ATermAppl name, java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body)
           
Rule(aterm.ATermAppl name, java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body)
           
Rule(aterm.ATermAppl name, java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body, java.util.Set<aterm.ATermAppl> explanation)
           
Rule(aterm.ATermAppl name, java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body, java.util.Set<aterm.ATermAppl> explanation)
           
Rule(java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body)
           
Rule(java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body)
           
Rule(java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body, java.util.Set<aterm.ATermAppl> explanation)
           
Rule(java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body, java.util.Set<aterm.ATermAppl> explanation)
           
 

Uses of RuleAtom in org.mindswap.pellet.tableau.branch
 

Constructor parameters in org.mindswap.pellet.tableau.branch with type arguments of type RuleAtom
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, java.util.List<RuleAtom> atoms, VariableBinding binding, int bodyAtomCount, DependencySet ds)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.