org.mindswap.pellet.tbox.impl

Class TBoxBase

java.lang.Object

org.mindswap.pellet.tbox.impl.TBoxBase

Direct Known Subclasses:

TgBox, TuBox

public class TBoxBase
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected KnowledgeBase	kb
static Logger	log
protected TBoxExpImpl	tbox
protected Map<aterm.ATermAppl,TermDefinition>	termhash

Constructor Summary

Constructors

Constructor and Description
TBoxBase(TBoxExpImpl tbox)

Method Summary

Modifier and Type	Method and Description
boolean	addDef(aterm.ATermAppl def)
boolean	contains(aterm.ATerm name)
TermDefinition	getTD(aterm.ATerm name)
boolean	isEmpty()
boolean	removeDef(aterm.ATermAppl axiom)
int	size() Returns the number of term definitions stored in this TBox.

Methods inherited from class java.lang.Object

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

Field Detail

log

public static Logger log

kb

protected KnowledgeBase kb

tbox

protected TBoxExpImpl tbox

termhash

protected Map<aterm.ATermAppl,TermDefinition> termhash

Constructor Detail

TBoxBase

public TBoxBase(TBoxExpImpl tbox)

Method Detail

addDef

public boolean addDef(aterm.ATermAppl def)

removeDef

public boolean removeDef(aterm.ATermAppl axiom)

contains

public boolean contains(aterm.ATerm name)

getTD

public TermDefinition getTD(aterm.ATerm name)

isEmpty

public boolean isEmpty()

size

public int size()

Returns the number of term definitions stored in this TBox.

Returns: