org.mindswap.pellet.tbox
Interface TBox
- All Known Implementing Classes:
- TBoxImpl, TgBox, TuBox
public interface TBox
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.