01: /*
02: (c) Copyright 2006, 2007, 2008 Hewlett-Packard Development Company, LP
03: All rights reserved.
04: $Id: AcceptanceTesting.java,v 1.2 2008/01/02 12:05:57 andy_seaborne Exp $
05: */
06:
07: package com.hp.hpl.jena.assembler.test;
08:
09: import com.hp.hpl.jena.ontology.*;
10: import com.hp.hpl.jena.rdf.model.*;
11:
12: public class AcceptanceTesting extends AssemblerTestBase {
13: public AcceptanceTesting(String name) {
14: super (name);
15: }
16:
17: /**
18: Acceptance test inherited from ontology ModelSpec tests when ModelSpec
19: went obsolete. Ensure that an OntModel constructed with a reasoner
20: does the (well, some) reasoning. Probably unnecessary given the way
21: the assembler unit test suite works but belt-and-braces for now at least.
22: */
23: public void test_ijd_01() {
24: Model m = modelWithStatements("x ja:ontModelSpec _o"
25: + "; _o ja:reasonerFactory _f; _o ja:ontLanguage http://www.w3.org/2002/07/owl#"
26: + "; _f ja:reasonerURL http://jena.hpl.hp.com/2003/OWLFBRuleReasoner");
27: OntModel om = (OntModel) ModelFactory.assembleModelFrom(m);
28: proxyForReasoning(om);
29: }
30:
31: /**
32: A proxy for the notion "reasoning works on this OntModel".
33: */
34: private void proxyForReasoning(OntModel om) {
35: OntClass A = om.createClass("A");
36: OntClass B = om.createClass("B");
37: OntClass C = om.createClass("C");
38: C.addSuperClass(B);
39: B.addSuperClass(A);
40: assertTrue(C.hasSuperClass(A));
41: }
42: }
43:
44: /*
45: * (c) Copyright 2006, 2007, 2008 Hewlett-Packard Development Company, LP
46: * All rights reserved.
47: *
48: * Redistribution and use in source and binary forms, with or without
49: * modification, are permitted provided that the following conditions
50: * are met:
51: * 1. Redistributions of source code must retain the above copyright
52: * notice, this list of conditions and the following disclaimer.
53: * 2. Redistributions in binary form must reproduce the above copyright
54: * notice, this list of conditions and the following disclaimer in the
55: * documentation and/or other materials provided with the distribution.
56: * 3. The name of the author may not be used to endorse or promote products
57: * derived from this software without specific prior written permission.
58: *
59: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
60: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
61: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
62: * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
63: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
64: * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
65: * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
66: * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
67: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
68: * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
69: */
|