src/examples/QuickTest.java

	QuickTest.java revision 20
package examples;

import java.io.FileNotFoundException;
import java.net.URISyntaxException;

import org.mindswap.owl.OWLFactory;
import org.mindswap.owl.OWLKnowledgeBase;
import org.mindswap.owls.service.Service;

/**
 * This class is intended for the developers of the API to perform quick tests.
 * Do use this class for whatever you intend to, but do never ask for support :-)
 *
 * @author Michael D�nzer, University of Zurich
 * @date 16.01.2007
 */
public class QuickTest {
    private OWLKnowledgeBase kb;

    public static void main(String[] args) {
        QuickTest test = new QuickTest();
        test.pelletErrorTest();
    }

    public QuickTest() {
        kb = OWLFactory.createKB();
        kb.setReasoner("Pellet");
    }

    private void pelletErrorTest() {
        kb.getReader().getCache().setLocalCacheDirectory("E://Workspaces//NExT//Ontologies//ont_cache");
        kb.getReader().getCache().setForced(true);

        Service service;
        try {
            service = kb.readService("http://www.ifi.unizh.ch/ddis/ont/next/ProcessSpace/Projectgigimgii.owl#gigimgii");
            service.getOntology().write(System.out);
            service.deleteProcess();
            service.getOntology().write(System.out);
        } catch (FileNotFoundException e) {
            e.printStackTrace();
        } catch (URISyntaxException e) {
            e.printStackTrace();
        }
    }
}