public abstract class SubsumptionQuery extends Query
| Modifier and Type | Field and Description |
|---|---|
static int |
GOEDEL
Goedel implication
|
static int |
KLEENE_DIENES
Kleene-Dienes implication
|
static int |
LUKASIEWICZ
Lukasiewicz implication
|
static int |
ZADEH
Zadeh implication
|
| Constructor and Description |
|---|
SubsumptionQuery(Concept c1,
Concept c2,
int type) |
getTotalTime, preprocess, setInitialTime, setTotalTime, solve, toStringpublic static final int LUKASIEWICZ
public static final int GOEDEL
public static final int ZADEH
public static final int KLEENE_DIENES
public SubsumptionQuery(Concept c1, Concept c2, int type) throws FuzzyOntologyException
FuzzyOntologyException