org.mindswap.pellet.tbox.impl
Class PrimitiveTBox

java.lang.Object
  extended by org.mindswap.pellet.tbox.impl.PrimitiveTBox

public class PrimitiveTBox
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
static java.util.logging.Logger log
           
 
Constructor Summary
PrimitiveTBox()
           
 
Method Summary
 boolean add(aterm.ATermAppl concept, aterm.ATermAppl definition, java.util.Set<aterm.ATermAppl> explanation)
           
 boolean contains(aterm.ATermAppl concept)
           
 Unfolding getDefinition(aterm.ATermAppl concept)
           
 void print(java.lang.Appendable out)
           
 boolean remove(aterm.ATermAppl axiom)
           
 java.util.Iterator<Unfolding> unfold(aterm.ATermAppl concept)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

public static final java.util.logging.Logger log
Constructor Detail

PrimitiveTBox

public PrimitiveTBox()
Method Detail

contains

public boolean contains(aterm.ATermAppl concept)

getDefinition

public Unfolding getDefinition(aterm.ATermAppl concept)

add

public boolean add(aterm.ATermAppl concept,
                   aterm.ATermAppl definition,
                   java.util.Set<aterm.ATermAppl> explanation)

remove

public boolean remove(aterm.ATermAppl axiom)

unfold

public java.util.Iterator<Unfolding> unfold(aterm.ATermAppl concept)

print

public void print(java.lang.Appendable out)
           throws java.io.IOException
Throws:
java.io.IOException


Copyright © 2004 Evren Sirin. All Rights Reserved.