org.omwg.logicalexpression.terms
Interface ConstructedTerm

All Superinterfaces:

Term

All Known Subinterfaces:

BuiltInConstructedTerm

public interface ConstructedTerm
extends Term

The interface for constructed terms (function symbols). E.g. in the molecule jon[age(2005) hasValue 12] age(2005) is a function symbol. Function symbols are only allowed in WSML Rule and WSML FOL. Note that some data values (e.g. _date(2005,12,12) look syntactically like function symbols, but are transformed by the parser directly to a DataValue.

Version:

$Revision: 1350 $ $Date: 2005-11-28 17:36:42 +0200 (Mon, 28 Nov 2005) $

Author:

DERI Innsbruck, reto.krummenacher@deri.org, Holger Lausen

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.
List	listParameters() Return the list of all Parameters

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

listParameters

List listParameters()

Return the list of all Parameters

Returns:

list of parameter of the constructed term