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 GET_IDENTIFIER = "getIdentifier";
47
48     /** The DIG attribute denoting the version string of a reasoner */
49     public static final String VERSION = "version";
50     
51     /** The DIG attribute denoting the version message string of a reasoner */
52     public static final String MESSAGE = "message";
53     
54     /** The DIG element denoting the capabilities of the reasoner */
55     public static final String SUPPORTS = "supports";
56     
57     /** The DIG element denoting the language capabilities of the reasoner */
58     public static final String LANGUAGE = "language";
59     
60     /** The DIG element denoting the ask capabilities of the reasoner */
61     public static final String ASK = "ask";
62     
63     /** The DIG element denoting the tell capabilities of the reasoner */
64     public static final String TELL = "tell";
65     
66     // verbs
67 public static final String TELLS = "tells";
68     public static final String ASKS = "asks";
69     public static final String NEWKB = "newKB";
70     public static final String RELEASEKB = "releaseKB";
71     public static final String RESPONSE = "responses"; // TODO Racer bug - returns <responses> not <response>
72
73     // responses
74 public static final String OK = "ok";
75     public static final String KB = "kb";
76     public static final String ERROR = "error";
77     public static final String CONCEPT_SET = "conceptSet";
78     public static final String SYNONYMS = "synonyms";
79     public static final String ROLE_SET = "roleSet";
80     public static final String INDIVIDUAL_SET = "individualSet";
81     public static final String INDIVIDUAL_PAIR_SET = "individualPairSet";
82     public static final String INDIVIDUAL_PAIR = "individualPair";
83     public static final String TRUE = "true";
84     public static final String FALSE = "false";
85     public static final String WARNING = "warning";
86     
87     // queries
88 public static final String ALL_CONCEPT_NAMES = "allConceptNames";
89     public static final String ALL_ROLE_NAMES = "allRoleNames";
90     public static final String ALL_INDIVIDUALS = "allIndividuals";
91     public static final String SATISFIABLE = "satisfiable";
92     public static final String SUBSUMES = "subsumes";
93     public static final String PARENTS = "parents";
94     public static final String CHILDREN = "children";
95     public static final String ANCESTORS = "ancestors";
96     public static final String DESCENDANTS = "descendants";
97     public static final String EQUIVALENTS = "equivalents";
98     public static final String RPARENTS = "rparents";
99     public static final String RCHILDREN = "rchildren";
100     public static final String RANCESTORS = "rancestors";
101     public static final String RDESCENDANTS = "rdescendants";
102     public static final String INSTANCES = "instances";
103     public static final String TYPES = "types";
104     public static final String INSTANCE = "instance";
105     public static final String ROLE_FILLERS = "roleFillers";
106     public static final String RELATED_INDIVIDUALS = "relatedIndividuals";
107     public static final String TOLD_VALUES = "toldValues";
108     
109     // tell language
110
111     public static final String DEFCONCEPT = "defconcept";
112     public static final String DEFROLE = "defrole";
113     public static final String DEFFEATURE = "deffeature";
114     public static final String DEFATTRIBUTE = "defattribute";
115     public static final String DEFINDIVIDUAL = "defindividual";
116     public static final String IMPLIESC = "impliesc";
117     public static final String EQUALC = "equalc";
118     public static final String DISJOINT = "disjoint";
119     public static final String IMPLIESR = "impliesr";
120     public static final String EQUALR = "equalr";
121     public static final String DOMAIN = "domain";
122     public static final String RANGE = "range";
123     public static final String RANGEINT = "rangeint";
124     public static final String RANGESTRING = "rangestring";
125     public static final String TRANSITIVE = "transitive";
126     public static final String FUNCTIONAL = "functional";
127     public static final String INSTANCEOF = "instanceof";
128     public static final String RELATED = "related";
129     public static final String VALUE = "value";
130    
131     // concept language
132
133     public static final String TOP = "top";
134     public static final String BOTTOM = "bottom";
135     public static final String CATOM = "catom";
136     public static final String AND = "and";
137     public static final String OR = "or";
138     public static final String NOT = "not";
139     public static final String SOME = "some";
140     public static final String ALL = "all";
141     public static final String ATMOST = "atmost";
142     public static final String ATLEAST = "atleast";
143     public static final String ISET = "iset";
144     public static final String DEFINED = "defined";
145     public static final String STRINGMIN = "stringmin";
146     public static final String STRINGMAX = "stringmax";
147     public static final String STRINGEQUALS = "stringequals";
148     public static final String STRINGRANGE = "stringrange";
149     public static final String INTMIN = "intmin";
150     public static final String INTMAX = "intmax";
151     public static final String INTEQUALS = "intequals";
152     public static final String INTRANGE = "intrange";
153     public static final String RATOM = "ratom";
154     public static final String FEATURE = "feature";
155     public static final String INVERSE = "inverse";
156     public static final String ATTRIBUTE = "attribute";
157     public static final String CHAIN = "chain";
158     public static final String INDIVIDUAL = "individual";
159     public static final String NUM = "num";
160     public static final String IVAL = "ival";
161     public static final String SVAL = "sval";
162     
163     
164     // attributes
165
166     public static final String NAME = "name";
167     public static final String VAL = "val";
168     public static final String MIN = "min";
169     public static final String MAX = "max";
170     public static final String URI = "uri";
171     public static final String ID = "id";
172     public static final String 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 getDIGNamespace();
180     
181     /** Answer the location of the DIG schema for this version of the DIG protocol */
182     public String getSchemaLocation();
183     
184     /** Answer the HTTP Content-Type of a DIG request (e.g. text/xml) */
185     public String 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

A to Z: JavaDoc & Examples

---

Daily Java News & Articles

---

Open Source Projects

---

Open Source Codes

---

Free Computer Books

---

Remove Frame

---

Popular Tags