it.unibz.inf.ontop.constraints

Class FullLinearInclusionDependencies<P extends AtomPredicate>

java.lang.Object

it.unibz.inf.ontop.constraints.LinearInclusionDependencies<P>

it.unibz.inf.ontop.constraints.FullLinearInclusionDependencies<P>

Type Parameters:

P -

public class FullLinearInclusionDependencies<P extends AtomPredicate>
extends LinearInclusionDependencies<P>

Full linear inclusion dependencies, which contain no existentially quantified variables

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FullLinearInclusionDependencies.Builder<P extends AtomPredicate>

Nested classes/interfaces inherited from class it.unibz.inf.ontop.constraints.LinearInclusionDependencies

LinearInclusionDependencies.LinearInclusionDependency<P extends AtomPredicate>

Field Summary

Fields inherited from class it.unibz.inf.ontop.constraints.LinearInclusionDependencies

atomFactory, dependencies

Method Summary

Modifier and Type	Method and Description
static <P extends AtomPredicate> FullLinearInclusionDependencies.Builder<P>	builder(CoreUtilsFactory coreUtilsFactory, AtomFactory atomFactory)
protected ImmutableHomomorphism	extendWithLabelledNulls(LinearInclusionDependencies.LinearInclusionDependency<P> id, ImmutableHomomorphism h)
protected void	registerVariables(DataAtom<P> atom)
protected void	registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)

Methods inherited from class it.unibz.inf.ontop.constraints.LinearInclusionDependencies

chaseAllAtoms, chaseAtom, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

builder

public static <P extends AtomPredicate> FullLinearInclusionDependencies.Builder<P> builder(CoreUtilsFactory coreUtilsFactory,
                                                                                           AtomFactory atomFactory)

extendWithLabelledNulls

protected ImmutableHomomorphism extendWithLabelledNulls(LinearInclusionDependencies.LinearInclusionDependency<P> id,
                                                        ImmutableHomomorphism h)

Overrides:

extendWithLabelledNulls in class LinearInclusionDependencies<P extends AtomPredicate>

registerVariables

protected void registerVariables(DataAtom<P> atom)

Overrides:

registerVariables in class LinearInclusionDependencies<P extends AtomPredicate>

registerVariables

protected void registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)

Overrides:

registerVariables in class LinearInclusionDependencies<P extends AtomPredicate>