it.unife.ml.probowlapi.core.ExplanationReasoner Maven / Gradle / Ivy

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

This package encapsulates OWL API adding tools for managing DISPONTE probabilistic semantics. Used by the reasoner BUNDLE.

The newest version!

/**
 *  This file is part of BUNDLE.
 *
 *  BUNDLE is a probabilistic reasoner for OWL 2 ontologies.
 *
 *  BUNDLE can be used both as module and as standalone.
 *
 *  LEAP was implemented as a plugin of DL-Learner http://dl-learner.org,
 *  but some components can be used as stand-alone.
 *
 *  BUNDLE and all its parts are distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see .
 *
 */
package it.unife.ml.probowlapi.core;

import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLException;
import it.unife.ml.probowlapi.exception.ObjectNotInitializedException;

/**
 * Interface for a reasoner that returns the set of explanations of a query.
 *
 * @author Giuseppe Cota 
 */
public interface ExplanationReasoner extends Reasoner {

    /**
     * Computes the explanations of a given query.
     *
     * @param query the axiom to compute the set of explanations
     * @return the set of explanations
     * @throws OWLException
     * @throws it.unife.ml.probowlapi.exception.ObjectNotInitializedException
     */
    public ExplanationReasonerResult explainAxiom(OWLAxiom query)
            throws OWLException, ObjectNotInitializedException;

    public void setMaxExplanations(int maxExplanations);

    public int getMaxExplanations();
}