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 expression is top equivalent
     */
    boolean isTopEquivalent(OWLObject expr);

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