001: /******************************************************************
002: * File: OWLTest.java
003: * Created by: Dave Reynolds
004: * Created on: 12-Sep-2003
005: *
006: (c) Copyright 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
007: * [See end of file]
008: * $Id: OWLTest.java,v 1.9 2008/01/02 12:07:27 andy_seaborne Exp $
009: *****************************************************************/package com.hp.hpl.jena.vocabulary;
010:
011: import com.hp.hpl.jena.rdf.model.*;
012:
013: /**
014: * The vocabulary used by the WebOnt working group to define test manifests.
015: * <p>
016: * Vocabulary definitions from file:data/testOntology.rdf
017: * @author Auto-generated by schemagen on 12 Sep 2003 17:16
018: */
019: public class OWLTest {
020:
021: /** <p>The RDF model that holds the vocabulary terms</p> */
022: private static Model m_model = ModelFactory.createDefaultModel();
023:
024: /** <p>The namespace of the vocabalary as a string ({@value})</p> */
025: public static final String NS = "http://www.w3.org/2002/03owlt/testOntology#";
026:
027: /** <p>The namespace of the vocabalary as a string</p>
028: * @see #NS */
029: public static String getURI() {
030: return NS;
031: }
032:
033: /** <p>The namespace of the vocabalary as a resource</p> */
034: public static final Resource NAMESPACE = m_model.createResource(NS);
035:
036: /** <p>This property relates a test to a language feature. The language feature is
037: * usually indicated by a class or property.</p>
038: */
039: public static final Property feature = m_model
040: .createProperty("http://www.w3.org/2002/03owlt/testOntology#feature");
041:
042: /** <p>The object is a datatype that appears in one of the test files in the subject
043: * test.</p>
044: */
045: public static final Property usedDatatype = m_model
046: .createProperty("http://www.w3.org/2002/03owlt/testOntology#usedDatatype");
047:
048: /** <p>The subject test is valid only when the object datatype is included in the
049: * datatype theory.</p>
050: */
051: public static final Property supportedDatatype = m_model
052: .createProperty("http://www.w3.org/2002/03owlt/testOntology#supportedDatatype");
053:
054: /** <p>Despite the property URI, the document indicated by this property may or may
055: * not be imported into the test.</p>
056: */
057: public static final Property importedPremiseDocument = m_model
058: .createProperty("http://www.w3.org/2002/03owlt/testOntology#importedPremiseDocument");
059:
060: /** <p>Indicates the conformance level of a document or test in the OWL test suite.</p> */
061: public static final Property level = m_model
062: .createProperty("http://www.w3.org/2002/03owlt/testOntology#level");
063:
064: /** <p>One of the conformance levels in the OWL test suite.</p> */
065: public static final Resource Lite = m_model
066: .createResource("http://www.w3.org/2002/03owlt/testOntology#Lite");
067: /** <p>One of the conformance levels in the OWL test suite.</p> */
068: public static final Resource DL = m_model
069: .createResource("http://www.w3.org/2002/03owlt/testOntology#DL");
070: /** <p>One of the conformance levels in the OWL test suite.</p> */
071: public static final Resource Full = m_model
072: .createResource("http://www.w3.org/2002/03owlt/testOntology#Full");
073:
074: /** <p>A string valued property that gives a numeral (or some other quasi-numeric
075: * string) associated with an issue.</p>
076: */
077: public static final Property issueNumber = m_model
078: .createProperty("http://www.w3.org/2002/03owlt/testOntology#issueNumber");
079: public static final Property size = m_model
080: .createProperty("http://www.w3.org/2002/03owlt/testOntology#size");
081: public static final Resource Large = m_model
082: .createProperty("http://www.w3.org/2002/03owlt/testOntology#Large");
083:
084: public static final Resource Test = m_model
085: .createResource("http://www.w3.org/2002/03owlt/testOntology#Test");
086:
087: /** <p>This is a positive entailment test according to the OWL entailment rules.</p> */
088: public static final Resource PositiveEntailmentTest = m_model
089: .createResource("http://www.w3.org/2002/03owlt/testOntology#PositiveEntailmentTest");
090:
091: /** <p>This is a negative entailment test according to the OWL entailment rules.</p> */
092: public static final Resource NegativeEntailmentTest = m_model
093: .createResource("http://www.w3.org/2002/03owlt/testOntology#NegativeEntailmentTest");
094:
095: /** <p>The conclusions follow from the empty premises.</p> */
096: public static final Resource TrueTest = m_model
097: .createResource("http://www.w3.org/2002/03owlt/testOntology#TrueTest");
098:
099: /** <p>Illustrative of the use of OWL to describe OWL Full.</p> */
100: public static final Resource OWLforOWLTest = m_model
101: .createResource("http://www.w3.org/2002/03owlt/testOntology#OWLforOWLTest");
102:
103: /** <p>These tests use two documents. One is named importsNNN.rdf, the other is named
104: * mainNNN.rdf. These tests indicate the interaction between owl:imports and
105: * the sublanguage levels of the main document.</p>
106: */
107: public static final Resource ImportLevelTest = m_model
108: .createResource("http://www.w3.org/2002/03owlt/testOntology#ImportLevelTest");
109:
110: /** <p>This is a negative test. The input document contains some use of the OWL namespace
111: * which is not a feature of OWL. These typically show DAML+OIL features that
112: * are not being carried forward into OWL.</p>
113: */
114: public static final Resource NotOwlFeatureTest = m_model
115: .createResource("http://www.w3.org/2002/03owlt/testOntology#NotOwlFeatureTest");
116:
117: /** <p>The premise document, and its imports closure, entails the conclusion document.</p> */
118: public static final Resource ImportEntailmentTest = m_model
119: .createResource("http://www.w3.org/2002/03owlt/testOntology#ImportEntailmentTest");
120:
121: /** <p>An inconsistent OWL document. (One that entails falsehood).</p> */
122: public static final Resource InconsistencyTest = m_model
123: .createResource("http://www.w3.org/2002/03owlt/testOntology#InconsistencyTest");
124:
125: /** <p>A consistent OWL document. (One that does not entail falsehood).</p> */
126: public static final Resource ConsistencyTest = m_model
127: .createResource("http://www.w3.org/2002/03owlt/testOntology#ConsistencyTest");
128:
129: /** <p>A member of this class is an issue in some issue list.</p> */
130: public static final Resource Issue = m_model
131: .createResource("http://www.w3.org/2002/03owlt/testOntology#Issue");
132:
133: }
134:
135: /*
136: (c) Copyright 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
137: All rights reserved.
138:
139: Redistribution and use in source and binary forms, with or without
140: modification, are permitted provided that the following conditions
141: are met:
142:
143: 1. Redistributions of source code must retain the above copyright
144: notice, this list of conditions and the following disclaimer.
145:
146: 2. Redistributions in binary form must reproduce the above copyright
147: notice, this list of conditions and the following disclaimer in the
148: documentation and/or other materials provided with the distribution.
149:
150: 3. The name of the author may not be used to endorse or promote products
151: derived from this software without specific prior written permission.
152:
153: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
154: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
155: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
156: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
157: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
158: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
159: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
160: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
161: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
162: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
163: */
|