it.unibz.inf.ontop.substitution.impl

Class UnifierUtilities

java.lang.Object

it.unibz.inf.ontop.substitution.impl.UnifierUtilities

public class UnifierUtilities
extends Object

A Class that provides general utilities related to unification, of terms and atoms.

Author:

mariano

Constructor Summary

Constructors

Constructor and Description
UnifierUtilities(TermFactory termFactory, SubstitutionFactory substitutionFactory)

Method Summary

Modifier and Type	Method and Description
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	getMGU(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> args1, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> args2) Computes the Most General Unifier (MGU) for two n-ary atoms.

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifierUtilities

@Inject
public UnifierUtilities(TermFactory termFactory,
                                SubstitutionFactory substitutionFactory)

Method Detail

getMGU

public <T extends ImmutableTerm> Optional<ImmutableSubstitution<T>> getMGU(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> args1,
                                                                           it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> args2)

Computes the Most General Unifier (MGU) for two n-ary atoms.

Parameters:

args1 -

args2 -

Returns:

the substitution corresponding to this unification.