org.dllearner.examples
Class KRKOntologyTBox

java.lang.Object
  org.dllearner.examples.KRKOntologyTBox

public class KRKOntologyTBox
extends Object

Constructor Summary

KRKOntologyTBox()

Method Summary

void	addConcept(String concept)
void	finishBackgroundForRoles()
KB	getKb()
void	initOntologyTBox()

Methods inherited from class java.lang.Object

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

Constructor Detail

KRKOntologyTBox

public KRKOntologyTBox()

Method Detail

addConcept

public void addConcept(String concept)

initOntologyTBox

public void initOntologyTBox()

finishBackgroundForRoles

public void finishBackgroundForRoles()

getKb

public KB getKb()