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>, org.semanticweb.owlapi.model.OWLOntologyChangeListener

public class UnsatisfiableClassCountMetric
extends IntegerValuedMetric

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

Constructor Summary

Constructors

Constructor and Description
UnsatisfiableClassCountMetric(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, org.semanticweb.owlapi.model.OWLOntologyManager owlOntologyManager)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	disposeMetric()
String	getName() Gets the human readable name of this metric
protected boolean	isMetricInvalidated(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes) Determines if the specified list of changes will cause the value of this metric to be invalid.
protected Integer	recomputeMetric()

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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UnsatisfiableClassCountMetric

public UnsatisfiableClassCountMetric(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
                             org.semanticweb.owlapi.model.OWLOntologyManager owlOntologyManager)

Parameters:

owlOntologyManager - manager to use

reasoner - the reasoner

Method Detail

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.

recomputeMetric

protected Integer recomputeMetric()

Specified by:

recomputeMetric in class AbstractOWLMetric<Integer>

isMetricInvalidated

protected boolean isMetricInvalidated(List<? extends org.semanticweb.owlapi.model.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<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<Integer>