it.unibz.inf.ontop.constraints

Class LinearInclusionDependencies<P extends AtomPredicate>

java.lang.Object

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

Direct Known Subclasses:

FullLinearInclusionDependencies

public class LinearInclusionDependencies<P extends AtomPredicate>
extends Object

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field and Description
protected AtomFactory	atomFactory
protected com.google.common.collect.ImmutableList<LinearInclusionDependencies.LinearInclusionDependency<P>>	dependencies

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LinearInclusionDependencies(CoreUtilsFactory coreUtilsFactory, AtomFactory atomFactory, com.google.common.collect.ImmutableList<LinearInclusionDependencies.LinearInclusionDependency<P>> dependencies)

Method Summary

Modifier and Type	Method and Description
static <P extends AtomPredicate> LinearInclusionDependencies.Builder<P>	builder(CoreUtilsFactory coreUtilsFactory, AtomFactory atomFactory)
com.google.common.collect.ImmutableSet<DataAtom<P>>	chaseAllAtoms(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms) Chases given atoms with the linear inclusions dependencies IMPORTANT: each dependency is applied only ONCE to each atom
com.google.common.collect.ImmutableSet<DataAtom<P>>	chaseAtom(DataAtom<P> atom) Chases a given atom with the linear inclusions dependencies IMPORTANT: each dependency is applied only ONCE to the atom
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)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

atomFactory

protected final AtomFactory atomFactory

dependencies

protected final com.google.common.collect.ImmutableList<LinearInclusionDependencies.LinearInclusionDependency<P extends AtomPredicate>> dependencies

Constructor Detail

LinearInclusionDependencies

protected LinearInclusionDependencies(CoreUtilsFactory coreUtilsFactory,
                                      AtomFactory atomFactory,
                                      com.google.common.collect.ImmutableList<LinearInclusionDependencies.LinearInclusionDependency<P>> dependencies)

Method Detail

builder

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

chaseAtom

public com.google.common.collect.ImmutableSet<DataAtom<P>> chaseAtom(DataAtom<P> atom)

Chases a given atom with the linear inclusions dependencies IMPORTANT: each dependency is applied only ONCE to the atom

Parameters:

atom - to be chased

Returns:

set of atoms

chaseAllAtoms

public com.google.common.collect.ImmutableSet<DataAtom<P>> chaseAllAtoms(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)

Chases given atoms with the linear inclusions dependencies IMPORTANT: each dependency is applied only ONCE to each atom

Parameters:

atoms - to be chased

Returns:

set of atoms

registerVariables

protected void registerVariables(DataAtom<P> atom)

registerVariables

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

extendWithLabelledNulls

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

toString

public String toString()

Overrides:

toString in class Object