org.mindswap.pellet.tbox.impl
Class TBoxImpl

java.lang.Object
  extended by org.mindswap.pellet.tbox.impl.TBoxImpl
All Implemented Interfaces:
TBox
Direct Known Subclasses:
TgBox, TuBox

public class TBoxImpl
extends java.lang.Object
implements TBox


Field Summary
static boolean DEBUG
           
static aterm.ATermFactory factory
           
 java.util.Map refersTo
           
 TgBox Tg
           
 TuBox Tu
           
 
Constructor Summary
TBoxImpl(KnowledgeBase kb)
           
 
Method Summary
 void absorb()
           
 void addAxiom(aterm.ATermAppl axiom)
           
 void addAxioms(aterm.ATermList axioms)
           
 void addAxioms(java.util.List axioms)
           
 void addClass(aterm.ATermAppl term)
           
 void addDef(aterm.ATermAppl def)
           
 void addPrintHook()
           
 boolean contains(aterm.ATerm name)
           
 java.util.Set getAllClasses()
           
 java.util.List getAxioms()
           
 java.util.List getAxioms(aterm.ATermAppl term)
           
 java.util.Set getClasses()
           
 TermDefinition getTD(aterm.ATerm name)
           
 int getTgSize()
           
 int getTuSize()
           
 aterm.ATermList getUC()
           
 java.util.Map getUnfoldingMap()
           
 void internalize()
           
 boolean isEmpty()
           
 boolean isPrimitive(aterm.ATermAppl c)
           
static void main(java.lang.String[] args)
           
 void normalize()
           
 void print()
           
static void printStatistics()
           
 int size()
          Returns the number of term definitions stored in this TBox.
 void split()
           
 java.util.List toList()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

DEBUG

public static boolean DEBUG

factory

public static final aterm.ATermFactory factory

refersTo

public java.util.Map refersTo

Tu

public TuBox Tu

Tg

public TgBox Tg
Constructor Detail

TBoxImpl

public TBoxImpl(KnowledgeBase kb)
Method Detail

addPrintHook

public void addPrintHook()

printStatistics

public static void printStatistics()

getAllClasses

public java.util.Set getAllClasses()
Specified by:
getAllClasses in interface TBox

addAxiom

public void addAxiom(aterm.ATermAppl axiom)
Specified by:
addAxiom in interface TBox

addAxioms

public void addAxioms(java.util.List axioms)

addAxioms

public void addAxioms(aterm.ATermList axioms)

getAxioms

public java.util.List getAxioms()
Specified by:
getAxioms in interface TBox

split

public void split()
Specified by:
split in interface TBox

absorb

public void absorb()
Specified by:
absorb in interface TBox
Parameters:
te -

isEmpty

public boolean isEmpty()
Specified by:
isEmpty in interface TBox

size

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

Specified by:
size in interface TBox
Returns:

getTD

public TermDefinition getTD(aterm.ATerm name)

contains

public boolean contains(aterm.ATerm name)

addDef

public void addDef(aterm.ATermAppl def)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

toList

public java.util.List toList()

main

public static void main(java.lang.String[] args)

getUC

public aterm.ATermList getUC()
Specified by:
getUC in interface TBox
Returns:
Returns the UC.

addClass

public void addClass(aterm.ATermAppl term)
Specified by:
addClass in interface TBox

getClasses

public java.util.Set getClasses()
Specified by:
getClasses in interface TBox

getAxioms

public java.util.List getAxioms(aterm.ATermAppl term)
Specified by:
getAxioms in interface TBox

normalize

public void normalize()
Specified by:
normalize in interface TBox

internalize

public void internalize()
Specified by:
internalize in interface TBox

getTgSize

public int getTgSize()
Specified by:
getTgSize in interface TBox

getTuSize

public int getTuSize()
Specified by:
getTuSize in interface TBox

getUnfoldingMap

public java.util.Map getUnfoldingMap()
Specified by:
getUnfoldingMap in interface TBox

print

public void print()
Specified by:
print in interface TBox

isPrimitive

public boolean isPrimitive(aterm.ATermAppl c)
Specified by:
isPrimitive in interface TBox


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