|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use CompoundExpression | |
|---|---|
| org.omwg.logicalexpression | |
| Uses of CompoundExpression in org.omwg.logicalexpression |
|---|
| Subinterfaces of CompoundExpression in org.omwg.logicalexpression | |
|---|---|
interface |
Binary
This interface represents all binary logical expressions, as e.g. |
interface |
CompoundMolecule
Represents a compound molecule which is a container for simple molecules E.g., "x subConceptOf {y,z}" or "a[b hasValue c] memberOf d". |
interface |
Conjunction
This interface represents specific kind of Binary. |
interface |
Constraint
This interface stand for a specific kind of Unary,
a contraint. |
interface |
Disjunction
This interface represents specific kind of Binary. |
interface |
Equivalence
This interface represents specific kind of Binary. |
interface |
ExistentialQuantification
This interface represents quantified logical expressions, i.e. |
interface |
Implication
This interface represents specific kind of Binary. |
interface |
InverseImplication
This interface represents specific kind of Binary. |
interface |
LogicProgrammingRule
This interface stand for a specific kind of Binary,
a logic programming rule. |
interface |
Negation
This interface stand for a specific kind of Unary,
a negation. |
interface |
NegationAsFailure
|
interface |
Quantified
This interface represents quantified logical expressions, i.e. |
interface |
Unary
This interface stands for unary logical expressions, which consequently have a single operand. |
interface |
UniversalQuantification
This interface represents quantified logical expressions, i.e. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||