org.semanticweb.HermiT.hierarchy

Class InstanceManager

java.lang.Object

org.semanticweb.HermiT.hierarchy.InstanceManager

public class InstanceManager
extends Object

InstanceManager.

Field Summary

Fields

Modifier and Type	Field and Description
static int	thresholdForAdditionalAxioms threshold

Constructor Summary

Constructors

Constructor and Description
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)

Method Summary

Modifier and Type	Method and Description
boolean	areClassesInitialised()
boolean	arePropertiesInitialised()
void	computeSameAsEquivalenceClasses(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor progressMonitor)
org.semanticweb.owlapi.model.OWLAxiom[]	getAxiomsForReadingOffCompexProperties(org.semanticweb.owlapi.model.OWLDataFactory factory, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps)
int	getCurrentIndividualIndex()
Set<Individual>	getInstances(AtomicConcept atomicConcept, boolean direct)
Set<Individual>	getInstances(HierarchyNode<AtomicConcept> node, boolean direct)
Map<Individual,Node>	getNodesForIndividuals()
Map<Individual,Set<Individual>>	getObjectPropertyInstances(AtomicRole role)
Set<Individual>	getObjectPropertySubjects(AtomicRole role, Individual individual)
Set<Individual>	getObjectPropertyValues(AtomicRole role, Individual individual)
Set<Individual>	getSameAsIndividuals(Individual individual)
Set<HierarchyNode<AtomicConcept>>	getTypes(Individual individual, boolean direct)
boolean	hasObjectRoleRelationship(AtomicRole role, Individual individual1, Individual individual2)
boolean	hasObjectRoleRelationship(HierarchyNode<org.semanticweb.HermiT.hierarchy.RoleElementManager.RoleElement> node, Individual individual1, Individual individual2)
boolean	hasType(Individual individual, AtomicConcept atomicConcept, boolean direct)
boolean	hasType(Individual individual, HierarchyNode<AtomicConcept> node, boolean direct)
void	initializeKnowAndPossibleClassInstances(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps)
int	initializeKnowAndPossiblePropertyInstances(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int startIndividualIndex, int completedSteps, int steps)
boolean	isSameIndividual(Individual individual1, Individual individual2)
boolean	objectPropertyRealizationCompleted()
boolean	realizationCompleted()
void	realize(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)
void	realizeObjectRoles(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)
boolean	sameAsIndividualsComputed()
void	setInconsistent() Set inconsistent.
void	setToClassifiedConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
void	setToClassifiedRoleHierarchy(Hierarchy<Role> roleHierarchy)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

thresholdForAdditionalAxioms

public static final int thresholdForAdditionalAxioms

threshold

See Also:

Constant Field Values

Constructor Detail

InstanceManager

public InstanceManager(InterruptFlag interruptFlag,
                       Reasoner reasoner,
                       Hierarchy<AtomicConcept> atomicConceptHierarchy,
                       Hierarchy<Role> objectRoleHierarchy)

Parameters:

interruptFlag - interruptFlag

reasoner - reasoner

atomicConceptHierarchy - atomicConceptHierarchy

objectRoleHierarchy - objectRoleHierarchy

Method Detail

setToClassifiedConceptHierarchy

public void setToClassifiedConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)

Parameters:

atomicConceptHierarchy - atomicConceptHierarchy

setToClassifiedRoleHierarchy

public void setToClassifiedRoleHierarchy(Hierarchy<Role> roleHierarchy)

Parameters:

roleHierarchy - roleHierarchy

getAxiomsForReadingOffCompexProperties

public org.semanticweb.owlapi.model.OWLAxiom[] getAxiomsForReadingOffCompexProperties(org.semanticweb.owlapi.model.OWLDataFactory factory,
                                                                                      org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
                                                                                      int completedSteps,
                                                                                      int steps)

Parameters:

factory - factory

monitor - monitor

completedSteps - completedSteps

steps - steps

Returns:

axioms

initializeKnowAndPossibleClassInstances

public void initializeKnowAndPossibleClassInstances(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
                                                    int completedSteps,
                                                    int steps)

Parameters:

monitor - monitor

completedSteps - completedSteps

steps - steps

initializeKnowAndPossiblePropertyInstances

public int initializeKnowAndPossiblePropertyInstances(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
                                                      int startIndividualIndex,
                                                      int completedSteps,
                                                      int steps)

Parameters:

monitor - monitor

startIndividualIndex - startIndividualIndex

completedSteps - completedSteps

steps - steps

Returns:

completed steps

setInconsistent

public void setInconsistent()

Set inconsistent.

realize

public void realize(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)

Parameters:

monitor - monitor

realizeObjectRoles

public void realizeObjectRoles(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)

Parameters:

monitor - monitor

getTypes

public Set<HierarchyNode<AtomicConcept>> getTypes(Individual individual,
                                                  boolean direct)

Parameters:

individual - individual

direct - direct

Returns:

types

hasType

public boolean hasType(Individual individual,
                       AtomicConcept atomicConcept,
                       boolean direct)

Parameters:

individual - individual

atomicConcept - atomicConcept

direct - direct

Returns:

true if has type

hasType

public boolean hasType(Individual individual,
                       HierarchyNode<AtomicConcept> node,
                       boolean direct)

Parameters:

individual - individual

node - node

direct - direct

Returns:

true if has type

getInstances

public Set<Individual> getInstances(AtomicConcept atomicConcept,
                                    boolean direct)

Parameters:

atomicConcept - atomicConcept

direct - direct

Returns:

instances

getInstances

public Set<Individual> getInstances(HierarchyNode<AtomicConcept> node,
                                    boolean direct)

Parameters:

node - node

direct - direct

Returns:

instances

hasObjectRoleRelationship

public boolean hasObjectRoleRelationship(AtomicRole role,
                                         Individual individual1,
                                         Individual individual2)

Parameters:

role - role

individual1 - individual1

individual2 - individual2

Returns:

true if has object role

hasObjectRoleRelationship

public boolean hasObjectRoleRelationship(HierarchyNode<org.semanticweb.HermiT.hierarchy.RoleElementManager.RoleElement> node,
                                         Individual individual1,
                                         Individual individual2)

Parameters:

node - node

individual1 - individual1

individual2 - individual2

Returns:

true if has object role

getObjectPropertyInstances

public Map<Individual,Set<Individual>> getObjectPropertyInstances(AtomicRole role)

Parameters:

role - role

Returns:

object property instances

getObjectPropertyValues

public Set<Individual> getObjectPropertyValues(AtomicRole role,
                                               Individual individual)

Parameters:

role - role

individual - individual

Returns:

object property values

getObjectPropertySubjects

public Set<Individual> getObjectPropertySubjects(AtomicRole role,
                                                 Individual individual)

Parameters:

role - role

individual - individual

Returns:

object property subjects

getSameAsIndividuals

public Set<Individual> getSameAsIndividuals(Individual individual)

Parameters:

individual - individual

Returns:

same individuals

isSameIndividual

public boolean isSameIndividual(Individual individual1,
                                Individual individual2)

Parameters:

individual1 - individual1

individual2 - individual2

Returns:

true if same

computeSameAsEquivalenceClasses

public void computeSameAsEquivalenceClasses(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor progressMonitor)

Parameters:

progressMonitor - progressMonitor

realizationCompleted

public boolean realizationCompleted()

Returns:

true if realisation completed

objectPropertyRealizationCompleted

public boolean objectPropertyRealizationCompleted()

Returns:

true if object property realisation complete

sameAsIndividualsComputed

public boolean sameAsIndividualsComputed()

Returns:

true if sameas computed

areClassesInitialised

public boolean areClassesInitialised()

Returns:

true if classes initialised

arePropertiesInitialised

public boolean arePropertiesInitialised()

Returns:

true if proeprties initialised

getCurrentIndividualIndex

public int getCurrentIndividualIndex()

Returns:

current inex

getNodesForIndividuals

public Map<Individual,Node> getNodesForIndividuals()

Returns:

nodes for individuals