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.utilities.examples;
021
022 import java.util.SortedSet;
023 import java.util.TreeSet;
024
025 import org.apache.log4j.Logger;
026 import org.dllearner.core.AbstractReasonerComponent;
027 import org.dllearner.core.owl.Description;
028 import org.dllearner.core.owl.Individual;
029
030 public class AutomaticPositiveExampleFinderOWL {
031
032 // LOGGER: ComponentManager
033 private static Logger logger = Logger
034 .getLogger(AutomaticPositiveExampleFinderOWL.class);
035
036
037 private AbstractReasonerComponent reasoningService;
038
039 private SortedSet<Individual> posExamples;
040
041 public AutomaticPositiveExampleFinderOWL(AbstractReasonerComponent reasoningService) {
042
043 this.posExamples = new TreeSet<Individual>();
044 this.reasoningService = reasoningService;
045 }
046
047 //QUALITY resultsize is not accounted for
048 public void makePositiveExamplesFromConcept(Description concept){
049 logger.debug("making Positive Examples from Concept: "+concept);
050 this.posExamples.clear();
051 this.posExamples.addAll(reasoningService.getIndividuals(concept));
052 //this.posExamples = sparqltasks.retrieveInstancesForClassDescription(conceptKBSyntax, 0);
053 logger.debug("pos Example size: "+posExamples.size());
054 }
055
056
057 public SortedSet<Individual> getPosExamples() {
058 return posExamples;
059 }
060
061
062
063
064
065 }