edu.stanford.smi.protegex.owl.inference.dig.translator
Interface DIGVocabulary.Language

Enclosing interface:

DIGVocabulary

public static interface DIGVocabulary.Language

Supported language elements

Field Summary

static String	ALL
static String	AND
static String	ATLEAST
static String	ATMOST
static String	ATTRIBUTE
static String	BOTTOM
static String	CATOM
static String	CHAIN
static String	CONCRETE
static String	DEFINED
static String	FEATURE
static String	INDIVIDUAL
static String	INT_EQUALS
static String	INT_MAX
static String	INT_MIN
static String	INT_RANGE
static String	INVERSE
static String	ISET
static String	IVAL
static String	NOT
static String	OR
static String	RATOM
static String	SOME
static String	STRING_EQUALS
static String	SVAL
static String	TOP

Field Detail

TOP

public static final String TOP

See Also:

Constant Field Values

BOTTOM

public static final String BOTTOM

See Also:

Constant Field Values

CATOM

public static final String CATOM

See Also:

Constant Field Values

RATOM

public static final String RATOM

See Also:

Constant Field Values

INT_MIN

public static final String INT_MIN

See Also:

Constant Field Values

INT_MAX

public static final String INT_MAX

See Also:

Constant Field Values

INT_RANGE

public static final String INT_RANGE

See Also:

Constant Field Values

INT_EQUALS

public static final String INT_EQUALS

See Also:

Constant Field Values

STRING_EQUALS

public static final String STRING_EQUALS

See Also:

Constant Field Values

DEFINED

public static final String DEFINED

See Also:

Constant Field Values

AND

public static final String AND

See Also:

Constant Field Values

OR

public static final String OR

See Also:

Constant Field Values

NOT

public static final String NOT

See Also:

Constant Field Values

SOME

public static final String SOME

See Also:

Constant Field Values

ALL

public static final String ALL

See Also:

Constant Field Values

ATMOST

public static final String ATMOST

See Also:

Constant Field Values

ATLEAST

public static final String ATLEAST

See Also:

Constant Field Values

ISET

public static final String ISET

See Also:

Constant Field Values

CONCRETE

public static final String CONCRETE

See Also:

Constant Field Values

INDIVIDUAL

public static final String INDIVIDUAL

See Also:

Constant Field Values

FEATURE

public static final String FEATURE

See Also:

Constant Field Values

ATTRIBUTE

public static final String ATTRIBUTE

See Also:

Constant Field Values

CHAIN

public static final String CHAIN

See Also:

Constant Field Values

INVERSE

public static final String INVERSE

See Also:

Constant Field Values

SVAL

public static final String SVAL

See Also:

Constant Field Values

IVAL

public static final String IVAL

See Also:

Constant Field Values