org.mindswap.pellet.tbox.impl
Class TgBox

java.lang.Object
  org.mindswap.pellet.tbox.impl.TBoxBase
      org.mindswap.pellet.tbox.impl.TgBox

public class TgBox
extends TBoxBase

Field Summary

static java.util.logging.Logger

log

Constructor Summary

TgBox(KnowledgeBase kb)

Method Summary

void	absorb(TuBox Tu, TBox tbox)
java.util.List<Pair<aterm.ATermAppl,DependencySet>>	getUC()
void	internalize(TBox tbox)
void	print()
void	print(java.lang.Appendable out)
int	size() Returns the number of term definitions stored in this TBox.
java.lang.String	toString()

Methods inherited from class org.mindswap.pellet.tbox.impl.TBoxBase

addDef, contains, getTD, isEmpty, removeDef

Methods inherited from class java.lang.Object

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

Field Detail

log

public static java.util.logging.Logger log

Constructor Detail

TgBox

public TgBox(KnowledgeBase kb)

Method Detail

internalize

public void internalize(TBox tbox)

absorb

public void absorb(TuBox Tu,
                   TBox tbox)

getUC

public java.util.List<Pair<aterm.ATermAppl,DependencySet>> getUC()

Returns:

Returns the UC.

size

public int size()

Description copied from class: TBoxBase

Returns the number of term definitions stored in this TBox.

Overrides:

size in class TBoxBase

Returns:

print

public void print(java.lang.Appendable out)

print

public void print()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object