org.dllearner.examples
Class KRKModular

java.lang.Object
  org.dllearner.examples.KRKModular

public class KRKModular
extends Object

Field Summary

KB	kb
ReasonerComponent	reasoner

Constructor Summary

KRKModular()

KRKModular(KB kb)

KRKModular(String concept)

Method Summary

void	addOneLineToKB(int x, String line)
void	addOneLineToKBinit(int x, String line)
static void	init()
static void	initAllInstancesAndReasoners()
static void	initAllInstancesWithoutReasoners()
void	initFIC()
void	initReasonerFact()
static void	main(String[] args)
static void	main1(String[] args)
static void	main2(String[] args)
void	makeDistanceRoles(KRKPiece A, KRKPiece B)
KB	makeOntologyTBox()
KB	makeOntologyTBox(String concept)
static SortedSet<Individual>	retrieveAll(Description d)
static SortedSet<Individual>	retrieveAll(String concept)
static String[]	tokenize(String s)

Methods inherited from class java.lang.Object

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

Field Detail

kb

public KB kb

reasoner

public ReasonerComponent reasoner

Constructor Detail

KRKModular

public KRKModular()

KRKModular

public KRKModular(KB kb)

KRKModular

public KRKModular(String concept)

Method Detail

init

public static void init()

main

public static void main(String[] args)

main1

public static void main1(String[] args)

main2

public static void main2(String[] args)

Parameters:

args -

initAllInstancesAndReasoners

public static void initAllInstancesAndReasoners()

initAllInstancesWithoutReasoners

public static void initAllInstancesWithoutReasoners()

retrieveAll

public static SortedSet<Individual> retrieveAll(String concept)

retrieveAll

public static SortedSet<Individual> retrieveAll(Description d)

initReasonerFact

public void initReasonerFact()

initFIC

public void initFIC()

makeOntologyTBox

public KB makeOntologyTBox()

makeOntologyTBox

public KB makeOntologyTBox(String concept)

addOneLineToKBinit

public void addOneLineToKBinit(int x,
                               String line)

addOneLineToKB

public void addOneLineToKB(int x,
                           String line)

makeDistanceRoles

public void makeDistanceRoles(KRKPiece A,
                              KRKPiece B)

tokenize

public static String[] tokenize(String s)