|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.sparqldl.engine.QuerySubsumption
public class QuerySubsumption
Implements various methods regarding conjunctive query subsumption based on the ABox freezing method.
| 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 |
|---|
public QuerySubsumption()
| Method Detail |
|---|
public static boolean isEquivalentTo(Query q1,
Query q2)
sub - sup -
public static boolean isSubsumedBy(Query sub,
Query sup)
sub - sup -
public static QueryResult getSubsumptionMappings(Query sub,
Query sup)
sub - sup - backgroundKB -
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||