com.clarkparsia.pellint.lintpattern.axiom

Class LargeCardinalityPattern

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern

com.clarkparsia.pellint.lintpattern.axiom.LargeCardinalityPattern

All Implemented Interfaces:

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

public class LargeCardinalityPattern
extends AxiomLintPattern

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

Constructors

Constructor and Description
LargeCardinalityPattern()

Method Summary

Modifier and Type	Method and Description
LintFormat	getDefaultLintFormat()
String	getDescription()
String	getName()
boolean	isFixable() Returns true if this pattern provides an automatic fix for every Lint it matches.
void	setMaxAllowed(int value)
void	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)

Methods inherited from class com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern

makeLint, match, setLint

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

Methods inherited from class java.lang.Object

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

Constructor Detail

LargeCardinalityPattern

public LargeCardinalityPattern()

Method Detail

getName

public String getName()

Returns:

The name of the pattern.

getDescription

public String getDescription()

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

Returns:

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

See Also:

Lint.setLintFixer(LintFixer)

getDefaultLintFormat

public LintFormat getDefaultLintFormat()

Returns:

The default LintFormat for this pattern.

See Also:

LintFormat

setMaxAllowed

public void setMaxAllowed(int value)

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter