001: /*****************************************************************************
002: * Source code information
003: * -----------------------
004: * Original author Ian Dickinson, HP Labs Bristol
005: * Author email ian.dickinson@hp.com
006: * Package Jena 2
007: * Web http://sourceforge.net/projects/jena/
008: * Created 11-Sep-2003
009: * Filename $RCSfile: DIGProfile.java,v $
010: * Revision $Revision: 1.12 $
011: * Release status $State: Exp $
012: *
013: * Last modified on $Date: 2008/01/02 12:07:11 $
014: * by $Author: andy_seaborne $
015: *
016: * (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
017: * [See end of file]
018: *****************************************************************************/package com.hp.hpl.jena.reasoner.dig;
019:
020: // Imports
021: ///////////////
022:
023: /**
024: * <p>
025: * Encapsulates the multiple extant versions of the DIG protocol, which have
026: * different expectations as to namespaces, XML encodings, and other variables. This
027: * allows us to parameterise the DIG interface to different DIG enabled tools.
028: * </p>
029: *
030: * @author Ian Dickinson, HP Labs (<a href="mailto:Ian.Dickinson@hp.com">email</a>)
031: * @version Release @release@ ($Id: DIGProfile.java,v 1.12 2008/01/02 12:07:11 andy_seaborne Exp $)
032: */
033: public interface DIGProfile {
034: // Constants
035: //////////////////////////////////
036:
037: /* DIG verbs and other constants */
038:
039: /** The DIG verb to get the identification information on the reasoner */
040: public static final String GET_IDENTIFIER = "getIdentifier";
041:
042: /** The DIG attribute denoting the version string of a reasoner */
043: public static final String VERSION = "version";
044:
045: /** The DIG attribute denoting the version message string of a reasoner */
046: public static final String MESSAGE = "message";
047:
048: /** The DIG element denoting the capabilities of the reasoner */
049: public static final String SUPPORTS = "supports";
050:
051: /** The DIG element denoting the language capabilities of the reasoner */
052: public static final String LANGUAGE = "language";
053:
054: /** The DIG element denoting the ask capabilities of the reasoner */
055: public static final String ASK = "ask";
056:
057: /** The DIG element denoting the tell capabilities of the reasoner */
058: public static final String TELL = "tell";
059:
060: // verbs
061: public static final String TELLS = "tells";
062: public static final String ASKS = "asks";
063: public static final String NEWKB = "newKB";
064: public static final String RELEASEKB = "releaseKB";
065: public static final String RESPONSE = "responses"; // TODO Racer bug - returns <responses> not <response>
066:
067: // responses
068: public static final String OK = "ok";
069: public static final String KB = "kb";
070: public static final String ERROR = "error";
071: public static final String CONCEPT_SET = "conceptSet";
072: public static final String SYNONYMS = "synonyms";
073: public static final String ROLE_SET = "roleSet";
074: public static final String INDIVIDUAL_SET = "individualSet";
075: public static final String INDIVIDUAL_PAIR_SET = "individualPairSet";
076: public static final String INDIVIDUAL_PAIR = "individualPair";
077: public static final String TRUE = "true";
078: public static final String FALSE = "false";
079: public static final String WARNING = "warning";
080:
081: // queries
082: public static final String ALL_CONCEPT_NAMES = "allConceptNames";
083: public static final String ALL_ROLE_NAMES = "allRoleNames";
084: public static final String ALL_INDIVIDUALS = "allIndividuals";
085: public static final String SATISFIABLE = "satisfiable";
086: public static final String SUBSUMES = "subsumes";
087: public static final String PARENTS = "parents";
088: public static final String CHILDREN = "children";
089: public static final String ANCESTORS = "ancestors";
090: public static final String DESCENDANTS = "descendants";
091: public static final String EQUIVALENTS = "equivalents";
092: public static final String RPARENTS = "rparents";
093: public static final String RCHILDREN = "rchildren";
094: public static final String RANCESTORS = "rancestors";
095: public static final String RDESCENDANTS = "rdescendants";
096: public static final String INSTANCES = "instances";
097: public static final String TYPES = "types";
098: public static final String INSTANCE = "instance";
099: public static final String ROLE_FILLERS = "roleFillers";
100: public static final String RELATED_INDIVIDUALS = "relatedIndividuals";
101: public static final String TOLD_VALUES = "toldValues";
102:
103: // tell language
104:
105: public static final String DEFCONCEPT = "defconcept";
106: public static final String DEFROLE = "defrole";
107: public static final String DEFFEATURE = "deffeature";
108: public static final String DEFATTRIBUTE = "defattribute";
109: public static final String DEFINDIVIDUAL = "defindividual";
110: public static final String IMPLIESC = "impliesc";
111: public static final String EQUALC = "equalc";
112: public static final String DISJOINT = "disjoint";
113: public static final String IMPLIESR = "impliesr";
114: public static final String EQUALR = "equalr";
115: public static final String DOMAIN = "domain";
116: public static final String RANGE = "range";
117: public static final String RANGEINT = "rangeint";
118: public static final String RANGESTRING = "rangestring";
119: public static final String TRANSITIVE = "transitive";
120: public static final String FUNCTIONAL = "functional";
121: public static final String INSTANCEOF = "instanceof";
122: public static final String RELATED = "related";
123: public static final String VALUE = "value";
124:
125: // concept language
126:
127: public static final String TOP = "top";
128: public static final String BOTTOM = "bottom";
129: public static final String CATOM = "catom";
130: public static final String AND = "and";
131: public static final String OR = "or";
132: public static final String NOT = "not";
133: public static final String SOME = "some";
134: public static final String ALL = "all";
135: public static final String ATMOST = "atmost";
136: public static final String ATLEAST = "atleast";
137: public static final String ISET = "iset";
138: public static final String DEFINED = "defined";
139: public static final String STRINGMIN = "stringmin";
140: public static final String STRINGMAX = "stringmax";
141: public static final String STRINGEQUALS = "stringequals";
142: public static final String STRINGRANGE = "stringrange";
143: public static final String INTMIN = "intmin";
144: public static final String INTMAX = "intmax";
145: public static final String INTEQUALS = "intequals";
146: public static final String INTRANGE = "intrange";
147: public static final String RATOM = "ratom";
148: public static final String FEATURE = "feature";
149: public static final String INVERSE = "inverse";
150: public static final String ATTRIBUTE = "attribute";
151: public static final String CHAIN = "chain";
152: public static final String INDIVIDUAL = "individual";
153: public static final String NUM = "num";
154: public static final String IVAL = "ival";
155: public static final String SVAL = "sval";
156:
157: // attributes
158:
159: public static final String NAME = "name";
160: public static final String VAL = "val";
161: public static final String MIN = "min";
162: public static final String MAX = "max";
163: public static final String URI = "uri";
164: public static final String ID = "id";
165: public static final String CODE = "code";
166:
167: // External signature methods
168: //////////////////////////////////
169:
170: /** Answer the root namespace for this version of the DIG protocol */
171: public String getDIGNamespace();
172:
173: /** Answer the location of the DIG schema for this version of the DIG protocol */
174: public String getSchemaLocation();
175:
176: /** Answer the HTTP Content-Type of a DIG request (e.g. text/xml) */
177: public String getContentType();
178:
179: /** Answer the string value of an error message denoting an inconsistent KB */
180: public String getInconsistentKBMessage();
181: }
182:
183: /*
184: * (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
185: * All rights reserved.
186: *
187: * Redistribution and use in source and binary forms, with or without
188: * modification, are permitted provided that the following conditions
189: * are met:
190: * 1. Redistributions of source code must retain the above copyright
191: * notice, this list of conditions and the following disclaimer.
192: * 2. Redistributions in binary form must reproduce the above copyright
193: * notice, this list of conditions and the following disclaimer in the
194: * documentation and/or other materials provided with the distribution.
195: * 3. The name of the author may not be used to endorse or promote products
196: * derived from this software without specific prior written permission.
197: *
198: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
199: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
200: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
201: * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
202: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
203: * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
204: * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
205: * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
206: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
207: * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
208: */
|