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)