org.dllearner.test.junit
Class ELDownTests

java.lang.Object
  org.dllearner.test.junit.ELDownTests

public class ELDownTests
extends Object

Tests related to the EL downward refinement operator.

Author:

Jens Lehmann

Constructor Summary

ELDownTests()

Method Summary

void	asTest()
void	test1() Implementation of test case created by Christoph Haase for new operator.
void	test2()
void	test3()
void	test4()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ELDownTests

public ELDownTests()

Method Detail

test1

public void test1()
           throws ParseException,
                  ComponentInitException,
                  IOException

Implementation of test case created by Christoph Haase for new operator.

Throws:

ParseException - Thrown if concept syntax does not correspond to current KB syntax.

ComponentInitException

IOException

test2

public void test2()
           throws ParseException,
                  IOException

Throws:

ParseException

IOException

test3

public void test3()
           throws ParseException,
                  IOException

Throws:

ParseException

IOException

test4

public void test4()
           throws ComponentInitException,
                  ParseException,
                  IOException

Throws:

ComponentInitException

ParseException

IOException

asTest

public void asTest()
            throws ComponentInitException,
                   MalformedURLException

Throws:

ComponentInitException

MalformedURLException