Uses of Class
org.semanticweb.HermiT.model.Atom

Packages that use Atom
org.semanticweb.HermiT.datalog   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

Uses of Atom in org.semanticweb.HermiT.datalog
 

Fields in org.semanticweb.HermiT.datalog declared as Atom
protected  Atom[] ConjunctiveQuery.m_queryAtoms
           
 

Methods in org.semanticweb.HermiT.datalog that return Atom
 Atom ConjunctiveQuery.getQueryAtom(int atomIndex)
           
 

Constructors in org.semanticweb.HermiT.datalog with parameters of type Atom
ConjunctiveQuery(DatalogEngine datalogEngine, Atom[] queryAtoms, Term[] answerTerms)
           
 

Uses of Atom in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model declared as Atom
protected  Atom[] DLClause.m_bodyAtoms
           
protected  Atom[] DLClause.m_headAtoms
           
 

Fields in org.semanticweb.HermiT.model with type parameters of type Atom
protected  java.util.Set<Atom> DLOntology.m_negativeFacts
           
protected  java.util.Set<Atom> DLOntology.m_positiveFacts
           
protected static InterningManager<Atom> Atom.s_interningManager
           
 

Methods in org.semanticweb.HermiT.model that return Atom
static Atom Atom.create(DLPredicate dlPredicate, Term... arguments)
           
 Atom DLClause.getBodyAtom(int atomIndex)
           
 Atom[] DLClause.getBodyAtoms()
           
 Atom DLClause.getHeadAtom(int atomIndex)
           
 Atom[] DLClause.getHeadAtoms()
           
abstract  Atom Role.getRoleAssertion(Term term0, Term term1)
           
 Atom AtomicRole.getRoleAssertion(Term term0, Term term1)
           
 Atom InverseRole.getRoleAssertion(Term term0, Term term1)
           
 Atom Atom.replaceDLPredicate(DLPredicate newDLPredicate)
           
 

Methods in org.semanticweb.HermiT.model that return types with arguments of type Atom
 java.util.Set<Atom> DLOntology.getNegativeFacts()
           
 java.util.Set<Atom> DLOntology.getPositiveFacts()
           
 

Methods in org.semanticweb.HermiT.model with parameters of type Atom
static DLClause DLClause.create(Atom[] headAtoms, Atom[] bodyAtoms)
           
static DLClause DLClause.create(Atom[] headAtoms, Atom[] bodyAtoms)
           
 DLClause DLClause.getChangedDLClause(Atom[] headAtoms, Atom[] bodyAtoms)
           
 DLClause DLClause.getChangedDLClause(Atom[] headAtoms, Atom[] bodyAtoms)
           
 

Constructors in org.semanticweb.HermiT.model with parameters of type Atom
DLClause(Atom[] headAtoms, Atom[] bodyAtoms)
           
DLClause(Atom[] headAtoms, Atom[] bodyAtoms)
           
 

Constructor parameters in org.semanticweb.HermiT.model with type arguments of type Atom
DLOntology(java.lang.String ontologyIRI, java.util.Set<DLClause> dlClauses, java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts, java.util.Set<AtomicConcept> atomicConcepts, java.util.Set<AtomicRole> atomicObjectRoles, java.util.Set<Role> allComplexObjectRoles, java.util.Set<AtomicRole> atomicDataRoles, java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions, java.util.Set<java.lang.String> definedDatatypeIRIs, java.util.Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)
           
DLOntology(java.lang.String ontologyIRI, java.util.Set<DLClause> dlClauses, java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts, java.util.Set<AtomicConcept> atomicConcepts, java.util.Set<AtomicRole> atomicObjectRoles, java.util.Set<Role> allComplexObjectRoles, java.util.Set<AtomicRole> atomicDataRoles, java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions, java.util.Set<java.lang.String> definedDatatypeIRIs, java.util.Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)
           
 

Uses of Atom in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural with type parameters of type Atom
protected  java.util.List<Atom> OWLClausification.NormalizedAxiomClausifier.m_bodyAtoms
           
protected  java.util.List<Atom> OWLClausification.NormalizedDataRangeAxiomClausifier.m_bodyAtoms
           
protected  java.util.List<Atom> OWLClausification.NormalizedRuleClausifier.m_bodyAtoms
           
protected  java.util.List<Atom> OWLClausification.NormalizedAxiomClausifier.m_headAtoms
           
protected  java.util.List<Atom> OWLClausification.NormalizedDataRangeAxiomClausifier.m_headAtoms
           
protected  java.util.List<Atom> OWLClausification.NormalizedRuleClausifier.m_headAtoms
           
protected  java.util.Set<Atom> OWLClausification.FactClausifier.m_negativeFacts
           
protected  java.util.Set<Atom> ReducedABoxOnlyClausification.m_negativeFacts
           
protected  java.util.Set<Atom> OWLClausification.NormalizedAxiomClausifier.m_positiveFacts
           
protected  java.util.Set<Atom> OWLClausification.FactClausifier.m_positiveFacts
           
protected  java.util.Set<Atom> ReducedABoxOnlyClausification.m_positiveFacts
           
 

Methods in org.semanticweb.HermiT.structural that return Atom
protected  Atom ReducedABoxOnlyClausification.getConceptAtom(org.semanticweb.owlapi.model.OWLClass cls, Term term)
           
protected static Atom OWLClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
           
protected  Atom ReducedABoxOnlyClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
           
protected static Atom OWLClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
           
protected  Atom ReducedABoxOnlyClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLClassAtom atom)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom atom)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom atom)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom atom)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLIndividualArgument atom)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLLiteralArgument arg)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom atom)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLRule rule)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom atom)
           
 Atom OWLClausification.NormalizedRuleClausifier.visit(org.semanticweb.owlapi.model.SWRLVariable node)
           
 

Methods in org.semanticweb.HermiT.structural that return types with arguments of type Atom
 java.util.Set<Atom> ReducedABoxOnlyClausification.getNegativeFacts()
           
 java.util.Set<Atom> ReducedABoxOnlyClausification.getPositiveFacts()
           
 

Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type Atom
OWLClausification.FactClausifier(OWLClausification.DataRangeConverter dataRangeConverter, java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts)
           
OWLClausification.FactClausifier(OWLClausification.DataRangeConverter dataRangeConverter, java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts)
           
OWLClausification.NormalizedAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter, java.util.Set<Atom> positiveFacts, org.semanticweb.owlapi.model.OWLDataFactory factory)
           
 

Uses of Atom in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as Atom
protected  Atom[] DLClauseEvaluator.ConjunctionCompiler.m_bodyAtoms
           
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type Atom
protected  java.util.List<Atom> HyperresolutionManager.BodyAtomsSwapper.m_nodeIDComparisonAtoms
           
protected  java.util.List<Atom> HyperresolutionManager.BodyAtomsSwapper.m_reorderedAtoms
           
 

Methods in org.semanticweb.HermiT.tableau that return Atom
 Atom DLClauseEvaluator.getBodyAtom(int atomIndex)
           
protected  Atom DLClauseEvaluator.ConjunctionCompiler.getBodyAtom(int atomIndex)
           
 Atom DLClauseEvaluator.getHeadAtom(int dlClauseIndex, int atomIndex)
           
protected  Atom DLClauseEvaluator.DLClauseCompiler.getHeadAtom(int dlClauseIndex, int atomIndex)
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type Atom
protected  void DLClauseEvaluator.ConjunctionCompiler.compileCheckUnboundVariableMatches(Atom atom, ExtensionTable.Retrieval retrieval, int jumpIndex)
           
protected  void DLClauseEvaluator.ConjunctionCompiler.compileGenerateBindings(ExtensionTable.Retrieval retrieval, Atom atom)
           
protected  int HyperresolutionManager.BodyAtomsSwapper.getAtomGoodness(Atom atom)
           
protected  void Tableau.loadNegativeFact(java.util.Map<Term,Node> termsToNodes, Atom atom, DependencySet dependencySet)
           
protected  void Tableau.loadPositiveFact(java.util.Map<Term,Node> termsToNodes, Atom atom, DependencySet dependencySet)
           
 

Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Atom
protected  void HyperresolutionManager.getAtomicRoleClauseGuards(DLClause swappedDLClause, java.util.List<Atom> guardingAtomicConceptAtoms1, java.util.List<Atom> guardingAtomicConceptAtoms2)
           
protected  void HyperresolutionManager.getAtomicRoleClauseGuards(DLClause swappedDLClause, java.util.List<Atom> guardingAtomicConceptAtoms1, java.util.List<Atom> guardingAtomicConceptAtoms2)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Term,Node> termsToNodes, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Term,Node> termsToNodes, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Term,Node> termsToNodes, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Term,Node> termsToNodes, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type Atom
DLClauseEvaluator.ConjunctionCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize, ExtensionManager extensionManager, Atom[] bodyAtoms, java.util.List<Variable> headVariables)