Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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 java.lang.Object

Field Summary
`static org.apache.commons.logging.Log` | `log`

Constructor Summary
`TBoxBase(KnowledgeBase kb)`

Method Summary
`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
`equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

### log

    public static org.apache.commons.logging.Log log

Constructor Detail

### TBoxBase

    public TBoxBase(KnowledgeBase kb)

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:

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Copyright © 2004 Evren Sirin. All Rights Reserved.