org.dllearner.test.junit
Class ReasonerTests

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

public class ReasonerTests
extends Object

A suite of JUnit tests related to the DL-Learner reasoning.

Author:

Jens Lehmann

Constructor Summary

ReasonerTests()

Method Summary

void	fastInstanceCheck2()
void	fastInstanceCheck3()
void	fastInstanceCheckTest() Test of fast instance check algorithm on carcinogenesis data set.
KB	getSimpleKnowledgeBase()
void	instanceCheckTest() Performs an instance checks on all reasoner components to verify that they all return the correct result.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReasonerTests

public ReasonerTests()

Method Detail

getSimpleKnowledgeBase

public KB getSimpleKnowledgeBase()

instanceCheckTest

public void instanceCheckTest()

Performs an instance checks on all reasoner components to verify that they all return the correct result.

fastInstanceCheckTest

public void fastInstanceCheckTest()
                           throws ComponentInitException,
                                  ParseException

Test of fast instance check algorithm on carcinogenesis data set.

Throws:

ComponentInitException

ParseException

fastInstanceCheck2

public void fastInstanceCheck2()
                        throws ComponentInitException,
                               ParseException

Throws:

ComponentInitException

ParseException

fastInstanceCheck3

public void fastInstanceCheck3()
                        throws MalformedURLException,
                               ComponentInitException,
                               ParseException

Throws:

MalformedURLException

ComponentInitException

ParseException