org.mindswap.pellet.tbox.impl
Class TBoxImpl
java.lang.Object
org.mindswap.pellet.tbox.impl.TBoxImpl
- All Implemented Interfaces:
- TBox
- Direct Known Subclasses:
- TgBox, TuBox
public class TBoxImpl
- extends java.lang.Object
- implements TBox
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
TBoxImpl
public TBoxImpl(KnowledgeBase kb)
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.