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

Packages that use Individual
org.semanticweb.HermiT   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

Uses of Individual in org.semanticweb.HermiT
 

Methods in org.semanticweb.HermiT that return Individual
protected static Individual Reasoner.H(org.semanticweb.owlapi.model.OWLAnonymousIndividual anonymousIndividual)
           
protected static Individual Reasoner.H(org.semanticweb.owlapi.model.OWLIndividual individual)
           
protected static Individual Reasoner.H(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual)
           
 

Methods in org.semanticweb.HermiT with parameters of type Individual
protected  java.util.Set<HierarchyNode<AtomicConcept>> Reasoner.getDirectSuperConceptNodes(Individual individual)
           
protected static boolean Reasoner.isResultRelevantIndividual(Individual individual)
           
 

Method parameters in org.semanticweb.HermiT with type arguments of type Individual
protected  org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> Reasoner.sortBySameAsIfNecessary(java.util.Set<Individual> individuals)
           
 

Uses of Individual in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as Individual
protected  Individual InstanceManager.DFSTypeCounter.m_individual
           
protected  Individual[] InstanceManager.m_individuals
           
 

Fields in org.semanticweb.HermiT.hierarchy with type parameters of type Individual
protected  java.util.Map<Node,Individual> InstanceManager.m_individualsForNodes
           
protected  java.util.Map<Individual,java.util.Set<Individual>> InstanceManager.m_individualToEquivalenceClass
           
protected  java.util.Map<Individual,java.util.Set<Individual>> InstanceManager.m_individualToEquivalenceClass
           
protected  java.util.Map<java.util.Set<Individual>,java.util.Set<java.util.Set<Individual>>> InstanceManager.m_individualToPossibleEquivalenceClass
           
protected  java.util.Map<java.util.Set<Individual>,java.util.Set<java.util.Set<Individual>>> InstanceManager.m_individualToPossibleEquivalenceClass
           
protected  java.util.Set<Individual> AtomicConceptElement.m_knownInstances
           
protected  java.util.Map<Individual,java.util.Set<Individual>> RoleElementManager.RoleElement.m_knownRelations
           
protected  java.util.Map<Individual,java.util.Set<Individual>> RoleElementManager.RoleElement.m_knownRelations
           
protected  java.util.Map<Individual,Node> InstanceManager.m_nodesForIndividuals
           
protected  java.util.Set<Individual> AtomicConceptElement.m_possibleInstances
           
protected  java.util.Map<Individual,java.util.Set<Individual>> RoleElementManager.RoleElement.m_possibleRelations
           
protected  java.util.Map<Individual,java.util.Set<Individual>> RoleElementManager.RoleElement.m_possibleRelations
           
 

Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type Individual
 java.util.Set<Individual> InstanceManager.getInstances(AtomicConcept atomicConcept, boolean direct)
           
 java.util.Set<Individual> InstanceManager.getInstances(HierarchyNode<AtomicConcept> node, boolean direct)
           
 java.util.Set<Individual> AtomicConceptElement.getKnownInstances()
           
 java.util.Map<Individual,java.util.Set<Individual>> RoleElementManager.RoleElement.getKnownRelations()
           
 java.util.Map<Individual,java.util.Set<Individual>> RoleElementManager.RoleElement.getKnownRelations()
           
 java.util.Map<Individual,Node> InstanceManager.getNodesForIndividuals()
           
 java.util.Map<Individual,java.util.Set<Individual>> InstanceManager.getObjectPropertyInstances(AtomicRole role)
           
 java.util.Map<Individual,java.util.Set<Individual>> InstanceManager.getObjectPropertyInstances(AtomicRole role)
           
 java.util.Set<Individual> InstanceManager.getObjectPropertyValues(Role role, Individual individual)
           
 java.util.Set<Individual> AtomicConceptElement.getPossibleInstances()
           
 java.util.Map<Individual,java.util.Set<Individual>> RoleElementManager.RoleElement.getPossibleRelations()
           
 java.util.Map<Individual,java.util.Set<Individual>> RoleElementManager.RoleElement.getPossibleRelations()
           
 java.util.Set<Individual> InstanceManager.getSameAsIndividuals(Individual individual)
           
 

Methods in org.semanticweb.HermiT.hierarchy with parameters of type Individual
 boolean RoleElementManager.RoleElement.addKnown(Individual individual1, Individual individual2)
           
protected  void InstanceManager.addKnownConceptInstance(HierarchyNode<AtomicConcept> currentNode, AtomicConceptElement element, Individual instance)
           
protected  void InstanceManager.addKnownRoleInstance(RoleElementManager.RoleElement element, Individual individual1, Individual individual2)
           
 boolean RoleElementManager.RoleElement.addKnowns(Individual individual, java.util.Set<Individual> individuals)
           
 boolean AtomicConceptElement.addPossible(Individual individual)
           
 boolean RoleElementManager.RoleElement.addPossible(Individual individual1, Individual individual2)
           
protected  void InstanceManager.addPossibleConceptInstance(HierarchyNode<AtomicConcept> currentNode, AtomicConceptElement element, Individual instance)
           
protected  void InstanceManager.addPossibleRoleInstance(RoleElementManager.RoleElement element, Individual individual1, Individual individual2)
           
 boolean RoleElementManager.RoleElement.addPossibles(Individual individual, java.util.Set<Individual> individuals)
           
 int[] InstanceManager.getNumberOfPredecessors(AtomicRole role, Individual individual)
           
protected  int[] InstanceManager.getNumberOfRolePredecessors(HierarchyNode<RoleElementManager.RoleElement> node, Individual individual, int[] result)
           
protected  int[] InstanceManager.getNumberOfRoleSuccessors(HierarchyNode<RoleElementManager.RoleElement> node, Individual individual, int[] result)
           
 int[] InstanceManager.getNumberOfSameAs(Individual individual)
           
 int[] InstanceManager.getNumberOfSuccessors(AtomicRole role, Individual individual)
           
 int[] InstanceManager.getNumberOfTypes(Individual individual)
           
protected  void InstanceManager.getObjectPropertySubjects(HierarchyNode<RoleElementManager.RoleElement> node, Individual object, java.util.Set<Individual> result)
           
protected  void InstanceManager.getObjectPropertyValues(HierarchyNode<RoleElementManager.RoleElement> node, Individual subject, java.util.Set<Individual> result)
           
 java.util.Set<Individual> InstanceManager.getObjectPropertyValues(Role role, Individual individual)
           
 java.util.Set<Individual> InstanceManager.getSameAsIndividuals(Individual individual)
           
 java.util.Set<HierarchyNode<AtomicConcept>> InstanceManager.getTypes(Individual individual, boolean direct)
           
 boolean InstanceManager.hasObjectRoleRelationship(AtomicRole role, Individual individual1, Individual individual2)
           
 boolean InstanceManager.hasObjectRoleRelationship(HierarchyNode<RoleElementManager.RoleElement> node, Individual individual1, Individual individual2)
           
protected  boolean[] InstanceManager.hasRoleSuccessor(HierarchyNode<RoleElementManager.RoleElement> node, Individual individual1, Individual individual2)
           
 boolean[] InstanceManager.hasSuccessor(AtomicRole role, Individual individual1, Individual individual2)
           
 boolean InstanceManager.hasType(Individual individual, AtomicConcept atomicConcept, boolean direct)
           
 boolean InstanceManager.hasType(Individual individual, HierarchyNode<AtomicConcept> node, boolean direct)
           
protected  boolean InstanceManager.isInstance(Individual individual, AtomicConcept atomicConcept)
           
 boolean AtomicConceptElement.isKnown(Individual individual)
           
 boolean RoleElementManager.RoleElement.isKnown(Individual individual1, Individual individual2)
           
 boolean AtomicConceptElement.isPossible(Individual individual)
           
 boolean RoleElementManager.RoleElement.isPossible(Individual individual1, Individual individual2)
           
protected static boolean InstanceManager.isResultRelevantIndividual(Individual individual)
           
protected  boolean InstanceManager.isRoleInstance(Role role, Individual individual1, Individual individual2)
           
 boolean InstanceManager.isSameIndividual(Individual individual1, Individual individual2)
           
protected  int InstanceManager.readOffComplexRoleSuccessors(Individual ind, Node nodeForIndividual, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps)
           
protected  void InstanceManager.readOffPropertyInstances(Individual ind, Node nodeForIndividual)
           
protected  boolean InstanceManager.readOffTypes(Individual ind, Node nodeForIndividual)
           
 boolean RoleElementManager.RoleElement.removeKnown(Individual individual1, Individual individual2)
           
 boolean RoleElementManager.RoleElement.removePossible(Individual individual1, Individual individual2)
           
 void AtomicConceptElement.setToKnown(Individual individual)
           
 void RoleElementManager.RoleElement.setToKnown(Individual individual1, Individual individual2)
           
 

Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type Individual
 boolean RoleElementManager.RoleElement.addKnowns(Individual individual, java.util.Set<Individual> individuals)
           
 boolean RoleElementManager.RoleElement.addPossibles(Individual individual, java.util.Set<Individual> individuals)
           
 boolean AtomicConceptElement.addPossibles(java.util.Set<Individual> individuals)
           
protected  void InstanceManager.getInstancesForNode(HierarchyNode<AtomicConcept> node, java.util.Set<Individual> result, boolean direct)
           
protected  void InstanceManager.getObjectPropertyInstances(HierarchyNode<RoleElementManager.RoleElement> node, java.util.Map<Individual,java.util.Set<Individual>> result)
           
protected  void InstanceManager.getObjectPropertyInstances(HierarchyNode<RoleElementManager.RoleElement> node, java.util.Map<Individual,java.util.Set<Individual>> result)
           
protected  void InstanceManager.getObjectPropertySubjects(HierarchyNode<RoleElementManager.RoleElement> node, Individual object, java.util.Set<Individual> result)
           
protected  void InstanceManager.getObjectPropertyValues(HierarchyNode<RoleElementManager.RoleElement> node, Individual subject, java.util.Set<Individual> result)
           
protected  int InstanceManager.readOffPropertyInstancesByIndividual(Tableau tableau, java.util.Map<Node,Individual> individualsForNodes, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps, int startIndividualIndex)
           
 

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Individual
InstanceManager.DFSTypeCounter(Individual individual)
           
 

Constructor parameters in org.semanticweb.HermiT.hierarchy with type arguments of type Individual
AtomicConceptElement(java.util.Set<Individual> known, java.util.Set<Individual> possible)
           
AtomicConceptElement(java.util.Set<Individual> known, java.util.Set<Individual> possible)
           
 

Uses of Individual in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model with type parameters of type Individual
static java.util.Comparator<Individual> DLOntology.IndividualComparator.INSTANCE
           
protected  java.util.Set<Individual> DLOntology.m_allIndividuals
           
protected  java.util.Map<AtomicRole,java.util.Map<Individual,java.util.Set<Constant>>> DLOntology.m_dataPropertyAssertions
           
protected static InterningManager<Individual> Individual.s_interningManager
           
 

Methods in org.semanticweb.HermiT.model that return Individual
static Individual Individual.create(java.lang.String uri)
          Returns an Individual with the given identifier.
static Individual Individual.createAnonymous(java.lang.String id)
           
 

Methods in org.semanticweb.HermiT.model that return types with arguments of type Individual
 java.util.Set<Individual> DLOntology.getAllIndividuals()
           
 java.util.Map<AtomicRole,java.util.Map<Individual,java.util.Set<Constant>>> DLOntology.getDataPropertyAssertions()
           
 

Methods in org.semanticweb.HermiT.model with parameters of type Individual
 int DLOntology.IndividualComparator.compare(Individual o1, Individual o2)
           
 boolean DLOntology.containsIndividual(Individual individual)
           
 

Method parameters in org.semanticweb.HermiT.model with type arguments of type Individual
 void Atom.getIndividuals(java.util.Set<Individual> individuals)
           
 

Constructor parameters in org.semanticweb.HermiT.model with type arguments of type Individual
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 Individual in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural with type parameters of type Individual
protected  java.util.Set<Individual> ReducedABoxOnlyClausification.m_allIndividuals
           
 

Methods in org.semanticweb.HermiT.structural that return Individual
protected  Individual ReducedABoxOnlyClausification.getIndividual(org.semanticweb.owlapi.model.OWLIndividual individual)
           
protected static Individual OWLClausification.getIndividual(org.semanticweb.owlapi.model.OWLIndividual individual)
           
 

Methods in org.semanticweb.HermiT.structural that return types with arguments of type Individual
 java.util.Set<Individual> ReducedABoxOnlyClausification.getAllIndividuals()
           
 

Uses of Individual in org.semanticweb.HermiT.tableau
 

Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Individual
 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)