org.semanticweb.owl.metrics
Class UnsatisfiableClassCountMetric

java.lang.Object
  extended by org.semanticweb.owl.metrics.AbstractOWLMetric<java.lang.Integer>
      extended by org.semanticweb.owl.metrics.IntegerValuedMetric
          extended by org.semanticweb.owl.metrics.UnsatisfiableClassCountMetric
All Implemented Interfaces:
OWLMetric<java.lang.Integer>, OWLOntologyChangeListener

public class UnsatisfiableClassCountMetric
extends IntegerValuedMetric

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 17-Jan-2008


Constructor Summary
UnsatisfiableClassCountMetric(OWLReasoner reasoner, OWLOntologyManager owlOntologyManager)
           
 
Method Summary
protected  void disposeMetric()
           
 java.lang.String getName()
          Gets the human readable name of this metic
protected  boolean isMetricInvalidated(java.util.List<? extends OWLOntologyChange> changes)
          Determines if the specified list of changes will cause the value of this metric to be invalid.
protected  java.lang.Integer recomputeMetric()
           
 
Methods inherited from class org.semanticweb.owl.metrics.AbstractOWLMetric
dispose, getManager, getOntologies, getOntology, getValue, isImportsClosureUsed, ontologiesChanged, setImportsClosureUsed, setOntology, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

UnsatisfiableClassCountMetric

public UnsatisfiableClassCountMetric(OWLReasoner reasoner,
                                     OWLOntologyManager owlOntologyManager)
Method Detail

getName

public java.lang.String getName()
Description copied from interface: OWLMetric
Gets the human readable name of this metic

Returns:
A label which represents the human readable name of this metric.

recomputeMetric

protected java.lang.Integer recomputeMetric()
Specified by:
recomputeMetric in class AbstractOWLMetric<java.lang.Integer>

isMetricInvalidated

protected boolean isMetricInvalidated(java.util.List<? extends OWLOntologyChange> changes)
Description copied from class: AbstractOWLMetric
Determines if the specified list of changes will cause the value of this metric to be invalid.

Specified by:
isMetricInvalidated in class AbstractOWLMetric<java.lang.Integer>
Parameters:
changes - The list of changes which will be examined to determine if the metric is now invalid.
Returns:
true if the metric value is invalidated by the specified list of changes, or false if the list of changes do not cause the value of this metric to be invalidated.

disposeMetric

protected void disposeMetric()
Specified by:
disposeMetric in class AbstractOWLMetric<java.lang.Integer>