org.semanticweb.owlapitools.decomposition.LocalityChecker Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of owlapi-distribution Show documentation

There is a newer version: 5.5.1

package org.semanticweb.owlapitools.decomposition;

import java.util.Collection;

import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLObject;

/** @author ignazio Locality checker */
public interface LocalityChecker {
    /** @param axiom
     *            axiom to check
     * @return true if axiom is local */
    boolean local(OWLAxiom axiom);

    /** allow the checker to preprocess an ontology if necessary
     *
     * @param vec
     *            collection of axioms */
    void preprocessOntology(Collection vec);

    /** @param sig
     *            signature to use */
    void setSignatureValue(Signature sig);

    /** @return signature being used */
    Signature getSignature();

    /** @param expr
     *            expression to evaluate
     * @return true if expr is top equivalent */
    boolean isTopEquivalent(OWLObject expr);

    /** @param expr
     *            expression to evaluate
     * @return true if expr is bottom equivalent */
    boolean isBotEquivalent(OWLObject expr);
}