org.omwg.logicalexpression.terms
Interface ConstructedTerm

All Superinterfaces:

Term

All Known Subinterfaces:

BuiltInConstructedTerm

public interface ConstructedTerm
extends Term

The interface for constructed terms like function symbols or datatype wrappers

Version:

$Revision: 1.3 $ $Date: 2005/09/09 11:58:20 $

Author:

DERI Innsbruck, reto.krummenacher@deri.org

See Also:

Term

Method Summary

int	getArity() The arity of the ConstructedTerm indicates how many Terms are contained in the Term's list of arguments.
IRI	getFunctionSymbol() The returned IRI represents the name of the ConstructedTerm.
Term	getParameter(int i) The index i points to a position in the ConstructedTerm's list of arguments.

Methods inherited from interface org.omwg.logicalexpression.terms.Term

accept

Method Detail

getArity

int getArity()

The arity of the ConstructedTerm indicates how many Terms are contained in the Term's list of arguments.

Returns:

the arity of the term, i.e. the number of parameters

getFunctionSymbol

IRI getFunctionSymbol()

The returned IRI represents the name of the ConstructedTerm.

Returns:

the name of the term, in wsml only possible in form of an IRI

getParameter

Term getParameter(int i)

The index i points to a position in the ConstructedTerm's list of arguments. The desired Term, to which the index points, is returned.

Parameters:

i - the position of the parameter desired, maximal getArity()-1

Returns:

the chosen parameter