Java Doc for TestBugs.java in » RSS-RDF » Jena-2.5.5 » com » hp » hpl » jena » reasoner » rulesys » test » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation

1.	6.0 JDK Core
2.	6.0 JDK Modules
3.	6.0 JDK Modules com.sun
4.	6.0 JDK Modules com.sun.java
5.	6.0 JDK Modules sun
6.	6.0 JDK Platform
7.	Ajax
8.	Apache Harmony Java SE
9.	Aspect oriented
10.	Authentication Authorization
11.	Blogger System
12.	Build
13.	Byte Code
14.	Cache
15.	Chart
16.	Chat
17.	Code Analyzer
18.	Collaboration
19.	Content Management System
20.	Database Client
21.	Database DBMS
22.	Database JDBC Connection Pool
23.	Database ORM
24.	Development
25.	EJB Server geronimo
26.	EJB Server GlassFish
27.	EJB Server JBoss 4.2.1
28.	EJB Server resin 3.1.5
29.	ERP CRM Financial
30.	ESB
31.	Forum
32.	GIS
33.	Graphic Library
34.	Groupware
35.	HTML Parser
36.	IDE
37.	IDE Eclipse
38.	IDE Netbeans
39.	Installer
40.	Internationalization Localization
41.	Inversion of Control
42.	Issue Tracking
43.	J2EE
44.	JBoss
45.	JMS
46.	JMX
47.	Library
48.	Mail Clients
49.	Net
50.	Parser
51.	PDF
52.	Portal
53.	Profiler
54.	Project Management
55.	Report
56.	RSS RDF
57.	Rule Engine
58.	Science
59.	Scripting
60.	Search Engine
61.	Security
62.	Sevlet Container
63.	Source Control
64.	Swing Library
65.	Template Engine
66.	Test Coverage
67.	Testing
68.	UML
69.	Web Crawler
70.	Web Framework
71.	Web Mail
72.	Web Server
73.	Web Services
74.	Web Services apache cxf 2.0.1
75.	Web Services AXIS2
76.	Wiki Engine
77.	Workflow Engines
78.	XML
79.	XML UI

Java

Java Tutorial

Illustrator Tutorials

GIMP Tutorials

C# / C Sharp

C# / CSharp Tutorial

C# / CSharp Open Source

SQL Server / T-SQL Tutorial

Oracle PL / SQL

Oracle PL/SQL Tutorial

Flash / Flex / ActionScript

VBA / Excel / Access / Word

XML

XML Tutorial

Microsoft Office PowerPoint 2007 Tutorial

Microsoft Office Excel 2007 Tutorial

Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » RSS RDF » Jena 2.5.5 » com.hp.hpl.jena.reasoner.rulesys.test

Source Cross Reference

Class Diagram

Java Document (Java Doc)

com.hp.hpl.jena.reasoner.rulesys.test .TestBugs

TestBugs
public class TestBugs extends TestCase (Code)
	Unit tests for reported bugs in the rule system. author: Dave Reynolds version: $Revision: 1.53 $ on $Date: 2008/01/14 16:07:49 $

Field Summary
final public static String	INPUT_SUBCLASS
final public static String	INPUT_SUBPROPERTY

Constructor Summary
public	TestBugs(String name)

Method Summary
public void	hiddenTestOWLLoop() Test looping on recursive someValuesFrom.
public static Model	modelFromN3(String src) Utility function.
public void	setUp()
public static TestSuite	suite() Boilerplate for junit.
public void	testBackwardDupRemoval()
public void	testBindSchemaValidate() Test problem with bindSchema not interacting properly with validation.
public void	testCMEInTrans()
public void	testCardinality1() Report of problems with cardinality v.
public void	testDAMLMicroReasonerSupports()
public void	testDeductionListener()
public void	testDeleteBug()
public void	testDeteleBug2() Test bug caused by caching of deductions models.
public void	testEmptyRemove() test remove operator in case with empty data.
public void	testEquivalentClass1() Test problems with inferring equivalence of some simple class definitions, reported by Jeffrey Hau.
public void	testFactChainRules() Test chainging rules from axioms which broke while trying to fix about test case.
public void	testFactRules() Fact rules with non-empty bodyies failed to fire.
public void	testFunctorCCE() Report of functor literals leaking out of inference graphs and raising CCE in iterators.
public void	testGenericDeleteBug() Delete bug in generic rule reasoner.
public void	testGroundClosure()
public void	testHide()
public void	testHideOnOWLThing() Bug that exposed prototypes of owl:Thing despite hiding being switched on.
public void	testHideXSDRange()
public void	testIncrementalIU() Bug report - intersection processing does not work incrementally.
public void	testIndCardValidation()
public void	testIntersectionNPE() Report of NPE during processing on an ontology with a faulty intersection list, from Hugh Winkler.
public void	testLiteralBug() Test change of RDF specs to allow plain literals w/o lang and XSD string to be the same.
public void	testNonmonotonicCR() Bug report on bad conflict resolution between two non-monotonic rules.
public void	testOWLPropertyAxioms() Test reported problem with OWL property axioms.
public void	testOntModelGetDeductions()
public void	testRETEDec() RETE incremental processing bug.
public void	testRETEInc() RETE incremental processing bug.
public void	testRangeBug() Test bug with leaking variables which results in an incorrect "range = Nothing" deduction.
public void	testSomeDatatype() Limitation of someValuesFrom applied to datatype properties.
public void	testSubClass() This test exposes an apparent problem in the reasoners.
public void	testSubProperty() This test exposes an apparent problem in the reasoners.
public void	test_der_validation()
public void	test_domainInf()
public void	test_oh_01()

Field Detail

INPUT_SUBCLASS
final public static String INPUT_SUBCLASS(Code)

INPUT_SUBPROPERTY
final public static String INPUT_SUBPROPERTY(Code)

Constructor Detail

TestBugs
public TestBugs(String name)(Code)
	Boilerplate for junit

Method Detail

hiddenTestOWLLoop
public void hiddenTestOWLLoop()(Code)
	Test looping on recursive someValuesFrom.

modelFromN3
public static Model modelFromN3(String src)(Code)
	Utility function. Create a model from an N3 string with OWL and EG namespaces defined.

setUp
public void setUp()(Code)

suite
public static TestSuite suite()(Code)
	Boilerplate for junit. This is its own test suite

testBackwardDupRemoval
public void testBackwardDupRemoval()(Code)
	test duplicate removal when using pure backward rules

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

testCMEInTrans
public void testCMEInTrans()(Code)
	Test case for a reported CME bug in the transitive reasoner

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

testDAMLMicroReasonerSupports
public void testDAMLMicroReasonerSupports()(Code)

testDeductionListener
public void testDeductionListener()(Code)
	Listeners on deductions graph should be preserved across rebind operations

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

testDeteleBug2
public void testDeteleBug2()(Code)
	Test bug caused by caching of deductions models.

testEmptyRemove
public void testEmptyRemove()(Code)
	test remove operator in case with empty data.

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

testFactChainRules
public void testFactChainRules()(Code)
	Test chainging rules from axioms which broke while trying to fix about test case.

testFactRules
public void testFactRules()(Code)
	Fact rules with non-empty bodyies failed to fire.

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

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

testGroundClosure
public void testGroundClosure()(Code)
	Test closure of grounded choice points

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

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

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

testIncrementalIU
public void testIncrementalIU()(Code)
	Bug report - intersection processing does not work incrementally.

testIndCardValidation
public void testIndCardValidation()(Code)
	Test case for reported problem in detecting cardinality violations

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

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

testNonmonotonicCR
public void testNonmonotonicCR()(Code)
	Bug report on bad conflict resolution between two non-monotonic rules.

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

testOntModelGetDeductions
public void testOntModelGetDeductions()(Code)
	Problems with getDeductionsModel not rerunning prepare at OntModel level

testRETEDec
public void testRETEDec()(Code)
	RETE incremental processing bug.

testRETEInc
public void testRETEInc()(Code)
	RETE incremental processing bug.

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

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

testSubClass
public void testSubClass()(Code)
	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()(Code)
	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.

test_der_validation
public void test_der_validation()(Code)
	Problem with bindSchema and validation rules

test_domainInf
public void test_domainInf()(Code)
	Bug report from David A Bigwood

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

ww___w.___jav___a2___s___.__c_om___ | Contact Us

All other trademarks are property of their respective owners.