com.clarkparsia.pellet.sparqldl.engine

Class QuerySubsumption

java.lang.Object

com.clarkparsia.pellet.sparqldl.engine.QuerySubsumption

public class QuerySubsumption
extends Object

Implements various methods regarding conjunctive query subsumption based on the ABox freezing method.

Author:

Hector Perez-Urbina

Constructor Summary

Constructors

Constructor and Description
QuerySubsumption()

Method Summary

Modifier and Type	Method and Description
static QueryResult	getSubsumptionMappings(Query sub, Query sup) Computes the subsumption mappings between sub and sup
static boolean	isEquivalentTo(Query q1, Query q2) Checks whether sub is equivalent to sup
static boolean	isSubsumedBy(Query sub, Query sup) Checks whether sub is subsumed by sup

Methods inherited from class java.lang.Object

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

Constructor Detail

QuerySubsumption

public QuerySubsumption()

Method Detail

isEquivalentTo

public static boolean isEquivalentTo(Query q1,
                                     Query q2)

Checks whether sub is equivalent to sup

Parameters:

sub -

sup -

Returns:

isSubsumedBy

public static boolean isSubsumedBy(Query sub,
                                   Query sup)

Checks whether sub is subsumed by sup

Parameters:

sub -

sup -

Returns:

getSubsumptionMappings

public static QueryResult getSubsumptionMappings(Query sub,
                                                 Query sup)

Computes the subsumption mappings between sub and sup

Parameters:

sub -

sup -

backgroundKB -

Returns: