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: 1351 $ $Date: 2005-11-28 17:46:02 +0200 (Mon, 28 Nov 2005) $

Author:

DERI Innsbruck, reto.krummenacher@deri.org, Holger Lausen (holger.lausen@deri.org)

Method Summary

void	accept(Visitor v)
String	toString(TopEntity nsHolder) returns logical expression as string using the namespace definitions in the topEntity given as parameter

Method Detail

accept

void accept(Visitor v)

See Also:

Visitor

toString

String toString(TopEntity nsHolder)

returns logical expression as string using the namespace definitions in the topEntity given as parameter

Parameters:

nsHolder - TopEntity that namespace are used to abreviate full IRIs.

Returns:

String representation of logical expression using sQNames to abbreviate full IRIs