it.unibz.inf.ontop.model.atom

Interface AtomPredicate

All Superinterfaces:

Predicate

All Known Subinterfaces:

QuadPredicate, RDFAtomPredicate, RelationPredicate, TriplePredicate

All Known Implementing Classes:

AtomPredicateImpl, QuadPredicateImpl, RDFAtomPredicateImpl, TriplePredicateImpl

public interface AtomPredicate
extends Predicate

TODO: explain

Method Summary

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<TermType>	getBaseTypesForValidation() Returns a base term type for each of its arguments.

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.Predicate

getArity, getName

Method Detail

getBaseTypesForValidation

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<TermType> getBaseTypesForValidation()

Returns a base term type for each of its arguments. Since a base type may not type precisely the argument (can be very abstract), it is expected to be used for VALIDATION ONLY (that is detecting obvious inconsistencies), NOT FOR precise type inference.