com.clarkparsia.pellint.lintpattern.ontology
Class EquivalentAndSubclassAxiomPattern

java.lang.Object
  com.clarkparsia.pellint.lintpattern.ontology.EquivalentAndSubclassAxiomPattern

All Implemented Interfaces:

LintPattern, OntologyLintPattern

public class EquivalentAndSubclassAxiomPattern
extends java.lang.Object
implements OntologyLintPattern

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

EquivalentAndSubclassAxiomPattern()

Method Summary

LintFormat	getDefaultLintFormat()
java.lang.String	getDescription()
java.lang.String	getName()
boolean	isFixable() Returns true if this pattern provides an automatic fix for every Lint it matches.
java.util.List<Lint>	match(org.semanticweb.owl.model.OWLOntology ontology) Match an OWLOntology and returns a list of Lint for the OWLOntology.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EquivalentAndSubclassAxiomPattern

public EquivalentAndSubclassAxiomPattern()

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in interface LintPattern

Returns:

The name of the pattern.

getDescription

public java.lang.String getDescription()

Specified by:

getDescription in interface LintPattern

Returns:

The detailed description of the pattern.

isFixable

public boolean isFixable()

Description copied from interface: LintPattern

Returns true if this pattern provides an automatic fix for every Lint it matches. An automatic fix for every Lint can be made available by calling Lint.setLintFixer(LintFixer).

Specified by:

isFixable in interface LintPattern

Returns:

true if this pattern provides an automatic fix for every Lint it matches.

See Also:

Lint.setLintFixer(LintFixer)

getDefaultLintFormat

public LintFormat getDefaultLintFormat()

Specified by:

getDefaultLintFormat in interface LintPattern

Returns:

The default LintFormat for this pattern.

See Also:

LintFormat

match

public java.util.List<Lint> match(org.semanticweb.owl.model.OWLOntology ontology)

Description copied from interface: OntologyLintPattern

Match an OWLOntology and returns a list of Lint for the OWLOntology.

Specified by:

match in interface OntologyLintPattern

Returns:

A possibly empty list of Lint for the OWLOntology. Never returns null.

See Also:

Lint