com.clarkparsia.pellint.lintpattern.axiom
Class AxiomLintPattern

java.lang.Object
  org.semanticweb.owl.util.OWLAxiomVisitorAdapter
      com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern

All Implemented Interfaces:

LintPattern, org.semanticweb.owl.model.OWLAxiomVisitor

Direct Known Subclasses:

EquivalentToAllValuePattern, EquivalentToComplementPattern, EquivalentToTopPattern, GCIPattern, LargeCardinalityPattern, LargeDisjunctionPattern

public abstract class AxiomLintPattern
extends org.semanticweb.owl.util.OWLAxiomVisitorAdapter
implements LintPattern

Title: Axiom-based Lint Pattern Abstract Class

Description: Provides convenience (protected) methods to create and set Lint, and methods to traverse an OWLAxiom (through OWLAxiomVisitorAdapter).

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

AxiomLintPattern()

Method Summary

Lint	match(org.semanticweb.owl.model.OWLOntology ontology, org.semanticweb.owl.model.OWLAxiom axiom) Match an OWLAxiom and returns a Lint for the axiom if found.

Methods inherited from class org.semanticweb.owl.util.OWLAxiomVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.clarkparsia.pellint.lintpattern.LintPattern

getDefaultLintFormat, getDescription, getName, isFixable

Constructor Detail

AxiomLintPattern

public AxiomLintPattern()

Method Detail

match

public final Lint match(org.semanticweb.owl.model.OWLOntology ontology,
                        org.semanticweb.owl.model.OWLAxiom axiom)

Match an OWLAxiom and returns a Lint for the axiom if found. Do not override this method. To create and return a Lint, implementers of this class should call makeLint() first, set any necessary information on the Lint, and lastly call setLint(Lint).

Returns:

Lint for the OWLAxiom, otherwise null.

See Also:

Lint