Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> hp >> hpl >> jena >> reasoner >> rulesys >> [ test overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

com.hp.hpl.jena.reasoner.rulesys.test
Class TestOWLConsistency  

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          com.hp.hpl.jena.reasoner.rulesys.test.TestOWLConsistency

All Implemented Interfaces:

junit.framework.Test

---

public class TestOWLConsistency

extends junit.framework.TestCase

Test the preliminary OWL validation rules.

Version:

$Revision: 1.5 $ on $Date: 2005/04/11 11:27:04 $

---

Field Summary
static com.hp.hpl.jena.reasoner.Reasoner	reasonerCache           A cached copy of the bound reasoner
static java.lang.String	testTbox           The tbox/ontology file to test against sample data

 

Fields inherited from class junit.framework.TestCase

 

Constructor Summary

TestOWLConsistency(java.lang.String name)           Boilerplate for junit

 

Method Summary
private  boolean	doTestOn(java.lang.String dataFile)           Run a single consistency test on the given data file.
com.hp.hpl.jena.reasoner.Reasoner	makeReasoner()           Create, or retrieve from cache, an OWL reasoner already bound to the test tbox.
static junit.framework.TestSuite	suite()           Boilerplate for junit.
void	testConsistent()           Should be consistent.
void	testInconsistent1()           Should find problem due to overlap of disjoint classes.
void	testInconsistent2()           Should find problem due to type violations
void	testInconsistent3()           Should find problem due to count violations
void	testInconsistent4()           Should find distinct values for a functional property
void	testInconsistent5()           Should find type clash due to allValuesFrom rdfs:Literal

 

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

 

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Field Detail

testTbox

public static final java.lang.String testTbox

The tbox/ontology file to test against sample data

See Also:

Constant Field Values

---

reasonerCache

public static com.hp.hpl.jena.reasoner.Reasoner reasonerCache

A cached copy of the bound reasoner

Constructor Detail

TestOWLConsistency

public TestOWLConsistency(java.lang.String name)

Boilerplate for junit

Method Detail

suite

public static junit.framework.TestSuite suite()

Boilerplate for junit. This is its own test suite

---

makeReasoner

public com.hp.hpl.jena.reasoner.Reasoner makeReasoner()

Create, or retrieve from cache, an OWL reasoner already bound to the test tbox.

---

testConsistent

public void testConsistent()

Should be consistent.

---

testInconsistent1

public void testInconsistent1()

Should find problem due to overlap of disjoint classes.

---

testInconsistent2

public void testInconsistent2()

Should find problem due to type violations

---

testInconsistent3

public void testInconsistent3()

Should find problem due to count violations

---

testInconsistent4

public void testInconsistent4()

Should find distinct values for a functional property

---

testInconsistent5

public void testInconsistent5()

Should find type clash due to allValuesFrom rdfs:Literal

---

doTestOn

private boolean doTestOn(java.lang.String dataFile)

Run a single consistency test on the given data file.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> hp >> hpl >> jena >> reasoner >> rulesys >> [ test overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---