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

TestBasicLP
public class TestBasicLP extends TestCase (Code)
	Early test cases for the LP version of the backward chaining system. To be moved to a test directory once the code is working. author: Dave Reynolds version: $Revision: 1.18 $ on $Date: 2008/01/02 12:08:19 $

Field Summary
Node	C1
Node	C2
Node	C3
Node	C4
Node	D1
Node	D2
Node	D3
Node	a
Node	b
Node	c
Node	d
Node	e
Node	p
Node	q
Node	r
Node	s
Node	sC
Node	sP
Node	t
Node	ty
Node	u

Constructor Summary
public	TestBasicLP(String name)

Method Summary
public InfGraph	makeInfGraph(List rules, Graph data) Return an inference graph working over the given rule set and raw data.
public InfGraph	makeInfGraph(List rules, Graph data, Node[] tabled) Return an inference graph working over the given rule set and raw data.
public static TestSuite	suite() Boilerplate for junit.
public void	testArithBuiltins() Test 3-arg builtins such as arithmetic.
public void	testAxioms() Test axioms work.
public void	testBacktrack1() Test backtracking - simple triple query.
public void	testBacktrack10()
public void	testBacktrack2() Test backtracking - chain to simple triple query.
public void	testBacktrack3()
public void	testBacktrack4()
public void	testBacktrack5()
public void	testBacktrack6() Test backtracking - nested choice point with multiple triple matches, and checking temp v.
public void	testBacktrack7()
public void	testBacktrack8()
public void	testBacktrack9()
public void	testBaseRules1()
public void	testBaseRules2()
public void	testBaseRules3()
public void	testBaseRules4()
public void	testBaseRules5()
public void	testBaseRules6()
public void	testBaseRules7()
public void	testBaseRules8()
public void	testBaseRules9()
public void	testBuiltin1()
public void	testBuiltin2()
public void	testCME() Test that we detect concurrent modification of LP graphs with non-closed iterators.
public void	testClauseOrder()
public void	testFunctors1() Test functor usage.
public void	testFunctors2() Test functor usage.
public void	testFunctors3() Test functor usage.
public void	testListBuiltins()
public void	testNestedPvars()
public void	testProblem1() A problem from the original backchainer tests - interaction of tabling and functor expansion.
public void	testProblem2() A problem from the original backchainer tests - tabled closure operation.
public void	testProblem3()
public void	testProblem4()
public void	testProblem5()
public void	testProblem6()
public void	testProblem7() A problem from the original backchainer tests - incorrect additional deduction.
public void	testProblem8() A problem from the original backchainer tests - RDFS example which failed.
public void	testProblem9() A suspect problem, originally derived from the OWL rules - risk of unbound variables escaping.
public void	testRDFS1() Test RDFS example.
public void	testRDFS2()
public void	testRuleDerivations()
public void	testTabled1() Test tabled predicates.
public void	testTabled2() Test tabled predicates.
public void	testTabled3() Test tabled predicates.
public void	testTabled4() Test tabled predicates.
public void	testTabled5() Test tabled predicates.
public void	testTabled6() Test tabled predicates.
public void	testTabled7() Test tabled calls with aliased local vars in the call.
public void	testWildPredicate1() Test wildcard predicate usage - simple triple search.
public void	testWildPredicate2() Test wildcard predicate usage - combind triple search and multiclause matching.
public void	testWildPredicate3() Test wildcard predicate usage - combined triple search and multiclause matching.
public void	testWildPredicate4()

Field Detail

C1
Node C1(Code)

C2
Node C2(Code)

C3
Node C3(Code)

C4
Node C4(Code)

D1
Node D1(Code)

D2
Node D2(Code)

D3
Node D3(Code)

a
Node a(Code)

b
Node b(Code)

c
Node c(Code)

d
Node d(Code)

e
Node e(Code)

p
Node p(Code)

q
Node q(Code)

r
Node r(Code)

s
Node s(Code)

sC
Node sC(Code)

sP
Node sP(Code)

t
Node t(Code)

ty
Node ty(Code)

u
Node u(Code)

Constructor Detail

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

Method Detail

makeInfGraph
public InfGraph makeInfGraph(List rules, Graph data)(Code)
	Return an inference graph working over the given rule set and raw data. Can be overridden by subclasses of this test class. Parameters: rules - the rule set to use Parameters: data - the graph of triples to process

makeInfGraph
public InfGraph makeInfGraph(List rules, Graph data, Node[] tabled)(Code)
	Return an inference graph working over the given rule set and raw data. Can be overridden by subclasses of this test class. Parameters: rules - the rule set to use Parameters: data - the graph of triples to process Parameters: tabled - an array of predicates that should be tabled

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

testArithBuiltins
public void testArithBuiltins()(Code)
	Test 3-arg builtins such as arithmetic.

testAxioms
public void testAxioms()(Code)
	Test axioms work.

testBacktrack1
public void testBacktrack1()(Code)
	Test backtracking - simple triple query.

testBacktrack10
public void testBacktrack10()(Code)
	Test backtracking - multiple triple matches

testBacktrack2
public void testBacktrack2()(Code)
	Test backtracking - chain to simple triple query.

testBacktrack3
public void testBacktrack3()(Code)
	Test backtracking - simple choice point

testBacktrack4
public void testBacktrack4()(Code)
	Test backtracking - nested choice point

testBacktrack5
public void testBacktrack5()(Code)
	Test backtracking - nested choice point with multiple triple matches

testBacktrack6
public void testBacktrack6()(Code)
	Test backtracking - nested choice point with multiple triple matches, and checking temp v. permanent variable usage

testBacktrack7
public void testBacktrack7()(Code)
	Test backtracking - nested choice point with simple triple matches

testBacktrack8
public void testBacktrack8()(Code)
	Test backtracking - nested choice point with simple triple matches, permanent vars but used just once in body

testBacktrack9
public void testBacktrack9()(Code)
	Test backtracking - multiple triple matches

testBaseRules1
public void testBaseRules1()(Code)
	Test basic rule operations - lookup, no matching rules

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

testBaseRules3
public void testBaseRules3()(Code)
	Test basic rule operations - chain rule with head unification

testBaseRules4
public void testBaseRules4()(Code)
	Test basic rule operations - rule with head unification, non-temp var

testBaseRules5
public void testBaseRules5()(Code)
	Test basic rule operations - simple cascade

testBaseRules6
public void testBaseRules6()(Code)
	Test basic rule operations - chain rule which will fail at head time

testBaseRules7
public void testBaseRules7()(Code)
	Test basic rule operations - chain rule which will fail in search

testBaseRules8
public void testBaseRules8()(Code)
	Test basic rule operations - simple chain

testBaseRules9
public void testBaseRules9()(Code)
	Test basic rule operations - simple chain

testBuiltin1
public void testBuiltin1()(Code)
	Test simple invocation of a builtin

testBuiltin2
public void testBuiltin2()(Code)
	Test simple invocation of a builtin

testCME
public void testCME()(Code)
	Test that we detect concurrent modification of LP graphs with non-closed iterators.

testClauseOrder
public void testClauseOrder()(Code)
	Test clause order is right

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

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

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

testListBuiltins
public void testListBuiltins()(Code)
	Test the temporary list builtins

testNestedPvars
public void testNestedPvars()(Code)
	Test nested invocation of rules with permanent vars

testProblem1
public void testProblem1()(Code)
	A problem from the original backchainer tests - interaction of tabling and functor expansion.

testProblem2
public void testProblem2()(Code)
	A problem from the original backchainer tests - tabled closure operation.

testProblem3
public void testProblem3()(Code)
	A problem from the original backchainer tests - bound/unbound primitives

testProblem4
public void testProblem4()(Code)
	A problem from the original backchainer tests - head unification test

testProblem5
public void testProblem5()(Code)
	A problem from the original backchainer tests - RDFS example which threw an NPE

testProblem6
public void testProblem6()(Code)
	A problem from the original backchainer tests - RDFS example which threw an NPE

testProblem7
public void testProblem7()(Code)
	A problem from the original backchainer tests - incorrect additional deduction. Was due to interpeter setup failing to clone input variables.

testProblem8
public void testProblem8()(Code)
	A problem from the original backchainer tests - RDFS example which failed. Was due to unsupported multi-head statement.

testProblem9
public void testProblem9()(Code)
	A suspect problem, originally derived from the OWL rules - risk of unbound variables escaping. Not managed to isolate or reproduce the problem yet.

testRDFS1
public void testRDFS1()(Code)
	Test RDFS example.

testRDFS2
public void testRDFS2()(Code)
	Test RDFS example - branched version

testRuleDerivations
public void testRuleDerivations()(Code)
	Test derivation machinery

testTabled1
public void testTabled1()(Code)
	Test tabled predicates. Simple chain call case.

testTabled2
public void testTabled2()(Code)
	Test tabled predicates. Simple transitive closure case.

testTabled3
public void testTabled3()(Code)
	Test tabled predicates. Simple transitive closure over normal predicates

testTabled4
public void testTabled4()(Code)
	Test tabled predicates. Co-routining example.

testTabled5
public void testTabled5()(Code)
	Test tabled predicates. Simple transitive closure case.

testTabled6
public void testTabled6()(Code)
	Test tabled predicates. Simple transitive closure case, tabling set by rule base.

testTabled7
public void testTabled7()(Code)
	Test tabled calls with aliased local vars in the call.

testWildPredicate1
public void testWildPredicate1()(Code)
	Test wildcard predicate usage - simple triple search. Rules look odd because we have to hack around the recursive loops.

testWildPredicate2
public void testWildPredicate2()(Code)
	Test wildcard predicate usage - combind triple search and multiclause matching. Rules look odd because we have to hack around the recursive loops.

testWildPredicate3
public void testWildPredicate3()(Code)
	Test wildcard predicate usage - combined triple search and multiclause matching. Rules look odd because we have to hack around the recursive loops.

testWildPredicate4
public void testWildPredicate4()(Code)
	Test wildcard predicate usage - wildcard in head as well

w___w_w__._jav___a_2__s_.c__o_m___ | Contact Us

All other trademarks are property of their respective owners.