org.dllearner.reasoning
Class FastRetrieval

java.lang.Object
  org.dllearner.reasoning.FastRetrieval

public class FastRetrieval
extends Object

Constructor Summary

FastRetrieval(FlatABox abox)

Method Summary

static SortedSetTuple<String>	calculateAllSet(FlatABox abox, String roleName, SortedSetTuple<String> child)
static SortedSetTuple<String>	calculateConjunctionSets(SortedSetTuple<String> child1, SortedSetTuple<String> child2)
static SortedSetTuple<String>	calculateDisjunctionSets(SortedSetTuple<String> child1, SortedSetTuple<String> child2)
static SortedSetTuple<String>	calculateExistsSet(FlatABox abox, String roleName, SortedSetTuple<String> child)
static SortedSetTuple<String>	calculateNegationSet(SortedSetTuple<String> child)
SortedSetTuple<String>	calculateSets(Description concept)
SortedSetTuple<String>	calculateSetsADC(Description concept, SortedSetTuple<String> adcSet)
FlatABox	getAbox()

Methods inherited from class java.lang.Object

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

Constructor Detail

FastRetrieval

public FastRetrieval(FlatABox abox)

Method Detail

calculateSets

public SortedSetTuple<String> calculateSets(Description concept)

calculateSetsADC

public SortedSetTuple<String> calculateSetsADC(Description concept,
                                               SortedSetTuple<String> adcSet)

calculateConjunctionSets

public static SortedSetTuple<String> calculateConjunctionSets(SortedSetTuple<String> child1,
                                                              SortedSetTuple<String> child2)

calculateDisjunctionSets

public static SortedSetTuple<String> calculateDisjunctionSets(SortedSetTuple<String> child1,
                                                              SortedSetTuple<String> child2)

calculateNegationSet

public static SortedSetTuple<String> calculateNegationSet(SortedSetTuple<String> child)

calculateExistsSet

public static SortedSetTuple<String> calculateExistsSet(FlatABox abox,
                                                        String roleName,
                                                        SortedSetTuple<String> child)

calculateAllSet

public static SortedSetTuple<String> calculateAllSet(FlatABox abox,
                                                     String roleName,
                                                     SortedSetTuple<String> child)

getAbox

public FlatABox getAbox()