|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DIGProfile
Encapsulates the multiple extant versions of the DIG protocol, which have different expectations as to namespaces, XML encodings, and other variables. This allows us to parameterise the DIG interface to different DIG enabled tools.
Field Summary | |
---|---|
static java.lang.String |
ALL
|
static java.lang.String |
ALL_CONCEPT_NAMES
|
static java.lang.String |
ALL_INDIVIDUALS
|
static java.lang.String |
ALL_ROLE_NAMES
|
static java.lang.String |
ANCESTORS
|
static java.lang.String |
AND
|
static java.lang.String |
ASK
The DIG element denoting the ask capabilities of the reasoner |
static java.lang.String |
ASKS
|
static java.lang.String |
ATLEAST
|
static java.lang.String |
ATMOST
|
static java.lang.String |
ATTRIBUTE
|
static java.lang.String |
BOTTOM
|
static java.lang.String |
CATOM
|
static java.lang.String |
CHAIN
|
static java.lang.String |
CHILDREN
|
static java.lang.String |
CODE
|
static java.lang.String |
CONCEPT_SET
|
static java.lang.String |
DEFATTRIBUTE
|
static java.lang.String |
DEFCONCEPT
|
static java.lang.String |
DEFFEATURE
|
static java.lang.String |
DEFINDIVIDUAL
|
static java.lang.String |
DEFINED
|
static java.lang.String |
DEFROLE
|
static java.lang.String |
DESCENDANTS
|
static java.lang.String |
DISJOINT
|
static java.lang.String |
DOMAIN
|
static java.lang.String |
EQUALC
|
static java.lang.String |
EQUALR
|
static java.lang.String |
EQUIVALENTS
|
static java.lang.String |
ERROR
|
static java.lang.String |
FALSE
|
static java.lang.String |
FEATURE
|
static java.lang.String |
FUNCTIONAL
|
static java.lang.String |
GET_IDENTIFIER
The DIG verb to get the identification information on the reasoner |
static java.lang.String |
ID
|
static java.lang.String |
IMPLIESC
|
static java.lang.String |
IMPLIESR
|
static java.lang.String |
INDIVIDUAL
|
static java.lang.String |
INDIVIDUAL_PAIR
|
static java.lang.String |
INDIVIDUAL_PAIR_SET
|
static java.lang.String |
INDIVIDUAL_SET
|
static java.lang.String |
INSTANCE
|
static java.lang.String |
INSTANCEOF
|
static java.lang.String |
INSTANCES
|
static java.lang.String |
INTEQUALS
|
static java.lang.String |
INTMAX
|
static java.lang.String |
INTMIN
|
static java.lang.String |
INTRANGE
|
static java.lang.String |
INVERSE
|
static java.lang.String |
ISET
|
static java.lang.String |
IVAL
|
static java.lang.String |
KB
|
static java.lang.String |
LANGUAGE
The DIG element denoting the language capabilities of the reasoner |
static java.lang.String |
MAX
|
static java.lang.String |
MESSAGE
The DIG attribute denoting the version message string of a reasoner |
static java.lang.String |
MIN
|
static java.lang.String |
NAME
|
static java.lang.String |
NEWKB
|
static java.lang.String |
NOT
|
static java.lang.String |
NUM
|
static java.lang.String |
OK
|
static java.lang.String |
OR
|
static java.lang.String |
PARENTS
|
static java.lang.String |
RANCESTORS
|
static java.lang.String |
RANGE
|
static java.lang.String |
RANGEINT
|
static java.lang.String |
RANGESTRING
|
static java.lang.String |
RATOM
|
static java.lang.String |
RCHILDREN
|
static java.lang.String |
RDESCENDANTS
|
static java.lang.String |
RELATED
|
static java.lang.String |
RELATED_INDIVIDUALS
|
static java.lang.String |
RELEASEKB
|
static java.lang.String |
RESPONSE
|
static java.lang.String |
ROLE_FILLERS
|
static java.lang.String |
ROLE_SET
|
static java.lang.String |
RPARENTS
|
static java.lang.String |
SATISFIABLE
|
static java.lang.String |
SOME
|
static java.lang.String |
STRINGEQUALS
|
static java.lang.String |
STRINGMAX
|
static java.lang.String |
STRINGMIN
|
static java.lang.String |
STRINGRANGE
|
static java.lang.String |
SUBSUMES
|
static java.lang.String |
SUPPORTS
The DIG element denoting the capabilities of the reasoner |
static java.lang.String |
SVAL
|
static java.lang.String |
SYNONYMS
|
static java.lang.String |
TELL
The DIG element denoting the tell capabilities of the reasoner |
static java.lang.String |
TELLS
|
static java.lang.String |
TOLD_VALUES
|
static java.lang.String |
TOP
|
static java.lang.String |
TRANSITIVE
|
static java.lang.String |
TRUE
|
static java.lang.String |
TYPES
|
static java.lang.String |
URI
|
static java.lang.String |
VAL
|
static java.lang.String |
VALUE
|
static java.lang.String |
VERSION
The DIG attribute denoting the version string of a reasoner |
static java.lang.String |
WARNING
|
Method Summary | |
---|---|
java.lang.String |
getContentType()
Answer the HTTP Content-Type of a DIG request (e.g. text/xml) |
java.lang.String |
getDIGNamespace()
Answer the root namespace for this version of the DIG protocol |
java.lang.String |
getInconsistentKBMessage()
Answer the string value of an error message denoting an inconsistent KB |
java.lang.String |
getSchemaLocation()
Answer the location of the DIG schema for this version of the DIG protocol |
Field Detail |
---|
static final java.lang.String GET_IDENTIFIER
static final java.lang.String VERSION
static final java.lang.String MESSAGE
static final java.lang.String SUPPORTS
static final java.lang.String LANGUAGE
static final java.lang.String ASK
static final java.lang.String TELL
static final java.lang.String TELLS
static final java.lang.String ASKS
static final java.lang.String NEWKB
static final java.lang.String RELEASEKB
static final java.lang.String RESPONSE
static final java.lang.String OK
static final java.lang.String KB
static final java.lang.String ERROR
static final java.lang.String CONCEPT_SET
static final java.lang.String SYNONYMS
static final java.lang.String ROLE_SET
static final java.lang.String INDIVIDUAL_SET
static final java.lang.String INDIVIDUAL_PAIR_SET
static final java.lang.String INDIVIDUAL_PAIR
static final java.lang.String TRUE
static final java.lang.String FALSE
static final java.lang.String WARNING
static final java.lang.String ALL_CONCEPT_NAMES
static final java.lang.String ALL_ROLE_NAMES
static final java.lang.String ALL_INDIVIDUALS
static final java.lang.String SATISFIABLE
static final java.lang.String SUBSUMES
static final java.lang.String PARENTS
static final java.lang.String CHILDREN
static final java.lang.String ANCESTORS
static final java.lang.String DESCENDANTS
static final java.lang.String EQUIVALENTS
static final java.lang.String RPARENTS
static final java.lang.String RCHILDREN
static final java.lang.String RANCESTORS
static final java.lang.String RDESCENDANTS
static final java.lang.String INSTANCES
static final java.lang.String TYPES
static final java.lang.String INSTANCE
static final java.lang.String ROLE_FILLERS
static final java.lang.String RELATED_INDIVIDUALS
static final java.lang.String TOLD_VALUES
static final java.lang.String DEFCONCEPT
static final java.lang.String DEFROLE
static final java.lang.String DEFFEATURE
static final java.lang.String DEFATTRIBUTE
static final java.lang.String DEFINDIVIDUAL
static final java.lang.String IMPLIESC
static final java.lang.String EQUALC
static final java.lang.String DISJOINT
static final java.lang.String IMPLIESR
static final java.lang.String EQUALR
static final java.lang.String DOMAIN
static final java.lang.String RANGE
static final java.lang.String RANGEINT
static final java.lang.String RANGESTRING
static final java.lang.String TRANSITIVE
static final java.lang.String FUNCTIONAL
static final java.lang.String INSTANCEOF
static final java.lang.String RELATED
static final java.lang.String VALUE
static final java.lang.String TOP
static final java.lang.String BOTTOM
static final java.lang.String CATOM
static final java.lang.String AND
static final java.lang.String OR
static final java.lang.String NOT
static final java.lang.String SOME
static final java.lang.String ALL
static final java.lang.String ATMOST
static final java.lang.String ATLEAST
static final java.lang.String ISET
static final java.lang.String DEFINED
static final java.lang.String STRINGMIN
static final java.lang.String STRINGMAX
static final java.lang.String STRINGEQUALS
static final java.lang.String STRINGRANGE
static final java.lang.String INTMIN
static final java.lang.String INTMAX
static final java.lang.String INTEQUALS
static final java.lang.String INTRANGE
static final java.lang.String RATOM
static final java.lang.String FEATURE
static final java.lang.String INVERSE
static final java.lang.String ATTRIBUTE
static final java.lang.String CHAIN
static final java.lang.String INDIVIDUAL
static final java.lang.String NUM
static final java.lang.String IVAL
static final java.lang.String SVAL
static final java.lang.String NAME
static final java.lang.String VAL
static final java.lang.String MIN
static final java.lang.String MAX
static final java.lang.String URI
static final java.lang.String ID
static final java.lang.String CODE
Method Detail |
---|
java.lang.String getDIGNamespace()
java.lang.String getSchemaLocation()
java.lang.String getContentType()
java.lang.String getInconsistentKBMessage()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |