edu.stanford.smi.protegex.owl.inference.util
Class ReasonerUtil

java.lang.Object
  edu.stanford.smi.protegex.owl.inference.util.ReasonerUtil

public class ReasonerUtil

extends Object

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jul 20, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Nested Class Summary

private class

ReasonerUtil.IndividualsFilter

Field Summary

private HashMap	individualsMap
private static ReasonerUtil	instance
private long	lastClassificationTime
private ModelListener	modelListener
private HashMap	namedClsesMap
private edu.stanford.smi.protege.event.ProjectListener	projectListener
private HashMap	propertiesMap

Constructor Summary

protected

ReasonerUtil()

Method Summary

Collection	getIndividuals(OWLModel kb)
static ReasonerUtil	getInstance()
long	getLastClassificationTime()
Collection	getNamedClses(OWLModel kb) Returns a collection of named classes.
OWLNamedClass	getNamedReferent(OWLAnonymousClass cls)
private Collection	getOWLIndividuals(OWLModel model)
Collection	getProperties(OWLModel kb)
private void	initHashMaps()
void	invalidateIndividualsCache(OWLModel kb)
void	invalidateNamedClsCache(OWLModel kb)
void	invalidatePropertiesCache(OWLModel kb)
void	setLastClassificationTime()

Methods inherited from class java.lang.Object

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

Field Detail

instance

private static ReasonerUtil instance

namedClsesMap

private HashMap namedClsesMap

propertiesMap

private HashMap propertiesMap

individualsMap

private HashMap individualsMap

projectListener

private edu.stanford.smi.protege.event.ProjectListener projectListener

modelListener

private ModelListener modelListener

lastClassificationTime

private long lastClassificationTime

Constructor Detail

ReasonerUtil

protected ReasonerUtil()

Method Detail

getInstance

public static ReasonerUtil getInstance()

initHashMaps

private void initHashMaps()

getNamedClses

public Collection getNamedClses(OWLModel kb)

Returns a collection of named classes. This collection is cached. If named classes are added or deleted, the cache is emptied an rebuilt.

Parameters:

kb - The knowledge base that contains the named classes

getProperties

public Collection getProperties(OWLModel kb)

getIndividuals

public Collection getIndividuals(OWLModel kb)

getOWLIndividuals

private Collection getOWLIndividuals(OWLModel model)

invalidateNamedClsCache

public void invalidateNamedClsCache(OWLModel kb)

invalidatePropertiesCache

public void invalidatePropertiesCache(OWLModel kb)

invalidateIndividualsCache

public void invalidateIndividualsCache(OWLModel kb)

getLastClassificationTime

public long getLastClassificationTime()

setLastClassificationTime

public void setLastClassificationTime()

getNamedReferent

public OWLNamedClass getNamedReferent(OWLAnonymousClass cls)