fuzzydl
Class SubsumptionQuery

java.lang.Object
  fuzzydl.Query
      fuzzydl.SubsumptionQuery

Direct Known Subclasses:

MaxSubsumesQuery, MinSubsumesQuery

public abstract class SubsumptionQuery
extends Query

Field Summary

protected Concept	c1 Subsumed concept
protected Concept	c2 Subsumer concept
static int	DEFAULT Default implication, depending on the solver, "z", "l", "c"...
static int	GODEL Goedel implication
static int	LUKASIEWICZ Lukasiewicz implication
protected Expression	objExpr Objective epxression
protected int	type Fuzzy implication used.
static int	ZADEH Kleene-Dienes implication

Constructor Summary

SubsumptionQuery()

Method Summary

Methods inherited from class fuzzydl.Query

preprocess, solve

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

c1

protected Concept c1

Subsumed concept

c2

protected Concept c2

Subsumer concept

type

protected int type

Fuzzy implication used.

objExpr

protected Expression objExpr

Objective epxression

LUKASIEWICZ

public static final int LUKASIEWICZ

Lukasiewicz implication

See Also:

Constant Field Values

GODEL

public static final int GODEL

Goedel implication

See Also:

Constant Field Values

ZADEH

public static final int ZADEH

Kleene-Dienes implication

See Also:

Constant Field Values

DEFAULT

public static final int DEFAULT

Default implication, depending on the solver, "z", "l", "c"...

See Also:

Constant Field Values

Constructor Detail

SubsumptionQuery

public SubsumptionQuery()