com.clarkparsia.pellint.lintpattern.axiom

Class AxiomLintPattern

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern

All Implemented Interfaces:

LintPattern, org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Direct Known Subclasses:

EquivalentToAllValuePattern, EquivalentToComplementPattern, EquivalentToMaxCardinalityPattern, EquivalentToTopPattern, GCIPattern, LargeCardinalityPattern, LargeDisjunctionPattern

public abstract class AxiomLintPattern
extends org.semanticweb.owlapi.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

Constructors

Constructor and Description
AxiomLintPattern()

Method Summary

Modifier and Type	Method and Description
protected Lint	makeLint()
Lint	match(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLAxiom axiom) Match an OWLAxiom and returns a Lint for the axiom if found.
protected void	setLint(Lint lint)

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

handleDefault, 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, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

makeLint

protected Lint makeLint()

setLint

protected void setLint(Lint lint)

match

public final Lint match(org.semanticweb.owlapi.model.OWLOntology ontology,
                        org.semanticweb.owlapi.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