KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > hp > hpl > jena > reasoner > dig > DIGProfile


1 /*****************************************************************************
2  * Source code information
3  * -----------------------
4  * Original author Ian Dickinson, HP Labs Bristol
5  * Author email ian.dickinson@hp.com
6  * Package Jena 2
7  * Web http://sourceforge.net/projects/jena/
8  * Created 11-Sep-2003
9  * Filename $RCSfile: DIGProfile.java,v $
10  * Revision $Revision: 1.8 $
11  * Release status $State: Exp $
12  *
13  * Last modified on $Date: 2005/02/21 12:16:20 $
14  * by $Author: andy_seaborne $
15  *
16  * (c) Copyright 2001, 2002, 2003, 2004, 2005 Hewlett-Packard Development Company, LP
17  * [See end of file]
18  *****************************************************************************/

19
20 // Package
21
///////////////
22
package com.hp.hpl.jena.reasoner.dig;
23
24
25 // Imports
26
///////////////
27

28 /**
29  * <p>
30  * Encapsulates the multiple extant versions of the DIG protocol, which have
31  * different expectations as to namespaces, XML encodings, and other variables. This
32  * allows us to parameterise the DIG interface to different DIG enabled tools.
33  * </p>
34  *
35  * @author Ian Dickinson, HP Labs (<a HREF="mailto:Ian.Dickinson@hp.com">email</a>)
36  * @version Release @release@ ($Id: DIGProfile.java,v 1.8 2005/02/21 12:16:20 andy_seaborne Exp $)
37  */

38 public interface DIGProfile
39 {
40     // Constants
41
//////////////////////////////////
42

43     /* DIG verbs and other constants */
44     
45     /** The DIG verb to get the identification information on the reasoner */
46     public static final String JavaDoc GET_IDENTIFIER = "getIdentifier";
47
48     /** The DIG attribute denoting the version string of a reasoner */
49     public static final String JavaDoc VERSION = "version";
50     
51     /** The DIG attribute denoting the version message string of a reasoner */
52     public static final String JavaDoc MESSAGE = "message";
53     
54     /** The DIG element denoting the capabilities of the reasoner */
55     public static final String JavaDoc SUPPORTS = "supports";
56     
57     /** The DIG element denoting the language capabilities of the reasoner */
58     public static final String JavaDoc LANGUAGE = "language";
59     
60     /** The DIG element denoting the ask capabilities of the reasoner */
61     public static final String JavaDoc ASK = "ask";
62     
63     /** The DIG element denoting the tell capabilities of the reasoner */
64     public static final String JavaDoc TELL = "tell";
65     
66     // verbs
67
public static final String JavaDoc TELLS = "tells";
68     public static final String JavaDoc ASKS = "asks";
69     public static final String JavaDoc NEWKB = "newKB";
70     public static final String JavaDoc RELEASEKB = "releaseKB";
71     public static final String JavaDoc RESPONSE = "responses"; // TODO Racer bug - returns <responses> not <response>
72

73     // responses
74
public static final String JavaDoc OK = "ok";
75     public static final String JavaDoc KB = "kb";
76     public static final String JavaDoc ERROR = "error";
77     public static final String JavaDoc CONCEPT_SET = "conceptSet";
78     public static final String JavaDoc SYNONYMS = "synonyms";
79     public static final String JavaDoc ROLE_SET = "roleSet";
80     public static final String JavaDoc INDIVIDUAL_SET = "individualSet";
81     public static final String JavaDoc INDIVIDUAL_PAIR_SET = "individualPairSet";
82     public static final String JavaDoc INDIVIDUAL_PAIR = "individualPair";
83     public static final String JavaDoc TRUE = "true";
84     public static final String JavaDoc FALSE = "false";
85     public static final String JavaDoc WARNING = "warning";
86     
87     // queries
88
public static final String JavaDoc ALL_CONCEPT_NAMES = "allConceptNames";
89     public static final String JavaDoc ALL_ROLE_NAMES = "allRoleNames";
90     public static final String JavaDoc ALL_INDIVIDUALS = "allIndividuals";
91     public static final String JavaDoc SATISFIABLE = "satisfiable";
92     public static final String JavaDoc SUBSUMES = "subsumes";
93     public static final String JavaDoc PARENTS = "parents";
94     public static final String JavaDoc CHILDREN = "children";
95     public static final String JavaDoc ANCESTORS = "ancestors";
96     public static final String JavaDoc DESCENDANTS = "descendants";
97     public static final String JavaDoc EQUIVALENTS = "equivalents";
98     public static final String JavaDoc RPARENTS = "rparents";
99     public static final String JavaDoc RCHILDREN = "rchildren";
100     public static final String JavaDoc RANCESTORS = "rancestors";
101     public static final String JavaDoc RDESCENDANTS = "rdescendants";
102     public static final String JavaDoc INSTANCES = "instances";
103     public static final String JavaDoc TYPES = "types";
104     public static final String JavaDoc INSTANCE = "instance";
105     public static final String JavaDoc ROLE_FILLERS = "roleFillers";
106     public static final String JavaDoc RELATED_INDIVIDUALS = "relatedIndividuals";
107     public static final String JavaDoc TOLD_VALUES = "toldValues";
108     
109     // tell language
110

111     public static final String JavaDoc DEFCONCEPT = "defconcept";
112     public static final String JavaDoc DEFROLE = "defrole";
113     public static final String JavaDoc DEFFEATURE = "deffeature";
114     public static final String JavaDoc DEFATTRIBUTE = "defattribute";
115     public static final String JavaDoc DEFINDIVIDUAL = "defindividual";
116     public static final String JavaDoc IMPLIESC = "impliesc";
117     public static final String JavaDoc EQUALC = "equalc";
118     public static final String JavaDoc DISJOINT = "disjoint";
119     public static final String JavaDoc IMPLIESR = "impliesr";
120     public static final String JavaDoc EQUALR = "equalr";
121     public static final String JavaDoc DOMAIN = "domain";
122     public static final String JavaDoc RANGE = "range";
123     public static final String JavaDoc RANGEINT = "rangeint";
124     public static final String JavaDoc RANGESTRING = "rangestring";
125     public static final String JavaDoc TRANSITIVE = "transitive";
126     public static final String JavaDoc FUNCTIONAL = "functional";
127     public static final String JavaDoc INSTANCEOF = "instanceof";
128     public static final String JavaDoc RELATED = "related";
129     public static final String JavaDoc VALUE = "value";
130    
131     // concept language
132

133     public static final String JavaDoc TOP = "top";
134     public static final String JavaDoc BOTTOM = "bottom";
135     public static final String JavaDoc CATOM = "catom";
136     public static final String JavaDoc AND = "and";
137     public static final String JavaDoc OR = "or";
138     public static final String JavaDoc NOT = "not";
139     public static final String JavaDoc SOME = "some";
140     public static final String JavaDoc ALL = "all";
141     public static final String JavaDoc ATMOST = "atmost";
142     public static final String JavaDoc ATLEAST = "atleast";
143     public static final String JavaDoc ISET = "iset";
144     public static final String JavaDoc DEFINED = "defined";
145     public static final String JavaDoc STRINGMIN = "stringmin";
146     public static final String JavaDoc STRINGMAX = "stringmax";
147     public static final String JavaDoc STRINGEQUALS = "stringequals";
148     public static final String JavaDoc STRINGRANGE = "stringrange";
149     public static final String JavaDoc INTMIN = "intmin";
150     public static final String JavaDoc INTMAX = "intmax";
151     public static final String JavaDoc INTEQUALS = "intequals";
152     public static final String JavaDoc INTRANGE = "intrange";
153     public static final String JavaDoc RATOM = "ratom";
154     public static final String JavaDoc FEATURE = "feature";
155     public static final String JavaDoc INVERSE = "inverse";
156     public static final String JavaDoc ATTRIBUTE = "attribute";
157     public static final String JavaDoc CHAIN = "chain";
158     public static final String JavaDoc INDIVIDUAL = "individual";
159     public static final String JavaDoc NUM = "num";
160     public static final String JavaDoc IVAL = "ival";
161     public static final String JavaDoc SVAL = "sval";
162     
163     
164     // attributes
165

166     public static final String JavaDoc NAME = "name";
167     public static final String JavaDoc VAL = "val";
168     public static final String JavaDoc MIN = "min";
169     public static final String JavaDoc MAX = "max";
170     public static final String JavaDoc URI = "uri";
171     public static final String JavaDoc ID = "id";
172     public static final String JavaDoc CODE = "code";
173
174     
175     // External signature methods
176
//////////////////////////////////
177

178     /** Answer the root namespace for this version of the DIG protocol */
179     public String JavaDoc getDIGNamespace();
180     
181     /** Answer the location of the DIG schema for this version of the DIG protocol */
182     public String JavaDoc getSchemaLocation();
183     
184     /** Answer the HTTP Content-Type of a DIG request (e.g. text/xml) */
185     public String JavaDoc getContentType();
186 }
187
188
189 /*
190  * (c) Copyright 2001, 2002, 2003, 2004, 2005 Hewlett-Packard Development Company, LP
191  * All rights reserved.
192  *
193  * Redistribution and use in source and binary forms, with or without
194  * modification, are permitted provided that the following conditions
195  * are met:
196  * 1. Redistributions of source code must retain the above copyright
197  * notice, this list of conditions and the following disclaimer.
198  * 2. Redistributions in binary form must reproduce the above copyright
199  * notice, this list of conditions and the following disclaimer in the
200  * documentation and/or other materials provided with the distribution.
201  * 3. The name of the author may not be used to endorse or promote products
202  * derived from this software without specific prior written permission.
203  *
204  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
205  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
206  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
207  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
208  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
209  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
210  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
211  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
212  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
213  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
214  */

215
Popular Tags