uk.ac.manchester.cs.owl.inference.dig11
Interface Vocab
public interface Vocab
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 21-Nov-2006
DEFCONCEPT
static final java.lang.String DEFCONCEPT
- See Also:
- Constant Field Values
DEFROLE
static final java.lang.String DEFROLE
- See Also:
- Constant Field Values
DEFINDIVIDUAL
static final java.lang.String DEFINDIVIDUAL
- See Also:
- Constant Field Values
TOP
static final java.lang.String TOP
- See Also:
- Constant Field Values
BOTTOM
static final java.lang.String BOTTOM
- See Also:
- Constant Field Values
CATOM
static final java.lang.String CATOM
- See Also:
- Constant Field Values
RATOM
static final java.lang.String RATOM
- See Also:
- Constant Field Values
INDIVIDUAL
static final java.lang.String INDIVIDUAL
- See Also:
- Constant Field Values
NAME
static final java.lang.String NAME
- See Also:
- Constant Field Values
AND
static final java.lang.String AND
- See Also:
- Constant Field Values
OR
static final java.lang.String OR
- See Also:
- Constant Field Values
NOT
static final java.lang.String NOT
- See Also:
- Constant Field Values
SOME
static final java.lang.String SOME
- See Also:
- Constant Field Values
ALL
static final java.lang.String ALL
- See Also:
- Constant Field Values
ATMOST
static final java.lang.String ATMOST
- See Also:
- Constant Field Values
ATLEST
static final java.lang.String ATLEST
- See Also:
- Constant Field Values
ISET
static final java.lang.String ISET
- See Also:
- Constant Field Values
INVERSE
static final java.lang.String INVERSE
- See Also:
- Constant Field Values
DISJOINT
static final java.lang.String DISJOINT
- See Also:
- Constant Field Values
EQUALC
static final java.lang.String EQUALC
- See Also:
- Constant Field Values
EQUALR
static final java.lang.String EQUALR
- See Also:
- Constant Field Values
IMPLIESC
static final java.lang.String IMPLIESC
- See Also:
- Constant Field Values
IMPLIESR
static final java.lang.String IMPLIESR
- See Also:
- Constant Field Values
FUNCTIONAL
static final java.lang.String FUNCTIONAL
- See Also:
- Constant Field Values
TRANSITIVE
static final java.lang.String TRANSITIVE
- See Also:
- Constant Field Values
DOMAIN
static final java.lang.String DOMAIN
- See Also:
- Constant Field Values
RANGE
static final java.lang.String RANGE
- See Also:
- Constant Field Values
RELATED
static final java.lang.String RELATED
- See Also:
- Constant Field Values
VALUE
static final java.lang.String VALUE
- See Also:
- Constant Field Values
INSTANCEOF
static final java.lang.String INSTANCEOF
- See Also:
- Constant Field Values
ASKS
static final java.lang.String ASKS
- See Also:
- Constant Field Values
TELLS
static final java.lang.String TELLS
- See Also:
- Constant Field Values
ALL_CONCEPT_NAMES
static final java.lang.String ALL_CONCEPT_NAMES
- See Also:
- Constant Field Values
ALL_ROLE_NAMES
static final java.lang.String ALL_ROLE_NAMES
- See Also:
- Constant Field Values
ALL_INDIVIDUALS
static final java.lang.String ALL_INDIVIDUALS
- See Also:
- Constant Field Values
SATISFIABLE
static final java.lang.String SATISFIABLE
- See Also:
- Constant Field Values
SUBSUMES
static final java.lang.String SUBSUMES
- See Also:
- Constant Field Values
PARENTS
static final java.lang.String PARENTS
- See Also:
- Constant Field Values
CHILDREN
static final java.lang.String CHILDREN
- See Also:
- Constant Field Values
ANCESTORS
static final java.lang.String ANCESTORS
- See Also:
- Constant Field Values
DESCENDANTS
static final java.lang.String DESCENDANTS
- See Also:
- Constant Field Values
EQUIVALENT
static final java.lang.String EQUIVALENT
- See Also:
- Constant Field Values
R_PARENTS
static final java.lang.String R_PARENTS
- See Also:
- Constant Field Values
R_CHILDREN
static final java.lang.String R_CHILDREN
- See Also:
- Constant Field Values
R_ANCESTORS
static final java.lang.String R_ANCESTORS
- See Also:
- Constant Field Values
R_DESCENDANTS
static final java.lang.String R_DESCENDANTS
- See Also:
- Constant Field Values
INSTANCES
static final java.lang.String INSTANCES
- See Also:
- Constant Field Values
TYPES
static final java.lang.String TYPES
- See Also:
- Constant Field Values
ROLE_FILLERS
static final java.lang.String ROLE_FILLERS
- See Also:
- Constant Field Values
VALUES
static final java.lang.String VALUES
- See Also:
- Constant Field Values
RELATED_INDIVIDUALS
static final java.lang.String RELATED_INDIVIDUALS
- See Also:
- Constant Field Values
TOLD_VALUES
static final java.lang.String TOLD_VALUES
- See Also:
- Constant Field Values
INSTANCE
static final java.lang.String INSTANCE
- See Also:
- Constant Field Values
UNIQUE_NAME_ASSUMPTION
static final java.lang.String UNIQUE_NAME_ASSUMPTION
- See Also:
- Constant Field Values
GET_IDENTIFIER
static final java.lang.String GET_IDENTIFIER
- See Also:
- Constant Field Values
NEW_KNOWLEDGE_BASE
static final java.lang.String NEW_KNOWLEDGE_BASE
- See Also:
- Constant Field Values
CLEAR_KNOWLEDGE_BASE
static final java.lang.String CLEAR_KNOWLEDGE_BASE
- See Also:
- Constant Field Values
RELEASE_KNOWLEDGE_BASE
static final java.lang.String RELEASE_KNOWLEDGE_BASE
- See Also:
- Constant Field Values
ERROR
static final java.lang.String ERROR
- See Also:
- Constant Field Values
TRUE
static final java.lang.String TRUE
- See Also:
- Constant Field Values
FALSE
static final java.lang.String FALSE
- See Also:
- Constant Field Values
CONCEPT_SET
static final java.lang.String CONCEPT_SET
- See Also:
- Constant Field Values
ROLE_SET
static final java.lang.String ROLE_SET
- See Also:
- Constant Field Values
INDIVIDUAL_SET
static final java.lang.String INDIVIDUAL_SET
- See Also:
- Constant Field Values
INDIVIDUAL_PAIR_SET
static final java.lang.String INDIVIDUAL_PAIR_SET
- See Also:
- Constant Field Values
INDIVIDUAL_PAIR
static final java.lang.String INDIVIDUAL_PAIR
- See Also:
- Constant Field Values
SYNONYMS
static final java.lang.String SYNONYMS
- See Also:
- Constant Field Values