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

Packages that use Atom

Package	Description
org.semanticweb.HermiT.datalog
org.semanticweb.HermiT.model
org.semanticweb.HermiT.structural
org.semanticweb.HermiT.tableau

Uses of Atom in org.semanticweb.HermiT.datalog

Constructors in org.semanticweb.HermiT.datalog with parameters of type Atom

Constructor and Description
ConjunctiveQuery(DatalogEngine datalogEngine, Atom[] queryAtoms, Term[] answerTerms)

Uses of Atom in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model that return Atom

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

Methods in org.semanticweb.HermiT.model that return types with arguments of type Atom

Modifier and Type	Method and Description
Set<Atom>	DLOntology.getNegativeFacts()
Set<Atom>	DLOntology.getPositiveFacts()

Methods in org.semanticweb.HermiT.model with parameters of type Atom

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

Constructor parameters in org.semanticweb.HermiT.model with type arguments of type Atom

Constructor and Description
DLOntology(String ontologyIRI, Set<DLClause> dlClauses, Set<Atom> positiveFacts, Set<Atom> negativeFacts, Set<AtomicConcept> atomicConcepts, Set<AtomicRole> atomicObjectRoles, Set<Role> allComplexObjectRoles, Set<AtomicRole> atomicDataRoles, Set<DatatypeRestriction> allUnknownDatatypeRestrictions, Set<String> definedDatatypeIRIs, Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)
DLOntology(String ontologyIRI, Set<DLClause> dlClauses, Set<Atom> positiveFacts, Set<Atom> negativeFacts, Set<AtomicConcept> atomicConcepts, Set<AtomicRole> atomicObjectRoles, Set<Role> allComplexObjectRoles, Set<AtomicRole> atomicDataRoles, Set<DatatypeRestriction> allUnknownDatatypeRestrictions, Set<String> definedDatatypeIRIs, Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)

Uses of Atom in org.semanticweb.HermiT.structural

Methods in org.semanticweb.HermiT.structural that return types with arguments of type Atom

Modifier and Type	Method and Description
Set<Atom>	ReducedABoxOnlyClausification.getNegativeFacts()
Set<Atom>	ReducedABoxOnlyClausification.getPositiveFacts()

Uses of Atom in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return Atom

Modifier and Type	Method and Description
Atom	DLClauseEvaluator.getBodyAtom(int atomIndex)
Atom	DLClauseEvaluator.getHeadAtom(int dlClauseIndex, int atomIndex)

Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Atom

Modifier and Type	Method and Description
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)

Constructors in org.semanticweb.HermiT.tableau with parameters of type Atom

Constructor and Description
ConjunctionCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, Map<Integer,org.semanticweb.HermiT.tableau.UnionDependencySet> unionDependencySetsBySize, ExtensionManager extensionManager, Atom[] bodyAtoms, List<Variable> headVariables)