it.unife.endif.ml.bundle.utilities.ReasonerResult Maven / Gradle / Ivy

Go to download
/**
 *  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.endif.ml.bundle.utilities;

import java.util.Collections;
import java.util.Set;
import org.mindswap.pellet.utils.Timers;
import org.semanticweb.owlapi.model.OWLAxiom;

/**
 *
 * @author Giuseppe Cota 
 */
public class ReasonerResult {

    /**
     * The query used to obtain the explanations.
     */
    private OWLAxiom query;
    
    private Timers timers;

    public ReasonerResult(OWLAxiom query, Timers timers) {
        this.query = query;
        this.timers = timers;
    }

    /**
     * @return the query
     */
    public OWLAxiom getQuery() {
        return query;
    }

    /**
     * @return the timers
     */
    public Timers getTimers() {
        return timers;
    }

}