Java Doc for TestBackchainer.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 .TestBackchainer

TestBackchainer
public class TestBackchainer extends TestCase (Code)
	Test harness for the backward chainer. Parameterizable in subclasses by overriding createReasoner. The original version was developed for the original backchaining interpeter. That has now been obsoleted at this is now used to double check the LP engine, though the bulk of such tests are really done by TestBasicLP. author: Dave Reynolds version: $Revision: 1.38 $ on $Date: 2008/01/02 12:08:19 $

Field Summary
protected Node	C1
protected Node	C2
protected Node	C3
protected Node	a
protected Node	b
protected Node	c
protected Node	d
Triple[]	dataElts
protected Node	p
protected Node	q
protected Node	r
protected Node	s
protected Node	sC
protected Node	sP
protected Node	t
String	testRuleAxioms
String	testRules1
protected Node	ty

Constructor Summary
public	TestBackchainer(String name)

Method Summary
public Reasoner	createReasoner(List rules) Override in subclasses to test other reasoners.
public static TestSuite	suite() Boilerplate for junit.
public void	testBaseRules1()
public void	testBaseRules2()
public void	testBaseRules2b()
public void	testBaseRules3() Test basic rule operations - simple AND rule check with tabling.
public void	testBaseRules3b() Test basic rule operations - simple AND rule check with tabling.
public void	testBaseRules4() Test basic rule operations - simple AND/OR with tabling.
public void	testBaseRulesXSB1() Test basic rule operations - simple AND/OR with tabling.
public void	testBug1()
public void	testBuiltin1() Test basic builtin usage.
public void	testBuiltin2() Test basic builtin usage.
public void	testBuiltin3() Test basic builtin usage.
public void	testClose() Test close and halt operation.
public void	testFunctors1() Test basic functor usage.
public void	testFunctors2() Test basic functor usage.
public void	testFunctors3() Test basic functor usage.
public void	testGroundHead() Test basic ground head patterns.
public void	testHeadUnify()
public void	testListData() Check that a reasoner over an empty rule set accesses the raw data successfully.
public void	testParse()
public void	testRDFSProblems()
public void	testRDFSProblemsb()
public void	testRebind()
public void	testRestriction1()
public void	testRestriction2() Test restriction example.
public void	testRestriction3()
public void	testUnify() Test goal/head unify operation.

Field Detail

C1
protected Node C1(Code)

C2
protected Node C2(Code)

C3
protected Node C3(Code)

a
protected Node a(Code)

b
protected Node b(Code)

c
protected Node c(Code)

d
protected Node d(Code)

dataElts
Triple[] dataElts(Code)

p
protected Node p(Code)

q
protected Node q(Code)

r
protected Node r(Code)

s
protected Node s(Code)

sC
protected Node sC(Code)

sP
protected Node sP(Code)

t
protected Node t(Code)

testRuleAxioms
String testRuleAxioms(Code)

testRules1
String testRules1(Code)

ty
protected Node ty(Code)

Constructor Detail

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

Method Detail

createReasoner
public Reasoner createReasoner(List rules)(Code)
	Override in subclasses to test other reasoners.

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

testBaseRules1
public void testBaseRules1()(Code)
	Test basic rule operations - simple AND rule

testBaseRules2
public void testBaseRules2()(Code)
	Test basic rule operations - simple OR rule

testBaseRules2b
public void testBaseRules2b()(Code)
	Test basic rule operations - simple OR rule with chaining

testBaseRules3
public void testBaseRules3()(Code)
	Test basic rule operations - simple AND rule check with tabling.

testBaseRules3b
public void testBaseRules3b()(Code)
	Test basic rule operations - simple AND rule check with tabling.

testBaseRules4
public void testBaseRules4()(Code)
	Test basic rule operations - simple AND/OR with tabling.

testBaseRulesXSB1
public void testBaseRulesXSB1()(Code)
	Test basic rule operations - simple AND/OR with tabling.

testBug1
public void testBug1() throws IOException(Code)
	Test problematic rdfs case

testBuiltin1
public void testBuiltin1()(Code)
	Test basic builtin usage.

testBuiltin2
public void testBuiltin2()(Code)
	Test basic builtin usage.

testBuiltin3
public void testBuiltin3()(Code)
	Test basic builtin usage.

testClose
public void testClose()(Code)
	Test close and halt operation.

testFunctors1
public void testFunctors1()(Code)
	Test basic functor usage.

testFunctors2
public void testFunctors2()(Code)
	Test basic functor usage.

testFunctors3
public void testFunctors3()(Code)
	Test basic functor usage.

testGroundHead
public void testGroundHead()(Code)
	Test basic ground head patterns.

testHeadUnify
public void testHeadUnify()(Code)
	Test complex rule head unification

testListData
public void testListData()(Code)
	Check that a reasoner over an empty rule set accesses the raw data successfully.

testParse
public void testParse()(Code)
	Test parser modes to support backarrow notation are working

testRDFSProblems
public void testRDFSProblems()(Code)
	Test troublesome rdfs rules

testRDFSProblemsb
public void testRDFSProblemsb()(Code)
	Test troublesome rdfs rules

testRebind
public void testRebind()(Code)
	Test rebind operation

testRestriction1
public void testRestriction1()(Code)
	Test restriction example

testRestriction2
public void testRestriction2()(Code)
	Test restriction example. The rules are more than the minimum required to solve the query and they interact to given run away seaches if there is a problem.

testRestriction3
public void testRestriction3()(Code)
	Test restriction example

testUnify
public void testUnify()(Code)
	Test goal/head unify operation.

w_w_w.j__a___v_a__2_s._c___o_m___ | Contact Us

All other trademarks are property of their respective owners.