public abstract class SubsumptionQuery extends Query
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT
Default implication, depending on the solver, "z", "l", "c"...
|
static int |
GODEL
Goedel implication
|
static int |
LUKASIEWICZ
Lukasiewicz implication
|
static int |
ZADEH
Kleene-Dienes implication
|
Constructor and Description |
---|
SubsumptionQuery(Concept c1,
Concept c2,
int type) |
preprocess, solve, toString
public static final int LUKASIEWICZ
public static final int GODEL
public static final int ZADEH
public static final int DEFAULT
public SubsumptionQuery(Concept c1, Concept c2, int type) throws FuzzyOntologyException
FuzzyOntologyException