org.deri.iris.api.basics
Interface IAtom

All Superinterfaces:

Comparable<IAtom>

All Known Subinterfaces:

IBuiltinAtom

All Known Implementing Classes:

AbstractBuiltin, AddBuiltin, AddDayTimeDurationToDateBuiltin, AddDayTimeDurationToDateTimeBuiltin, AddDayTimeDurationToTimeBuiltin, AddYearMonthDurationToDateBuiltin, AddYearMonthDurationToDateTimeBuiltin, ArithmeticBuiltin, Atom, BooleanBuiltin, BooleanEqualBuiltin, BooleanGreaterBuiltin, BooleanLessBuiltin, BooleanNotBuiltin, ConversionBuiltin, DateEqualBuiltin, DateGreaterBuiltin, DateGreaterEqualBuiltin, DateLessBuiltin, DateLessEqualBuiltin, DateNotEqualBuiltin, DateSubtractBuiltin, DateTimeEqualBuiltin, DateTimeGreaterBuiltin, DateTimeGreaterEqualBuiltin, DateTimeLessBuiltin, DateTimeLessEqualBuiltin, DateTimeNotEqualBuiltin, DateTimeSubtractBuiltin, DayFromDateBuiltin, DayFromDateTimeBuiltin, DayPartBuiltin, DaysFromDurationBuiltin, DayTimeDurationAddBuiltin, DayTimeDurationDivideBuiltin, DayTimeDurationDivideByDayTimeDurationBuiltin, DayTimeDurationGreaterBuiltin, DayTimeDurationGreaterEqualBuiltin, DayTimeDurationLessBuiltin, DayTimeDurationLessEqualBuiltin, DayTimeDurationMultiplyBuiltin, DayTimeDurationSubtractBuiltin, DivideBuiltin, DurationEqualBuiltin, DurationNotEqualBuiltin, EqualBuiltin, ExactEqualBuiltin, FalseBuiltin, FunctionalBuiltin, GreaterBuiltin, GreaterEqualBuiltin, HourPartBuiltin, HoursFromDateTimeBuiltin, HoursFromDurationBuiltin, HoursFromTimeBuiltin, IriStringBuiltin, IsAnyURIBuiltin, IsBase64BinaryBuiltin, IsBooleanBuiltin, IsByteBuiltin, IsDatatypeBuiltin, IsDateBuiltin, IsDateTimeBuiltin, IsDateTimeStampBuiltin, IsDayTimeDurationBuiltin, IsDecimalBuiltin, IsDoubleBuiltin, IsDurationBuiltin, IsFloatBuiltin, IsGDayBuiltin, IsGMonthBuiltin, IsGMonthDayBuiltin, IsGYearBuiltin, IsGYearMonthBuiltin, IsHexBinaryBuiltin, IsIDBuiltin, IsIDREFBuiltin, IsIntBuiltin, IsIntegerBuiltin, IsIriBuiltin, IsLanguageBuiltin, IsLongBuiltin, IsNameBuiltin, IsNCNameBuiltin, IsNegativeIntegerBuiltin, IsNMTOKENBuiltin, IsNonNegativeIntegerBuiltin, IsNonPositiveIntegerBuiltin, IsNormalizedStringBuiltin, IsNotAnyURIBuiltin, IsNOTATIONBuiltin, IsNotBase64BinaryBuiltin, IsNotBooleanBuiltin, IsNotByteBuiltin, IsNotDatatypeBuiltin, IsNotDateBuiltin, IsNotDateTimeBuiltin, IsNotDateTimeStampBuiltin, IsNotDayTimeDurationBuiltin, IsNotDecimalBuiltin, IsNotDoubleBuiltin, IsNotDurationBuiltin, IsNotFloatBuiltin, IsNotGDayBuiltin, IsNotGMonthBuiltin, IsNotGMonthDayBuiltin, IsNotGYearBuiltin, IsNotGYearMonthBuiltin, IsNotHexBinaryBuiltin, IsNotIDBuiltin, IsNotIDREFBuiltin, IsNotIntBuiltin, IsNotIntegerBuiltin, IsNotIriBuiltin, IsNotLanguageBuiltin, IsNotLongBuiltin, IsNotNameBuiltin, IsNotNCNameBuiltin, IsNotNegativeIntegerBuiltin, IsNotNMTOKENBuiltin, IsNotNonNegativeIntegerBuiltin, IsNotNonPositiveIntegerBuiltin, IsNotNormalizedStringBuiltin, IsNotNOTATIONBuiltin, IsNotNumericBuiltin, IsNotPlainLiteralBuiltin, IsNotPositiveIntegerBuiltin, IsNotQNameBuiltin, IsNotShortBuiltin, IsNotSqNameBuiltin, IsNotStringBuiltin, IsNotTimeBuiltin, IsNotTokenBuiltin, IsNotUnsignedByteBuiltin, IsNotUnsignedIntBuiltin, IsNotUnsignedLongBuiltin, IsNotUnsignedShortBuiltin, IsNotXMLLiteralBuiltin, IsNotYearMonthDurationBuiltin, IsNumericBuiltin, IsPlainLiteralBuiltin, IsPositiveIntegerBuiltin, IsQNameBuiltin, IsShortBuiltin, IsSqNameBuiltin, IsStringBuiltin, IsTimeBuiltin, IsTokenBuiltin, IsUnsignedByteBuiltin, IsUnsignedIntBuiltin, IsUnsignedLongBuiltin, IsUnsignedShortBuiltin, IsXMLLiteralBuiltin, IsYearMonthDurationBuiltin, LangFromPlainLiteralBuiltin, LessBuiltin, LessEqualBuiltin, MaxBuiltin, MinutePartBuiltin, MinutesFromDateTimeBuiltin, MinutesFromDurationBuiltin, MinutesFromTimeBuiltin, ModulusBuiltin, MonthFromDateBuiltin, MonthFromDateTimeBuiltin, MonthPartBuiltin, MonthsFromDurationBuiltin, MultiplyBuiltin, NotEqualBuiltin, NotExactEqualBuiltin, NumericAddBuiltin, NumericDivideBuiltin, NumericEqualBuiltin, NumericGreaterBuiltin, NumericGreaterEqualBuiltin, NumericIntegerDivideBuiltin, NumericLessBuiltin, NumericLessEqualBuiltin, NumericModulusBuiltin, NumericMultiplyBuiltin, NumericNotEqualBuiltin, NumericSubtractBuiltin, PlainLiteralCompareBuiltin, PlainLiteralFromStringBuiltin, PlainLiteralFromStringLangBuiltin, PlainLiteralLengthBuiltin, RegexBuiltin, SameTypeBuiltin, SecondPartBuiltin, SecondsFromDateTimeBuiltin, SecondsFromDurationBuiltin, SecondsFromTimeBuiltin, StringCompareBuiltin, StringConcatBuiltin, StringContainsBuiltin, StringContainsWithoutCollationBuiltin, StringEndsWithBuiltin, StringEndsWithWithoutCollationBuiltin, StringEscapeHtmlUriBuiltin, StringFromPlainLiteralBuiltin, StringIriToUriBuiltin, StringJoinBuiltin, StringLengthBuiltin, StringMatchesBuiltin, StringMatchesWithoutFlagsBuiltin, StringReplaceBuiltin, StringReplaceWithoutFlagsBuiltin, StringStartsWithBuiltin, StringStartsWithWithoutCollationBuiltin, StringSubstringAfterBuiltin, StringSubstringAfterWithoutCollationBuiltin, StringSubstringBeforeBuiltin, StringSubstringBeforeWithoutCollationBuiltin, StringSubstringBuiltin, StringSubstringUntilEndBuiltin, StringToLowerBuiltin, StringToUpperBuiltin, StringUriEncodeBuiltin, SubtractBuiltin, SubtractDayTimeDurationFromDateBuiltin, SubtractDayTimeDurationFromDateTimeBuiltin, SubtractDayTimeDurationFromTimeBuiltin, SubtractYearMonthDurationFromDateBuiltin, SubtractYearMonthDurationFromDateTimeBuiltin, TimeEqualBuiltin, TimeGreaterBuiltin, TimeGreaterEqualBuiltin, TimeLessBuiltin, TimeLessEqualBuiltin, TimeNotEqualBuiltin, TimeSubtractBuiltin, TimezoneFromDateBuiltin, TimezoneFromDateTimeBuiltin, TimezoneFromTimeBuiltin, TimezonePartBuiltin, ToBase64Builtin, ToBooleanBuiltin, ToDateBuiltin, ToDateTimeBuiltin, ToDayTimeDurationBuiltin, ToDecimalBuiltin, ToDoubleBuiltin, ToDurationBuiltin, ToFloatBuiltin, ToGDayBuiltin, ToGMonthBuiltin, ToGMonthDayBuiltin, ToGYearBuiltin, ToGYearMonthBuiltin, ToHexBinaryBuiltin, ToIntegerBuiltin, ToIriBuiltin, ToPlainLiteralBuiltin, ToStringBuiltin, ToTimeBuiltin, ToXMLLiteralBuiltin, ToYearMonthDurationBuiltin, TrueBuiltin, XMLLiteralEqualBuiltin, XMLLiteralNotEqualBuiltin, YearFromDateBuiltin, YearFromDateTimeBuiltin, YearMonthDurationAddBuiltin, YearMonthDurationDivideBuiltin, YearMonthDurationDivideByYearMonthDurationBuiltin, YearMonthDurationGreaterBuiltin, YearMonthDurationGreaterEqualBuiltin, YearMonthDurationLessBuiltin, YearMonthDurationLessEqualBuiltin, YearMonthDurationMultiplyBuiltin, YearMonthDurationSubtractBuiltin, YearPartBuiltin, YearsFromDurationBuiltin

public interface IAtom
extends Comparable<IAtom>

An atom (an atomic formula) is a formula that has no subformulas. Atom consists of a predicate symbol and a tuple (a list of arguments), e.g., p(A1,...,An), where p is a predicate symbol and A1,...,An is a tuple (a list of arguments).

This interface is used to promote modularity of the inference engine.

$Id: IAtom.java,v 1.6 2007-10-09 20:17:49 bazbishop237 Exp $

Version:

$Revision: 1.6 $

Author:

Darko Anicic, DERI Innsbruck, Richard P??ttler, richard dot poettler at deri dot org

Method Summary

IPredicate	getPredicate() Returns the predicate symbol of the atom.
ITuple	getTuple() Returns the tuple of the atom.
boolean	isBuiltin() Returns whether this atom is a builtin one, or not.
boolean	isGround() Checks whether the atom is grounded (tuple contains no variables).

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getPredicate

IPredicate getPredicate()

Returns the predicate symbol of the atom.

Returns:

The predicate symbol.

getTuple

ITuple getTuple()

Returns the tuple of the atom.

Returns:

The tuple.

isGround

boolean isGround()

Checks whether the atom is grounded (tuple contains no variables).

Returns:

True if the atom is grounded, otherwise false.

isBuiltin

boolean isBuiltin()

Returns whether this atom is a builtin one, or not.

Returns:

true if it is builtin, otherwise false

Since:

0.3