Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep
Overview  Package   Class  Use  Deprecated  Index 
Home >> All >> com >> hp >> hpl >> jena >> reasoner >> rulesys >> [ test overview ]  PREV CLASS  NEXT CLASS
SUMMARY: JavaDoc of com.hp.hpl.jena.reasoner.rulesys.test.TestBugs JAVADOC | Sourc code of com.hp.hpl.jena.reasoner.rulesys.test.TestBugs SOURCE | Download com.hp.hpl.jena.reasoner.rulesys.test.TestBugs DOWNLOAD | NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

com.hp.hpl.jena.reasoner.rulesys.test
Class TestBugs  view TestBugs download TestBugs.java

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended bycom.hp.hpl.jena.reasoner.rulesys.test.TestBugs
All Implemented Interfaces:
junit.framework.Test
public class TestBugs
extends junit.framework.TestCase

Unit tests for reported bugs in the rule system.

Version:
$Revision: 1.33 $ on $Date: 2005/04/11 11:27:04 $

Field Summary
static java.lang.String INPUT_SUBCLASS
           
static java.lang.String INPUT_SUBPROPERTY
           
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestBugs(java.lang.String name)
          Boilerplate for junit
 
Method Summary
private  boolean anyInstancesOfNothing(com.hp.hpl.jena.rdf.model.Model model)
          Helper function used in testFunctorCCE
private  void assertIsProperty(com.hp.hpl.jena.rdf.model.Model m, com.hp.hpl.jena.rdf.model.Property prop)
           
 void hiddenTestOWLLoop()
          Test looping on recursive someValuesFrom.
static void main(java.lang.String[] args)
           
static com.hp.hpl.jena.rdf.model.Model modelFromN3(java.lang.String src)
          Utility function.
 void setUp()
          Sets up the fixture, for example, open a network connection.
static junit.framework.TestSuite suite()
          Boilerplate for junit.
private  void tempList(com.hp.hpl.jena.rdf.model.Model m, com.hp.hpl.jena.rdf.model.Resource s, com.hp.hpl.jena.rdf.model.Property p, com.hp.hpl.jena.rdf.model.RDFNode o)
           
 void test_der_validation()
          Problem with bindSchema and validation rules
 void test_domainInf()
          Bug report from David A Bigwood
 void test_oh_01()
          Bug report from Ole Hjalmar - direct subClassOf not reporting correct result with rule reasoner
private  void test_oh_01scan(com.hp.hpl.jena.ontology.OntModelSpec s, java.lang.String prompt, com.hp.hpl.jena.rdf.model.Resource[] expected)
           
 void testBindSchemaValidate()
          Test problem with bindSchema not interacting properly with validation.
 void testCardinality1()
          Report of problems with cardinality v.
 void testDAMLCCE()
          Report of functor literals leaking out in DAML processing as well.
 void testDAMLMicroReasonerSupports()
           
 void testDeleteBug()
          Test for a reported bug in delete
 void testEquivalentClass1()
          Test problems with inferring equivalence of some simple class definitions, reported by Jeffrey Hau.
 void testFunctorCCE()
          Report of functor literals leaking out of inference graphs and raising CCE in iterators.
 void testGenericDeleteBug()
          Delete bug in generic rule reasoner.
 void testHide()
          Test that prototype nodes are now hidden
 void testHideOnOWLThing()
          Bug that exposed prototypes of owl:Thing despite hiding being switched on.
 void testHideXSDRange()
          Also want to have hidden rb:xsdRange
 void testIntersectionNPE()
          Report of NPE during processing on an ontology with a faulty intersection list, from Hugh Winkler.
 void testLiteralBug()
          Test change of RDF specs to allow plain literals w/o lang and XSD string to be the same.
 void testOWLPropertyAxioms()
          Test reported problem with OWL property axioms.
 void testRangeBug()
          Test bug with leaking variables which results in an incorrect "range = Nothing" deduction.
 void testRETEDec()
          RETE incremental processing bug.
 void testRETEInc()
          RETE incremental processing bug.
 void testSomeDatatype()
          Limitation of someValuesFrom applied to datatype properties.
 void testSubClass()
          This test exposes an apparent problem in the reasoners.
 void testSubProperty()
          This test exposes an apparent problem in the reasoners.
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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

INPUT_SUBCLASS

public static final java.lang.String INPUT_SUBCLASS
See Also:
Constant Field Values

INPUT_SUBPROPERTY

public static final java.lang.String INPUT_SUBPROPERTY
See Also:
Constant Field Values
Constructor Detail

TestBugs

public TestBugs(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

setUp

public void setUp()
Description copied from class: junit.framework.TestCase
Sets up the fixture, for example, open a network connection. This method is called before a test is executed.

testIntersectionNPE

public void testIntersectionNPE()
Report of NPE during processing on an ontology with a faulty intersection list, from Hugh Winkler.

testCardinality1

public void testCardinality1()
Report of problems with cardinality v. maxCardinality usage in classification, from Hugh Winkler.

testFunctorCCE

public void testFunctorCCE()
Report of functor literals leaking out of inference graphs and raising CCE in iterators.

anyInstancesOfNothing

private boolean anyInstancesOfNothing(com.hp.hpl.jena.rdf.model.Model model)
Helper function used in testFunctorCCE

testDAMLCCE

public void testDAMLCCE()
Report of functor literals leaking out in DAML processing as well.

testSubClass

public void testSubClass()
This test exposes an apparent problem in the reasoners. If the input data is changed from daml:subClassOf to rdfs:subClassOf, the asserts all pass. As is, the assert for res has rdf:type cls1 fails.

testSubProperty

public void testSubProperty()
This test exposes an apparent problem in the reasoners. If the input data is changed from daml:subPropertyOf to rdfs:subPropertyOf, the asserts all pass. As is, the assert for a1 p a0 fails.

testEquivalentClass1

public void testEquivalentClass1()
Test problems with inferring equivalence of some simple class definitions, reported by Jeffrey Hau.

testOWLPropertyAxioms

public void testOWLPropertyAxioms()
Test reported problem with OWL property axioms.

testDeleteBug

public void testDeleteBug()
Test for a reported bug in delete

hiddenTestOWLLoop

public void hiddenTestOWLLoop()
Test looping on recursive someValuesFrom.

testRangeBug

public void testRangeBug()
Test bug with leaking variables which results in an incorrect "range = Nothing" deduction.

testLiteralBug

public void testLiteralBug()
Test change of RDF specs to allow plain literals w/o lang and XSD string to be the same.

testHide

public void testHide()
Test that prototype nodes are now hidden

testHideXSDRange

public void testHideXSDRange()
Also want to have hidden rb:xsdRange

testBindSchemaValidate

public void testBindSchemaValidate()
Test problem with bindSchema not interacting properly with validation.

testGenericDeleteBug

public void testGenericDeleteBug()
Delete bug in generic rule reasoner.

testRETEInc

public void testRETEInc()
RETE incremental processing bug.

testRETEDec

public void testRETEDec()
RETE incremental processing bug.

assertIsProperty

private void assertIsProperty(com.hp.hpl.jena.rdf.model.Model m,
                              com.hp.hpl.jena.rdf.model.Property prop)

testHideOnOWLThing

public void testHideOnOWLThing()
Bug that exposed prototypes of owl:Thing despite hiding being switched on.

testSomeDatatype

public void testSomeDatatype()
                      throws java.io.IOException
Limitation of someValuesFrom applied to datatype properties.

testDAMLMicroReasonerSupports

public void testDAMLMicroReasonerSupports()

modelFromN3

public static com.hp.hpl.jena.rdf.model.Model modelFromN3(java.lang.String src)
Utility function. Create a model from an N3 string with OWL and EG namespaces defined.

test_oh_01

public void test_oh_01()
Bug report from Ole Hjalmar - direct subClassOf not reporting correct result with rule reasoner

test_der_validation

public void test_der_validation()
Problem with bindSchema and validation rules

test_oh_01scan

private void test_oh_01scan(com.hp.hpl.jena.ontology.OntModelSpec s,
                            java.lang.String prompt,
                            com.hp.hpl.jena.rdf.model.Resource[] expected)

test_domainInf

public void test_domainInf()
Bug report from David A Bigwood

tempList

private void tempList(com.hp.hpl.jena.rdf.model.Model m,
                      com.hp.hpl.jena.rdf.model.Resource s,
                      com.hp.hpl.jena.rdf.model.Property p,
                      com.hp.hpl.jena.rdf.model.RDFNode o)

main

public static void main(java.lang.String[] args)
Overview  Package   Class  Use  Deprecated  Index 
Home >> All >> com >> hp >> hpl >> jena >> reasoner >> rulesys >> [ test overview ]  PREV CLASS  NEXT CLASS
SUMMARY: JavaDoc of com.hp.hpl.jena.reasoner.rulesys.test.TestBugs JAVADOC | Sourc code of com.hp.hpl.jena.reasoner.rulesys.test.TestBugs SOURCE | Download com.hp.hpl.jena.reasoner.rulesys.test.TestBugs DOWNLOAD | NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD