edu.stanford.smi.protegex.owl.inference.util
Class ReasonerUtil
java.lang.Object
edu.stanford.smi.protegex.owl.inference.util.ReasonerUtil
- All Implemented Interfaces:
- edu.stanford.smi.protege.util.Disposable
public class ReasonerUtil
- extends Object
- implements edu.stanford.smi.protege.util.Disposable
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ReasonerUtil
protected ReasonerUtil()
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<RDFProperty> getProperties(OWLModel kb)
getDataTypeProperties
public Collection<OWLDatatypeProperty> getDataTypeProperties(OWLModel kb)
getObjectProperties
public Collection<OWLObjectProperty> getObjectProperties(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)
dispose
public void dispose()
- Specified by:
dispose
in interface edu.stanford.smi.protege.util.Disposable
handleOutOfMemory
public static void handleOutOfMemory()
Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.