|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |