|
||||||||||
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 |