com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern Maven / Gradle / Ivy
The newest version!
// Copyright (c) 2006 - 2008, Clark & Parsia, LLC.
// This source code is available under the terms of the Affero General Public License v3.
//
// Please see LICENSE.txt for full license terms, including the availability of proprietary exceptions.
// Questions, comments, or requests for clarification: [email protected]
package com.clarkparsia.pellint.lintpattern.axiom;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter;
import com.clarkparsia.pellint.lintpattern.LintPattern;
import com.clarkparsia.pellint.model.Lint;
/**
*
* Title: Axiom-based Lint Pattern Abstract Class
*
*
* Description: Provides convenience (protected) methods to create and set {@link com.clarkparsia.pellint.model.Lint},
* and methods to traverse an OWLAxiom (through OWLAxiomVisitorAdapter).
*
*
* Copyright: Copyright (c) 2008
*
*
* Company: Clark & Parsia, LLC.
*
*
* @author Harris Lin
*/
public abstract class AxiomLintPattern extends OWLAxiomVisitorAdapter implements LintPattern {
private Lint m_Lint;
private OWLOntology m_Ontology;
protected Lint makeLint() {
return new Lint(this, m_Ontology);
}
protected void setLint(Lint lint) {
m_Lint = lint;
}
/**
* Match an OWLAxiom and returns a {@link com.clarkparsia.pellint.model.Lint}
* for the axiom if found.
* Do not override this method.
* To create and return a {@link com.clarkparsia.pellint.model.Lint}, implementers of this class should
* call {@link #makeLint()} first, set any necessary information on the {@link com.clarkparsia.pellint.model.Lint},
* and lastly call {@link #setLint(Lint)}.
*
* @return {@link com.clarkparsia.pellint.model.Lint} for the OWLAxiom, otherwise null.
*
* @see com.clarkparsia.pellint.model.Lint
*/
public final Lint match(OWLOntology ontology, OWLAxiom axiom) {
m_Lint = null;
m_Ontology = ontology;
axiom.accept(this);
return m_Lint;
}
}