de.fau.cs.www8.jadeowlcodec
Class KnowledgeBase

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.KnowledgeBase

public class KnowledgeBase
extends java.lang.Object

Constructor Summary

KnowledgeBase(Uri.Other uri)

Method Summary

void	expandTBox(java.io.InputStream ins)
void	expandTBox(java.lang.String filename)
AssertionSet	getABox()
TBoxVersion	getCurrentTBox()
TBoxMerger	getMerger()
java.lang.String	getNewMessageNumber()
java.lang.String	getNextUID()
ReasonerKBHandle	getTBoxReasonerKB()
Uri.Other	getUri()
void	setMerger(TBoxMerger merger) Replace the default TBox merger with an instance of a different implementation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KnowledgeBase

public KnowledgeBase(Uri.Other uri)

Method Detail

getMerger

public TBoxMerger getMerger()

Returns:

Returns the default merger or the one last set.

setMerger

public void setMerger(TBoxMerger merger)

Replace the default TBox merger with an instance of a different implementation

Parameters:

merger - The merger to set.

getUri

public Uri.Other getUri()

Returns:

Returns the uri.

getNextUID

public java.lang.String getNextUID()

getCurrentTBox

public TBoxVersion getCurrentTBox()

Returns:

Returns the current TBoxVersion.

expandTBox

public void expandTBox(java.lang.String filename)
                throws TBoxMerger.MergeException,
                       java.io.FileNotFoundException

Throws:

TBoxMerger.MergeException

java.io.FileNotFoundException

expandTBox

public void expandTBox(java.io.InputStream ins)
                throws TBoxMerger.MergeException

Throws:

TBoxMerger.MergeException

getABox

public AssertionSet getABox()

getTBoxReasonerKB

public ReasonerKBHandle getTBoxReasonerKB()

getNewMessageNumber

public java.lang.String getNewMessageNumber()