001    /**
002     * Copyright (C) 2007-2009, 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.test.junit;
021    
022    import org.dllearner.core.ReasonerComponent;
023    import org.dllearner.core.owl.Description;
024    import org.dllearner.parser.KBParser;
025    import org.dllearner.parser.ParseException;
026    import org.dllearner.test.junit.TestOntologies.TestOntology;
027    import org.dllearner.utilities.owl.DescriptionMinimizer;
028    import org.junit.Test;
029    
030    /**
031     * Tests for minimizing class descriptions.
032     * 
033     * @author Jens Lehmann
034     *
035     */
036    public class MinimizeTests {
037    
038            @Test
039            public void minimizeTest1() throws ParseException {
040                    ReasonerComponent reasoner = TestOntologies.getTestOntology(TestOntology.FATHER_OE);
041                    DescriptionMinimizer minimizer = new DescriptionMinimizer(reasoner);
042                    Description d = KBParser.parseConcept("(\"http://example.com/father#male\" AND (\"http://example.com/father#male\" OR EXISTS \"http://example.com/father#hasChild\".TOP))");            
043                    Description minD = minimizer.minimize(d);
044                    assert(minD.toString().equals("http://example.com/father#male"));
045            }
046    }