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)
|