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 and Description
UnsatisfiableClassCountMetric(OWLReasoner reasoner) Instantiates a new unsatisfiable class count metric.

Method Summary

Modifier and Type	Method and 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 Detail

UnsatisfiableClassCountMetric

public UnsatisfiableClassCountMetric(@Nonnull
                                     OWLReasoner reasoner)

Instantiates a new unsatisfiable class count metric.

Parameters:

reasoner - the reasoner

Method Detail

getName

@Nonnull
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.