Uses of Interface
org.omwg.logicalexpression.CompoundExpression

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.
 



Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.