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
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 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)
Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.