Package org.semanticweb.owlapi.metrics

Class UnsatisfiableClassCountMetric

java.lang.Object

org.semanticweb.owlapi.metrics.AbstractOWLMetric<Integer>

org.semanticweb.owlapi.metrics.IntegerValuedMetric

org.semanticweb.owlapi.metrics.UnsatisfiableClassCountMetric

All Implemented Interfaces:

OWLMetric<Integer>, OWLOntologyChangeListener

public class UnsatisfiableClassCountMetric
extends IntegerValuedMetric

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor	Description
UnsatisfiableClassCountMetric(OWLReasoner reasoner)	Instantiates a new unsatisfiable class count metric.

Method Summary

Modifier and Type	Method	Description
String	getName()	Gets the human readable name of this metric.

Methods inherited from class org.semanticweb.owlapi.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 Details

UnsatisfiableClassCountMetric

public UnsatisfiableClassCountMetric(OWLReasoner reasoner)

Instantiates a new unsatisfiable class count metric.

Parameters:

reasoner - the reasoner

Method Details

getName

public String getName()

Description copied from interface: OWLMetric

Gets the human readable name of this metric.

Returns:

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