|
||||||||||
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 |