| uk.ac.manchester.cs.owl.inference.dig11.Vocab |
public static final java.lang.String |
ALL |
"all" |
public static final java.lang.String |
ALL_CONCEPT_NAMES |
"allConceptNames" |
public static final java.lang.String |
ALL_INDIVIDUALS |
"allIndividuals" |
public static final java.lang.String |
ALL_ROLE_NAMES |
"allRoleNames" |
public static final java.lang.String |
ANCESTORS |
"ancestors" |
public static final java.lang.String |
AND |
"and" |
public static final java.lang.String |
ASKS |
"asks" |
public static final java.lang.String |
ATLEST |
"atleast" |
public static final java.lang.String |
ATMOST |
"atmost" |
public static final java.lang.String |
BOTTOM |
"bottom" |
public static final java.lang.String |
CATOM |
"catom" |
public static final java.lang.String |
CHILDREN |
"children" |
public static final java.lang.String |
CLEAR_KNOWLEDGE_BASE |
"clearKB" |
public static final java.lang.String |
CONCEPT_SET |
"conceptSet" |
public static final java.lang.String |
DEFCONCEPT |
"defconcept" |
public static final java.lang.String |
DEFINDIVIDUAL |
"defindividual" |
public static final java.lang.String |
DEFROLE |
"defrole" |
public static final java.lang.String |
DESCENDANTS |
"descendants" |
public static final java.lang.String |
DISJOINT |
"disjoint" |
public static final java.lang.String |
DOMAIN |
"domain" |
public static final java.lang.String |
EQUALC |
"equalc" |
public static final java.lang.String |
EQUALR |
"equalr" |
public static final java.lang.String |
EQUIVALENT |
"equivalents" |
public static final java.lang.String |
ERROR |
"error" |
public static final java.lang.String |
FALSE |
"false" |
public static final java.lang.String |
FUNCTIONAL |
"functional" |
public static final java.lang.String |
GET_IDENTIFIER |
"getIdentifier" |
public static final java.lang.String |
IMPLIESC |
"impliesc" |
public static final java.lang.String |
IMPLIESR |
"impliesr" |
public static final java.lang.String |
INDIVIDUAL |
"individual" |
public static final java.lang.String |
INDIVIDUAL_PAIR |
"individualPair" |
public static final java.lang.String |
INDIVIDUAL_PAIR_SET |
"individualPairSet" |
public static final java.lang.String |
INDIVIDUAL_SET |
"individualSet" |
public static final java.lang.String |
INSTANCE |
"instance" |
public static final java.lang.String |
INSTANCEOF |
"instanceof" |
public static final java.lang.String |
INSTANCES |
"instances" |
public static final java.lang.String |
INVERSE |
"inverse" |
public static final java.lang.String |
ISET |
"iset" |
public static final java.lang.String |
NAME |
"name" |
public static final java.lang.String |
NEW_KNOWLEDGE_BASE |
"newKB" |
public static final java.lang.String |
NOT |
"not" |
public static final java.lang.String |
OR |
"or" |
public static final java.lang.String |
PARENTS |
"parents" |
public static final java.lang.String |
R_ANCESTORS |
"rancestors" |
public static final java.lang.String |
R_CHILDREN |
"rchildren" |
public static final java.lang.String |
R_DESCENDANTS |
"rdescendants" |
public static final java.lang.String |
R_PARENTS |
"rparents" |
public static final java.lang.String |
RANGE |
"range" |
public static final java.lang.String |
RATOM |
"ratom" |
public static final java.lang.String |
RELATED |
"related" |
public static final java.lang.String |
RELATED_INDIVIDUALS |
"relatedIndividuals" |
public static final java.lang.String |
RELEASE_KNOWLEDGE_BASE |
"releaseKB" |
public static final java.lang.String |
ROLE_FILLERS |
"rolefillers" |
public static final java.lang.String |
ROLE_SET |
"roleSet" |
public static final java.lang.String |
SATISFIABLE |
"satisfiable" |
public static final java.lang.String |
SOME |
"some" |
public static final java.lang.String |
SUBSUMES |
"subsumes" |
public static final java.lang.String |
SYNONYMS |
"synonyms" |
public static final java.lang.String |
TELLS |
"tells" |
public static final java.lang.String |
TOLD_VALUES |
"toldValues" |
public static final java.lang.String |
TOP |
"top" |
public static final java.lang.String |
TRANSITIVE |
"transitive" |
public static final java.lang.String |
TRUE |
"true" |
public static final java.lang.String |
TYPES |
"types" |
public static final java.lang.String |
UNIQUE_NAME_ASSUMPTION |
"uniqueNameAssumption" |
public static final java.lang.String |
VALUE |
"value" |
public static final java.lang.String |
VALUES |
"values" |