Examples of com.hp.hpl.jena.reasoner.test.WGReasonerTester

com.hp.hpl.jena.reasoner.test.WGReasonerTester
3.org/TR/2003/WD-rdf-testcases-20030123/"> http://www.w3.org/TR/2003/WD-rdf-testcases-20030123/.
The manifest file defines a set of tests. Only the positive and negative entailment tests are handled by this utility. Each test defines a set of data files to load. For normal positive entailment tests we check each triple in the conclusions file to ensure it is included in the inferred graph. For postive entailment tests which are supposed to entail the false document we run an additional validation check. For negative entailment tests which tests all triples in the non-conclusions file and check that at least one trile is missing.

        testDir = fact.getBase();
        if (dynamic)
            try {
//              String wgDir = ARPTests.wgTestDir.toString();
              System.err.println(testDir+", "+fact.getMapBase());
                wgReasoner = new WGReasonerTester("Manifest.rdf",
                          "testing/wg/");
//                          wgDir);
                createMe =
                    "new "
                        + this.getClass().getName()

View Full Code Here

        testDir = fact.getBase();
        if (dynamic)
            try {
//              String wgDir = ARPTests.wgTestDir.toString();
              System.err.println(testDir+", "+fact.getMapBase());
                wgReasoner = new WGReasonerTester("Manifest.rdf",
                          "testing/wg/");
//                          wgDir);
                createMe =
                    "new "
                        + this.getClass().getName()

View Full Code Here

        testDir = fact.getBase();
        if (dynamic)
            try {
//              String wgDir = ARPTests.wgTestDir.toString();
              System.err.println(testDir+", "+fact.getMapBase());
                wgReasoner = new WGReasonerTester("Manifest.rdf",
                          "testing/wg/");
//                          wgDir);
                createMe =
                    "new "
                        + this.getClass().getName()

View Full Code Here

        testDir = fact.getBase();
        if (dynamic)
            try {
//              String wgDir = ARPTests.wgTestDir.toString();
              System.err.println(testDir+", "+fact.getMapBase());
                wgReasoner = new WGReasonerTester("Manifest.rdf",
                          "testing/wg/");
//                          wgDir);
                createMe =
                    "new "
                        + this.getClass().getName()

View Full Code Here

TOP

Related Classes of com.hp.hpl.jena.reasoner.test.WGReasonerTester

com.hp.hpl.jena.rdf.arp.WGTestSuite

com.hp.hpl.jena.reasoner.InfGraph

com.hp.hpl.jena.reasoner.Reasoner

java.io.InputStream

java.io.FileInputStream

java.net.URL

com.hp.hpl.jena.shared.JenaException

java.io.BufferedInputStream

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.