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

Enclosing interface:

DIGVocabulary

public static interface DIGVocabulary.Ask

Supported ask operations/queries

Field Summary

static String	ALL_CONCEPT_NAMES
static String	ALL_INDIVIDUALS
static String	ALL_ROLE_NAMES
static String	ANCESTORS
static String	CHILDREN
static String	DESCENDANTS
static String	DISJOINT
static String	EQUIVALENT
static String	INSTANCE
static String	INSTANCES
static String	PARENTS
static String	R_ANCESTORS
static String	R_CHILDREN
static String	R_DESCENDANTS
static String	R_PARENTS
static String	RELATED_INDIVIDUALS
static String	ROLE_FILLERS
static String	SATISFIABLE
static String	SUBSUMES
static String	TOLD_VALUES
static String	TYPES
static String	UNIQUE_NAME_ASSUMPTION
static String	VALUES

Field Detail

ALL_CONCEPT_NAMES

public static final String ALL_CONCEPT_NAMES

See Also:

Constant Field Values

ALL_ROLE_NAMES

public static final String ALL_ROLE_NAMES

See Also:

Constant Field Values

ALL_INDIVIDUALS

public static final String ALL_INDIVIDUALS

See Also:

Constant Field Values

SATISFIABLE

public static final String SATISFIABLE

See Also:

Constant Field Values

SUBSUMES

public static final String SUBSUMES

See Also:

Constant Field Values

PARENTS

public static final String PARENTS

See Also:

Constant Field Values

CHILDREN

public static final String CHILDREN

See Also:

Constant Field Values

ANCESTORS

public static final String ANCESTORS

See Also:

Constant Field Values

DESCENDANTS

public static final String DESCENDANTS

See Also:

Constant Field Values

EQUIVALENT

public static final String EQUIVALENT

See Also:

Constant Field Values

R_PARENTS

public static final String R_PARENTS

See Also:

Constant Field Values

R_CHILDREN

public static final String R_CHILDREN

See Also:

Constant Field Values

R_ANCESTORS

public static final String R_ANCESTORS

See Also:

Constant Field Values

R_DESCENDANTS

public static final String R_DESCENDANTS

See Also:

Constant Field Values

INSTANCES

public static final String INSTANCES

See Also:

Constant Field Values

TYPES

public static final String TYPES

See Also:

Constant Field Values

ROLE_FILLERS

public static final String ROLE_FILLERS

See Also:

Constant Field Values

VALUES

public static final String VALUES

See Also:

Constant Field Values

RELATED_INDIVIDUALS

public static final String RELATED_INDIVIDUALS

See Also:

Constant Field Values

TOLD_VALUES

public static final String TOLD_VALUES

See Also:

Constant Field Values

INSTANCE

public static final String INSTANCE

See Also:

Constant Field Values

UNIQUE_NAME_ASSUMPTION

public static final String UNIQUE_NAME_ASSUMPTION

See Also:

Constant Field Values

DISJOINT

public static final String DISJOINT

See Also:

Constant Field Values