Protégé-OWL 3.3.1

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

java.lang.Object
  extended by 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


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)
           
 Collection getProperties(OWLModel kb)
           
 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
 

Constructor Detail

ReasonerUtil

protected ReasonerUtil()
Method Detail

getInstance

public static ReasonerUtil getInstance()

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)

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)

Protégé-OWL 3.3.1

Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.