com.clarkparsia.pellet.sparqldl.engine
Class QuerySubsumption

java.lang.Object
  extended by com.clarkparsia.pellet.sparqldl.engine.QuerySubsumption

public class QuerySubsumption
extends java.lang.Object

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

Author:
Hector Perez-Urbina

Constructor Summary
QuerySubsumption()
           
 
Method Summary
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
equals, 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:


Copyright © 2004 Evren Sirin. All Rights Reserved.