Package org.deri.wsmo4j.logicalexpression

Class Summary
AbstractVisitor This abstract class represents a visitor for the logical expression tree structure.
AtomImpl This class is an atom expression with a n-ary domain, where n is the arity of the predicate represented
AttributeConstraintMoleculeImpl implements AttributeContraintMolecule
AttributeInferenceMoleculeImpl  
AttributeMoleculeImpl  
AttributeValueMoleculeImpl  
BinaryImpl This class reunites all binary logical expressions (e.g LogExpr1 op LogExpr2)
BuiltInAtomImpl Created on Sep 7, 2005 Committed by $Author$ $Source$,
CompoundMoleculeImpl Represents a Compount Molecule
ConjunctionImpl  
ConstantTransformer This singleton class is used to transform forth and back the built-in predicate names and datatypes from IRI to short notation.
ConstraintImpl  
DisjunctionImpl  
EquationImpl  
ExistentialQuantificationImpl  
ImplicationImpl  
InverseImplicationImpl  
LogicalExpressionImpl This class reunites all Logical Expression
LogicProgrammingRuleImpl  
MemberShipMoleculeImpl Represents a membership molecule
MoleculeImpl This class reunites all molecular simple logical expressions
NegationAsFailureImpl  
NegationImpl  
QuantifiedImpl This abstract class reunites all quantified logical expressions (e.g qfier {Term} LogExpr)
SubConceptMoleculeImpl Represents a sub concept of molecule
UnaryImpl This class reunites all unary logical expressions (e.g op LogExpr)
UniversalQuantificationImpl  
 



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