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 java.util.Set;
009import org.semanticweb.owlapi.model.OWLAxiom;
010import javax.annotation.Nonnull;
011
012/**
013 *
014 * @author Giuseppe Cota <giuseppe.cota@unife.it>
015 */
016public class OWLProbExplanationReasonerResult extends OWLProbReasonerResult {
017    
018    private Set<Set<OWLAxiom>> explanations;
019
020    public OWLProbExplanationReasonerResult(@Nonnull OWLAxiom axiom, @Nonnull Double probability, Set<Set<OWLAxiom>> explanations) {
021        super(axiom, probability);
022        this.explanations = explanations;
023    }
024
025    /**
026     * @return the explanations
027     */
028    public Set<Set<OWLAxiom>> getExplanations() {
029        return explanations;
030    }
031    
032}