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