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
Java Open Source
Jar File Download
Java Articles
Java Products
Java by API
Photoshop Tutorials
Maya Tutorials
Flash Tutorials
3ds-Max Tutorials
Illustrator Tutorials
GIMP Tutorials
C# / C Sharp
C# / CSharp Tutorial
C# / CSharp Open Source
ASP.Net
ASP.NET Tutorial
JavaScript DHTML
JavaScript Tutorial
JavaScript Reference
HTML / CSS
HTML CSS Reference
C / ANSI-C
C Tutorial
C++
C++ Tutorial
Ruby
PHP
Python
Python Tutorial
Python Open Source
SQL Server / T-SQL
SQL Server / T-SQL Tutorial
Oracle PL / SQL
Oracle PL/SQL Tutorial
PostgreSQL
SQL / MySQL
MySQL Tutorial
VB.Net
VB.Net 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
 NodeC1
    
 NodeC2
    
 NodeC3
    
 NodeC4
    
 NodeD1
    
 NodeD2
    
 NodeD3
    
 Nodea
    
 Nodeb
    
 Nodec
    
 Noded
    
 Nodee
    
 Nodep
    
 Nodeq
    
 Noder
    
 Nodes
    
 NodesC
    
 NodesP
    
 Nodet
    
 Nodety
    
 Nodeu
    

Constructor Summary
public  TestBasicLP(String name)
    

Method Summary
public  InfGraphmakeInfGraph(List rules, Graph data)
     Return an inference graph working over the given rule set and raw data.
public  InfGraphmakeInfGraph(List rules, Graph data, Node[] tabled)
     Return an inference graph working over the given rule set and raw data.
public static  TestSuitesuite()
     Boilerplate for junit.
public  voidtestArithBuiltins()
     Test 3-arg builtins such as arithmetic.
public  voidtestAxioms()
     Test axioms work.
public  voidtestBacktrack1()
     Test backtracking - simple triple query.
public  voidtestBacktrack10()
    
public  voidtestBacktrack2()
     Test backtracking - chain to simple triple query.
public  voidtestBacktrack3()
    
public  voidtestBacktrack4()
    
public  voidtestBacktrack5()
    
public  voidtestBacktrack6()
     Test backtracking - nested choice point with multiple triple matches, and checking temp v.
public  voidtestBacktrack7()
    
public  voidtestBacktrack8()
    
public  voidtestBacktrack9()
    
public  voidtestBaseRules1()
    
public  voidtestBaseRules2()
    
public  voidtestBaseRules3()
    
public  voidtestBaseRules4()
    
public  voidtestBaseRules5()
    
public  voidtestBaseRules6()
    
public  voidtestBaseRules7()
    
public  voidtestBaseRules8()
    
public  voidtestBaseRules9()
    
public  voidtestBuiltin1()
    
public  voidtestBuiltin2()
    
public  voidtestCME()
     Test that we detect concurrent modification of LP graphs with non-closed iterators.
public  voidtestClauseOrder()
    
public  voidtestFunctors1()
     Test functor usage.
public  voidtestFunctors2()
     Test functor usage.
public  voidtestFunctors3()
     Test functor usage.
public  voidtestListBuiltins()
    
public  voidtestNestedPvars()
    
public  voidtestProblem1()
     A problem from the original backchainer tests - interaction of tabling and functor expansion.
public  voidtestProblem2()
     A problem from the original backchainer tests - tabled closure operation.
public  voidtestProblem3()
    
public  voidtestProblem4()
    
public  voidtestProblem5()
    
public  voidtestProblem6()
    
public  voidtestProblem7()
     A problem from the original backchainer tests - incorrect additional deduction.
public  voidtestProblem8()
     A problem from the original backchainer tests - RDFS example which failed.
public  voidtestProblem9()
     A suspect problem, originally derived from the OWL rules - risk of unbound variables escaping.
public  voidtestRDFS1()
     Test RDFS example.
public  voidtestRDFS2()
    
public  voidtestRuleDerivations()
    
public  voidtestTabled1()
     Test tabled predicates.
public  voidtestTabled2()
     Test tabled predicates.
public  voidtestTabled3()
     Test tabled predicates.
public  voidtestTabled4()
     Test tabled predicates.
public  voidtestTabled5()
     Test tabled predicates.
public  voidtestTabled6()
     Test tabled predicates.
public  voidtestTabled7()
     Test tabled calls with aliased local vars in the call.
public  voidtestWildPredicate1()
     Test wildcard predicate usage - simple triple search.
public  voidtestWildPredicate2()
     Test wildcard predicate usage - combind triple search and multiclause matching.
public  voidtestWildPredicate3()
     Test wildcard predicate usage - combined triple search and multiclause matching.
public  voidtestWildPredicate4()
    

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
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.