org.mindswap.pellet.tbox.impl
Class PrimitiveTBox
java.lang.Object
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
|
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 |
log
public static final java.util.logging.Logger log
PrimitiveTBox
public PrimitiveTBox()
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.