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

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

Uses of Atom in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model declared as Atom
static Atom[][] DLClause.EMPTY_HEAD
           
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 InverseRole.getRoleAssertion(Term term0, Term term1)
           
 Atom AtomicRole.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, DLClause.ClauseType clauseType)
           
static DLClause DLClause.create(Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
static DLClause DLClause.createEx(boolean isKnownToBeAdmissible, Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
static DLClause DLClause.createEx(boolean isKnownToBeAdmissible, Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
 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(boolean isKnownToBeAdmissible, Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
DLClause(boolean isKnownToBeAdmissible, Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
 

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 declared as Atom
protected  Atom OWLClausification.NormalizedRuleClausifier.m_lastAtom
           
 

Fields in org.semanticweb.HermiT.structural with type parameters of type Atom
 java.util.List<java.util.List<Atom>> OWLClausification.NormalizedRuleClausifier.m_bodies
           
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
           
 java.util.List<java.util.List<Atom>> OWLClausification.NormalizedRuleClausifier.m_heads
           
protected  java.util.Set<Atom> ReducedABoxOnlyClausification.m_negativeFacts
           
protected  java.util.Set<Atom> OWLClausification.FactClausifier.m_negativeFacts
           
protected  java.util.Set<Atom> OWLClausification.NormalizedRuleClausifier.m_negativeFacts
           
protected  java.util.Set<Atom> ReducedABoxOnlyClausification.m_positiveFacts
           
protected  java.util.Set<Atom> OWLClausification.NormalizedAxiomClausifier.m_positiveFacts
           
protected  java.util.Set<Atom> OWLClausification.FactClausifier.m_positiveFacts
           
protected  java.util.Set<Atom> OWLClausification.NormalizedRuleClausifier.m_positiveFacts
           
 

Methods in org.semanticweb.HermiT.structural that return Atom
protected  Atom ReducedABoxOnlyClausification.getConceptAtom(org.semanticweb.owlapi.model.OWLClass cls, Term term)
           
protected  Atom ReducedABoxOnlyClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
           
protected static Atom OWLClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
           
protected  Atom ReducedABoxOnlyClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
           
protected static Atom OWLClausification.getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
           
 

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, java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLDatatype> dps2ranges)
           
OWLClausification.NormalizedRuleClausifier(java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts, java.util.Collection<DescriptionGraph> dGraphs, java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesUsedInAxioms, OWLClausification.DataRangeConverter dataRangeConverter)
           
OWLClausification.NormalizedRuleClausifier(java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts, java.util.Collection<DescriptionGraph> dGraphs, java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesUsedInAxioms, OWLClausification.DataRangeConverter dataRangeConverter)
           
 

Uses of Atom in org.semanticweb.HermiT.tableau
 

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.DLClauseCompiler.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.DLClauseCompiler.compileCheckUnboundVariableMatches(Atom atom, ExtensionTable.Retrieval retrieval, int jumpIndex)
           
protected  void DLClauseEvaluator.DLClauseCompiler.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 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)