org.semanticweb.owlapi.metrics
Class HiddenGCICount

java.lang.Object
  org.semanticweb.owlapi.metrics.AbstractOWLMetric<java.lang.Integer>
      org.semanticweb.owlapi.metrics.IntegerValuedMetric
          org.semanticweb.owlapi.metrics.HiddenGCICount

All Implemented Interfaces:

OWLMetric<java.lang.Integer>, OWLOntologyChangeListener

public class HiddenGCICount
extends IntegerValuedMetric

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Aug-2007

Counts the number of "hidden" GCIs in an ontology imports closure. A GCI is regarded to be a "hidden" GCI if it is essentially introduce via an equivalent class axiom and a subclass axioms where the LHS of the subclass axiom is nameed. For example, A equivalentTo p some C, A subClassOf B results in a "hidden" GCI.

Constructor Summary

HiddenGCICount(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.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

HiddenGCICount

public HiddenGCICount(OWLOntologyManager owlOntologyManager)

Method Detail

disposeMetric

protected void disposeMetric()

Specified by:

disposeMetric 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.

recomputeMetric

protected java.lang.Integer recomputeMetric()

Specified by:

recomputeMetric in class AbstractOWLMetric<java.lang.Integer>

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.