001/*
002 * To change this license header, choose License Headers in Project Properties.
003 * To change this template file, choose Tools | Templates
004 * and open the template in the editor.
005 */
006package org.dllearner.core.probabilistic.unife;
007
008import org.semanticweb.owlapi.model.OWLAxiom;
009import org.semanticweb.owlapi.model.OWLException;
010
011/**
012 * This marker interface for those probabilistic reasoner that returns the
013 * set of explanations as well.
014 * 
015 * @author Giuseppe Cota <giuseppe.cota@unife.it>
016 */
017public interface OWLProbabilisticExplanationReasoner extends OWLProbabilisticReasoner {
018    
019    public OWLProbExplanationReasonerResult computeQueryWithExplanations(OWLAxiom axiom) 
020            throws OWLException;
021            
022}