001/** 002 * Copyright (C) 2007 - 2016, Jens Lehmann 003 * 004 * This file is part of DL-Learner. 005 * 006 * DL-Learner is free software; you can redistribute it and/or modify 007 * it under the terms of the GNU General Public License as published by 008 * the Free Software Foundation; either version 3 of the License, or 009 * (at your option) any later version. 010 * 011 * DL-Learner is distributed in the hope that it will be useful, 012 * but WITHOUT ANY WARRANTY; without even the implied warranty of 013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 014 * GNU General Public License for more details. 015 * 016 * You should have received a copy of the GNU General Public License 017 * along with this program. If not, see <http://www.gnu.org/licenses/>. 018 */ 019package org.dllearner.core; 020 021import java.util.List; 022 023import org.semanticweb.owlapi.model.OWLAxiom; 024 025public interface AxiomLearningAlgorithm<T extends OWLAxiom> extends LearningAlgorithm { 026 027 028 029 /** 030 * @return The best axioms found by the learning algorithm so far. 031 */ 032 List<T> getCurrentlyBestAxioms(); 033 034 /** 035 * @param nrOfAxioms Limit for the number or returned axioms. 036 * @return The best axioms found by the learning algorithm so far. 037 */ 038 List<T> getCurrentlyBestAxioms(int nrOfAxioms); 039 040 /** 041 * @return The best evaluated axioms found by the learning algorithm so far. 042 */ 043 List<EvaluatedAxiom<T>> getCurrentlyBestEvaluatedAxioms(); 044 045 /** 046 * @param nrOfAxioms Limit for the number or returned evaluated axioms. 047 * @return The best evaluated axioms found by the learning algorithm so far. 048 */ 049 List<EvaluatedAxiom<T>> getCurrentlyBestEvaluatedAxioms(int nrOfAxioms); 050 051 List<EvaluatedAxiom<T>> getCurrentlyBestEvaluatedAxioms(int nrOfAxioms, 052 double accuracyThreshold); 053 054}