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.ref; 020 021import org.dllearner.core.LearningProblem; 022import org.semanticweb.owlapi.model.OWLClassExpression; 023import org.semanticweb.owlapi.model.OWLOntology; 024import org.semanticweb.owlapi.reasoner.OWLReasoner; 025 026/** 027 * @author Lorenz Buehmann 028 * 029 */ 030// not for conf 031public class ALCLearningAlgorithm extends RefinementOperatorBasedLearningAlgorithmBase<OWLClassExpression>{ 032 033 public ALCLearningAlgorithm(OWLOntology ontology, OWLReasoner reasoner) { 034 035 } 036 037 /* (non-Javadoc) 038 * @see org.dllearner.core.LearningAlgorithm#getLearningProblem() 039 */ 040 @Override 041 public LearningProblem getLearningProblem() { 042 return null; 043 } 044 045 /* (non-Javadoc) 046 * @see org.dllearner.core.LearningAlgorithm#setLearningProblem(org.dllearner.core.LearningProblem) 047 */ 048 @Override 049 public void setLearningProblem(LearningProblem learningProblem) { 050 } 051 052 /* (non-Javadoc) 053 * @see org.dllearner.core.ref.RefinementOperatorBasedLearningAlgorithmBase#computeStartNode() 054 */ 055 @Override 056 protected SearchTreeNode<OWLClassExpression> computeStartNode() { 057 return null; 058 } 059 060 /* (non-Javadoc) 061 * @see org.dllearner.core.ref.RefinementOperatorBasedLearningAlgorithmBase#getNextNodeToExpand() 062 */ 063 @Override 064 protected SearchTreeNode<OWLClassExpression> getNextNodeToExpand() { 065 return searchTree.getNodes().last(); 066 } 067 068 /* (non-Javadoc) 069 * @see org.dllearner.core.ref.RefinementOperatorBasedLearningAlgorithmBase#isValid(java.lang.Object) 070 */ 071 @Override 072 protected boolean isValid(OWLClassExpression refinement) { 073 return true; 074 } 075 076 /* (non-Javadoc) 077 * @see org.dllearner.core.ref.RefinementOperatorBasedLearningAlgorithmBase#terminationCriteriaSatisfied() 078 */ 079 @Override 080 protected boolean terminationCriteriaSatisfied() { 081 return false; 082 } 083 084}