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
protected  Atom[] DLClause.m_bodyAtoms
           
protected  Atom[] DLClause.m_headAtoms
           
 

Fields in org.semanticweb.HermiT.model with type parameters of type Atom
protected  Set<Atom> DLOntology.m_negativeFacts
           
protected  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
 Set<Atom> DLOntology.getNegativeFacts()
           
 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(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
 

Fields in org.semanticweb.HermiT.structural with type parameters of type Atom
protected  List<Atom> OWLClausification.NormalizedAxiomClausifier.m_bodyAtoms
           
protected  List<Atom> OWLClausification.NormalizedDataRangeAxiomClausifier.m_bodyAtoms
           
protected  List<Atom> OWLClausification.NormalizedRuleClausifier.m_bodyAtoms
           
protected  List<Atom> OWLClausification.NormalizedAxiomClausifier.m_headAtoms
           
protected  List<Atom> OWLClausification.NormalizedDataRangeAxiomClausifier.m_headAtoms
           
protected  List<Atom> OWLClausification.NormalizedRuleClausifier.m_headAtoms
           
protected  Set<Atom> ReducedABoxOnlyClausification.m_negativeFacts
           
protected  Set<Atom> OWLClausification.FactClausifier.m_negativeFacts
           
protected  Set<Atom> ReducedABoxOnlyClausification.m_positiveFacts
           
protected  Set<Atom> OWLClausification.NormalizedAxiomClausifier.m_positiveFacts
           
protected  Set<Atom> OWLClausification.FactClausifier.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)
           
 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
 Set<Atom> ReducedABoxOnlyClausification.getNegativeFacts()
           
 Set<Atom> ReducedABoxOnlyClausification.getPositiveFacts()
           
 

Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type Atom
OWLClausification.FactClausifier(OWLClausification.DataRangeConverter dataRangeConverter, Set<Atom> positiveFacts, Set<Atom> negativeFacts)
           
OWLClausification.FactClausifier(OWLClausification.DataRangeConverter dataRangeConverter, Set<Atom> positiveFacts, Set<Atom> negativeFacts)
           
OWLClausification.NormalizedAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter, Set<Atom> positiveFacts, org.semanticweb.owlapi.model.OWLDataFactory factory)
           
 

Uses of Atom in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type Atom
protected  List<Atom> HyperresolutionManager.BodyAtomsSwapper.m_nodeIDComparisonAtoms
           
protected  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(Map<Term,Node> termsToNodes, Atom atom, DependencySet dependencySet)
           
protected  void Tableau.loadPositiveFact(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, List<Atom> guardingAtomicConceptAtoms1, List<Atom> guardingAtomicConceptAtoms2)
           
protected  void HyperresolutionManager.getAtomicRoleClauseGuards(DLClause swappedDLClause, List<Atom> guardingAtomicConceptAtoms1, List<Atom> guardingAtomicConceptAtoms2)
           
 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 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)
           
 



Copyright © 2012. All Rights Reserved.