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}