org.omwg.logicalexpression
Interface LogicalExpression

All Known Subinterfaces:

Atom, AtomicExpression, AttributeConstraintMolecule, AttributeInferenceMolecule, AttributeMolecule, AttributeValueMolecule, Binary, BuiltInAtom, CompoundExpression, CompoundMolecule, Conjunction, Constraint, Disjunction, Equivalence, ExistentialQuantification, Implication, InverseImplication, LogicProgrammingRule, MembershipMolecule, Molecule, Negation, NegationAsFailure, Quantified, SubConceptMolecule, Unary, UniversalQuantification

public interface LogicalExpression

This interface represents a logical expression that is either an atomic or a compound logical expression.

Version:

$Revision: 1.4 $ $Date: 2005/09/21 08:15:39 $

Author:

DERI Innsbruck, reto.krummenacher@deri.org

See Also:

AtomicExpression, org.omwg.ontology.LogicalExpression

Method Summary

void	accept(Visitor v)

Method Detail

accept

void accept(Visitor v)

See Also:

Visitor