org.semanticweb.owl.metrics
Class UnsatisfiableClassCountMetric

java.lang.Object
  org.semanticweb.owl.metrics.AbstractOWLMetric<java.lang.Integer>
      org.semanticweb.owl.metrics.IntegerValuedMetric
          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

java.lang.String

getName() Gets the human readable name of this metic

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

equals, 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.