org.mindswap.pellet.tbox
Interface TBox

All Known Implementing Classes:
TBoxImpl, TgBox, TuBox

public interface TBox


Method Summary
 void absorb()
           
 void addAxiom(aterm.ATermAppl axiom)
           
 void addClass(aterm.ATermAppl term)
           
 java.util.Set getAllClasses()
           
 java.util.List getAxioms()
           
 java.util.List getAxioms(aterm.ATermAppl term)
           
 java.util.Set getClasses()
           
 int getTgSize()
           
 int getTuSize()
           
 aterm.ATermList getUC()
           
 java.util.Map getUnfoldingMap()
           
 void internalize()
           
 boolean isEmpty()
           
 boolean isPrimitive(aterm.ATermAppl c)
           
 void normalize()
           
 void print()
           
 int size()
          Returns the number of term definitions stored in this TBox.
 void split()
           
 

Method Detail

addClass

void addClass(aterm.ATermAppl term)

getClasses

java.util.Set getClasses()

getAllClasses

java.util.Set getAllClasses()

addAxiom

void addAxiom(aterm.ATermAppl axiom)

getAxioms

java.util.List getAxioms()

getAxioms

java.util.List getAxioms(aterm.ATermAppl term)

split

void split()

absorb

void absorb()

normalize

void normalize()

internalize

void internalize()

isEmpty

boolean isEmpty()

isPrimitive

boolean isPrimitive(aterm.ATermAppl c)

size

int size()
Returns the number of term definitions stored in this TBox.

Returns:

getTgSize

int getTgSize()

getTuSize

int getTuSize()

getUC

aterm.ATermList getUC()
Returns:
Returns the UC.

getUnfoldingMap

java.util.Map getUnfoldingMap()

print

void print()


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.