001    /**
002     * Copyright (C) 2007-2011, 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     */
019    
020    package org.dllearner.learningproblems;
021    
022    import java.util.Set;
023    
024    import org.dllearner.core.EvaluatedDescription;
025    import org.dllearner.core.owl.Description;
026    import org.dllearner.core.owl.Individual;
027    
028    /**
029     * @author Jens Lehmann
030     *
031     */
032    public class EvaluatedDescriptionPosOnly extends EvaluatedDescription {
033    
034            private static final long serialVersionUID = 4014754537024635033L;
035            private ScorePosOnly score2;
036            
037            public EvaluatedDescriptionPosOnly(Description description, ScorePosOnly score) {
038                    super(description, score);
039                    score2 = score;
040            }
041    
042            @Override
043            public String toString() {
044                    return description.toString() + "(accuracy: " + getAccuracy() + ")";
045            }
046            
047            /**
048             * @see org.dllearner.learningproblems.ScorePosNeg#getCoveredPositives()
049             * @return Positive examples covered by the description.
050             */
051            public Set<Individual> getCoveredPositives() {
052                    return score2.getCoveredInstances();
053            }       
054            
055            public Set<Individual> getNotCoveredPositives() {
056                    return score2.getNotCoveredPositives();
057            }               
058            
059            public Set<Individual> getAdditionalInstances() {
060                    return score2.getAdditionalInstances();
061            }
062    }