001: /******************************************************************
002: * File: TestLPRDFS.java
003: * Created by: Dave Reynolds
004: * Created on: 26-Jul-2003
005: *
006: * (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
007: * [See end of file]
008: * $Id: TestLPRDFS.java,v 1.9 2008/01/02 12:08:20 andy_seaborne Exp $
009: *****************************************************************/package com.hp.hpl.jena.reasoner.rulesys.test;
010:
011: import java.io.IOException;
012:
013: import com.hp.hpl.jena.reasoner.*;
014: import com.hp.hpl.jena.reasoner.rulesys.*;
015: import com.hp.hpl.jena.reasoner.test.ReasonerTester;
016:
017: import junit.framework.TestCase;
018: import junit.framework.TestSuite;
019: import org.apache.commons.logging.Log;
020: import org.apache.commons.logging.LogFactory;
021: import java.util.*;
022:
023: /**
024: * Test an FB hyrid using the emerging LP engine on the basic RDFS tests.
025: *
026: * @author <a href="mailto:der@hplb.hpl.hp.com">Dave Reynolds</a>
027: * @version $Revision: 1.9 $ on $Date: 2008/01/02 12:08:20 $
028: */
029: public class TestLPRDFS extends TestCase {
030:
031: /** The location of the OWL rule definitions on the class path */
032: public static final String RULE_FILE = "etc/rdfs-fb-lp-expt.rules";
033:
034: /** The parsed rules */
035: protected static List ruleSet;
036:
037: /** The tester utility */
038: protected ReasonerTester tester;
039:
040: static Log logger = LogFactory.getLog(TestLPRDFS.class);
041:
042: /**
043: * Boilerplate for junit
044: */
045: public TestLPRDFS(String name) {
046: super (name);
047: }
048:
049: /**
050: * Boilerplate for junit.
051: * This is its own test suite
052: */
053: public static TestSuite suite() {
054: return new TestSuite(TestLPRDFS.class);
055: // TestSuite suite = new TestSuite();
056: // try {
057: // TestRDFSReasoners.constructQuerytests(
058: // suite,
059: // "rdfs/manifest-nodirect-noresource.rdf",
060: // makeReasoner());
061: // } catch (IOException e) {
062: // // failed to even built the test harness
063: // logger.error("Failed to construct RDFS test harness", e);
064: // }
065: // return suite;
066: }
067:
068: public void test1() throws IOException {
069: doTest("test1");
070: }
071:
072: public void test2() throws IOException {
073: doTest("test2");
074: }
075:
076: public void test3() throws IOException {
077: doTest("test3");
078: }
079:
080: public void test4() throws IOException {
081: doTest("test4");
082: }
083:
084: public void test5() throws IOException {
085: doTest("test5");
086: }
087:
088: public void test6() throws IOException {
089: doTest("test6");
090: }
091:
092: public void test7() throws IOException {
093: doTest("test7");
094: }
095:
096: public void test8() throws IOException {
097: doTest("test8");
098: }
099:
100: public void test9() throws IOException {
101: doTest("test9");
102: }
103:
104: public void test10() throws IOException {
105: doTest("test10");
106: }
107:
108: public void test11() throws IOException {
109: doTest("test11");
110: }
111:
112: public void test12() throws IOException {
113: doTest("test12");
114: }
115:
116: public void test13() throws IOException {
117: doTest("test13");
118: }
119:
120: public void test14() throws IOException {
121: doTest("test14");
122: }
123:
124: public void test15() throws IOException {
125: doTest("test15");
126: }
127:
128: public void test16() throws IOException {
129: doTest("test16");
130: }
131:
132: public void test18() throws IOException {
133: doTest("test18");
134: }
135:
136: public void test20() throws IOException {
137: doTest("test20");
138: }
139:
140: /**
141: * Run a named test.
142: */
143: public void doTest(String name) throws IOException {
144: ReasonerTester tester = new ReasonerTester(
145: "rdfs/manifest-nodirect-noresource.rdf");
146: tester.runTest(ReasonerTester.BASE_URI + "rdfs/" + name,
147: makeReasoner(), this );
148: }
149:
150: /**
151: * Return the reasoner to test
152: */
153: public static Reasoner makeReasoner() {
154: FBRuleReasoner reasoner = new FBRuleReasoner(loadRules());
155: // Don't have TGC enable yet.
156: return reasoner;
157: }
158:
159: /**
160: * Return the RDFS rule set, loading it in if necessary
161: */
162: public static List loadRules() {
163: if (ruleSet == null)
164: ruleSet = FBRuleReasoner.loadRules(RULE_FILE);
165: return ruleSet;
166: }
167:
168: }
169:
170: /*
171: (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
172: All rights reserved.
173:
174: Redistribution and use in source and binary forms, with or without
175: modification, are permitted provided that the following conditions
176: are met:
177:
178: 1. Redistributions of source code must retain the above copyright
179: notice, this list of conditions and the following disclaimer.
180:
181: 2. Redistributions in binary form must reproduce the above copyright
182: notice, this list of conditions and the following disclaimer in the
183: documentation and/or other materials provided with the distribution.
184:
185: 3. The name of the author may not be used to endorse or promote products
186: derived from this software without specific prior written permission.
187:
188: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
189: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
190: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
191: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
192: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
193: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
194: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
195: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
196: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
197: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
198: */
|