Package com.semedy.reasoner.symboltable

Class ReasoningSymbolTableRAM

java.lang.Object

com.semedy.reasoner.symboltable.AbstractSymbolTable

com.semedy.reasoner.symboltable.ReasoningSymbolTableRAM

All Implemented Interfaces:

SymbolTable, ReasoningSymbolTable, Closeable, AutoCloseable, Iterable<Object>

public class ReasoningSymbolTableRAM
extends AbstractSymbolTable
implements ReasoningSymbolTable

Provides all functionality for handling a symbol table in main memory for reasoning.
If for an object a code is searched/created it is first searched in edb symbol table.
If the code is not found in edb symbol table a new one is created here.
Thus the codes created during reasoning are clearly separated from the codes in edb
and can be thrown away after reasoning is finished.

Field Summary

Fields

Modifier and Type	Field	Description
static final long	_reasoning

Constructor Summary

Constructors

Constructor	Description
ReasoningSymbolTableRAM(ExternalDataTypeProvider dataTypes, boolean directencoding, int termlength)
ReasoningSymbolTableRAM(ExternalDataTypeProvider dataTypes, boolean directencoding, SymbolTable edbsymboltable, int termlength)	is it the reasoning symbol table

Method Summary

Modifier and Type	Method	Description
void	addSymbolTableIndex(SymbolTableIndex index)	Adds an index to the symbol table.
boolean	checkSanity(boolean shadow)	check sanity
void	clear()	remove all symbols
void	close()	Close symbol table.
void	commit()	commit transaction
long	createFunctionCode(long[] t, Function f)	create function code
void	delete()	delete all / release files
long	encodeNotInternalize(Object t)	Returns a code for an object but does not internalize the object.
long	encodeWOEncoding(Object t)	Internalize a value.
void	flush()	flushes symbol table.
ExternalDataTypeProvider	getExternalDataTypes()	get the provider for external data types
long	getFunctionCode(long[] t)	get function code
long[]	getFunctionEncoding(long code)	get the encoding of a function code, if it is there
GeoIndex	getGeoIndex()	get geo index
TextIndex	getTextIndex()	get text index
Object	getValue(long code, boolean b)
Function	getValueFunction(long code)	get function for symbol code
Function	getValueFunction(long code, boolean decodeSets)	Produce a value from the code.
Object	getValueSymbol(long code)	get object for symbol code
Object	getValueSymbol(long code, boolean decodeSets)	Produce a value from the code.
boolean	hasIndices()	are there any indices attached to symbol table?
boolean	inTransaction()	is symbol table within a transaction
boolean	isBulkMode()	is symbol table in bulk mode
boolean	isCreatedDuringReasoning(long code)	indicated for a code, that the corresponding symbol has been created during reasoning
boolean	isEmpty()	is symbol table empty (now symbols stored)
SymbolTableIterator	iterator()	get an iterator for all symbols
long	lastModificationTime()	returns the last time a modification took place
void	notifySymbol(String symbol, long code)
void	removeNotInternalized(long code)	remove a non internalized term from symbol table
void	removeSymbolTableIndex(SymbolTableIndex index)	removes the given symbol table index.
void	reOpen()
void	resetTransaction()	reset transaction
void	rollback()	rollback transaction
void	setBulkMode(boolean b)	for loading into an empty symbol table bulk mode should be used
long	size()	returns the number of symbols in the symbol table
void	transactionBegin()	begin a transaction.
void	transactionCommit()	commit last changes
void	transactionRollback()	abort last changes

Methods inherited from class com.semedy.reasoner.symboltable.AbstractSymbolTable

createNonGroundFunction, decodeNonGroundFunction, encode, getCode, getValue, match, matchArguments, matchArguments, notifySymbolAdded, recreateSymbolTableIndexes, refreshSearchIndexes, removeAllSymbolTableIndexes, semiSubstitute, substitute, substitute, substitute, substituteArguments, substituteArguments, substituteFunction, unifiable, unify, unify

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface com.semedy.reasoner.symboltable.ReasoningSymbolTable

createNonGroundFunction, match, matchArguments, substitute, substituteArguments, unifiable

Methods inherited from interface com.semedy.reasoner.api.symboltable.SymbolTable

decodeNonGroundFunction, encode, getCode, getValue, matchArguments, notifySymbolAdded, recreateSymbolTableIndexes, refreshSearchIndexes, removeAllSymbolTableIndexes, substitute, substitute, substituteArguments, unify, unify

Field Details

_reasoning

public static final long _reasoning

See Also:

• Constant Field Values

Constructor Details

ReasoningSymbolTableRAM

public ReasoningSymbolTableRAM(ExternalDataTypeProvider dataTypes,
 boolean directencoding,
 SymbolTable edbsymboltable,
 int termlength)

is it the reasoning symbol table

ReasoningSymbolTableRAM

public ReasoningSymbolTableRAM(ExternalDataTypeProvider dataTypes,
 boolean directencoding,
 int termlength)

Method Details

createFunctionCode

public long createFunctionCode(long[] t,
 Function f)
                        throws SemReasonerException,
IOException

Description copied from class: AbstractSymbolTable

create function code

Specified by:

createFunctionCode in interface SymbolTable

Specified by:

createFunctionCode in class AbstractSymbolTable

Parameters:

t - , t[0] code of function symbol, t[1]..t[n] codes for n arguments

Returns:

code for whole function

Throws:

SemReasonerException

EDBException

IOException

getFunctionCode

public long getFunctionCode(long[] t)
                     throws SemReasonerException,
IOException

Description copied from class: AbstractSymbolTable

get function code

Specified by:

getFunctionCode in interface SymbolTable

Specified by:

getFunctionCode in class AbstractSymbolTable

Parameters:

t - , t[0] code of function symbol, t[1]..t[n] codes for n arguments

Returns:

code for whole function

Throws:

SemReasonerException

IOException

getFunctionEncoding

public long[] getFunctionEncoding(long code)
                           throws SemReasonerException,
IOException

Description copied from class: AbstractSymbolTable

get the encoding of a function code, if it is there

Specified by:

getFunctionEncoding in interface SymbolTable

Specified by:

getFunctionEncoding in class AbstractSymbolTable

Parameters:

code - , the code of the function

Returns:

t[0] code of function symbol, t[1]..t[n] codes for n arguments

Throws:

SemReasonerException

IOException

getValueFunction

public Function getValueFunction(long code,
 boolean decodeSets)
                          throws SemReasonerException,
IOException

Produce a value from the code. Should be used only for the call of builtins and for the final answer. Sets may be decoded into lists (setsDecode = true)

Parameters:

code - , the code of the internal term

decodeSets - , decode sets into lists

Returns:

Throws:

SemReasonerException

IOException

getValueSymbol

public Object getValueSymbol(long code,
 boolean decodeSets)
                      throws SemReasonerException,
IOException

Produce a value from the code. Should be used only for the call of builtins and for the final answer. Sets may be decoded into lists (setsDecode = true)

Parameters:

code - , the code of the internal term

decodeSets - , decode sets into lists

Returns:

Throws:

SemReasonerException

IOException

encodeNotInternalize

public long encodeNotInternalize(Object t)
                          throws SemReasonerException,
IOException

Description copied from interface: SymbolTable

Returns a code for an object but does not internalize the object.
This means that there might be different codes
for the same object.

Specified by:

encodeNotInternalize in interface SymbolTable

Specified by:

encodeNotInternalize in class AbstractSymbolTable

Returns:

Throws:

SemReasonerException

IOException

clear

public void clear()
           throws SemReasonerException

Description copied from interface: SymbolTable

remove all symbols

Specified by:

clear in interface SymbolTable

Throws:

EDBException

SemReasonerException

delete

public void delete()
            throws SemReasonerException

Description copied from interface: SymbolTable

delete all / release files

Specified by:

delete in interface SymbolTable

Throws:

SemReasonerException

close

public void close()
           throws IOException

Description copied from interface: SymbolTable

Close symbol table. Must be called to correctly finalize symbol table

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Specified by:

close in interface SymbolTable

Throws:

IOException

flush

public void flush()
           throws IOException

Description copied from interface: SymbolTable

flushes symbol table.

Specified by:

flush in interface SymbolTable

Throws:

IOException

transactionBegin

public void transactionBegin()
                      throws SemReasonerException,
IOException

Description copied from interface: SymbolTable

begin a transaction.

Specified by:

transactionBegin in interface SymbolTable

Throws:

SemReasonerException - if an error occurs

IOException

transactionRollback

public void transactionRollback()
                         throws SemReasonerException,
IOException

Description copied from interface: SymbolTable

abort last changes

Specified by:

transactionRollback in interface SymbolTable

Throws:

SemReasonerException - if an error occurs

IOException

transactionCommit

public void transactionCommit()
                       throws SemReasonerException,
IOException

Description copied from interface: SymbolTable

commit last changes

Specified by:

transactionCommit in interface SymbolTable

Throws:

SemReasonerException - if an error occurs

IOException

getExternalDataTypes

public ExternalDataTypeProvider getExternalDataTypes()

Description copied from interface: SymbolTable

get the provider for external data types

Specified by:

getExternalDataTypes in interface SymbolTable

Returns:

getTextIndex

public TextIndex getTextIndex()

Description copied from interface: SymbolTable

get text index

Specified by:

getTextIndex in interface SymbolTable

Overrides:

getTextIndex in class AbstractSymbolTable

Returns:

getGeoIndex

public GeoIndex getGeoIndex()

Description copied from interface: SymbolTable

get geo index

Specified by:

getGeoIndex in interface SymbolTable

Overrides:

getGeoIndex in class AbstractSymbolTable

Returns:

isCreatedDuringReasoning

public boolean isCreatedDuringReasoning(long code)

Description copied from interface: ReasoningSymbolTable

indicated for a code, that the corresponding symbol has been created during reasoning

Specified by:

isCreatedDuringReasoning in interface ReasoningSymbolTable

Returns:

size

public long size()

Description copied from interface: SymbolTable

returns the number of symbols in the symbol table

Specified by:

size in interface SymbolTable

Returns:

iterator

public SymbolTableIterator iterator()

Description copied from interface: SymbolTable

get an iterator for all symbols

Specified by:

iterator in interface Iterable<Object>

Specified by:

iterator in interface SymbolTable

Returns:

an iterator over all symbols in this symbol table

reOpen

public void reOpen()

hasIndices

public boolean hasIndices()

Description copied from interface: SymbolTable

are there any indices attached to symbol table?

Specified by:

hasIndices in interface SymbolTable

Returns:

removeNotInternalized

public void removeNotInternalized(long code)
                           throws IOException

Description copied from interface: SymbolTable

remove a non internalized term from symbol table

Specified by:

removeNotInternalized in interface SymbolTable

Throws:

IOException

notifySymbol

public void notifySymbol(String symbol,
 long code)

commit

public void commit()
            throws EDBException,
IOException

Description copied from interface: SymbolTable

commit transaction

Specified by:

commit in interface SymbolTable

Throws:

EDBException

IOException

rollback

public void rollback()

Description copied from interface: SymbolTable

rollback transaction

Specified by:

rollback in interface SymbolTable

checkSanity

public boolean checkSanity(boolean shadow)
                    throws IOException

Description copied from interface: SymbolTable

check sanity

Specified by:

checkSanity in interface SymbolTable

Returns:

Throws:

IOException

lastModificationTime

public long lastModificationTime()

Description copied from interface: SymbolTable

returns the last time a modification took place

Specified by:

lastModificationTime in interface SymbolTable

Returns:

isEmpty

public boolean isEmpty()

Description copied from interface: SymbolTable

is symbol table empty (now symbols stored)

Specified by:

isEmpty in interface SymbolTable

Returns:

setBulkMode

public void setBulkMode(boolean b)
                 throws IOException,
EDBException

Description copied from interface: SymbolTable

for loading into an empty symbol table bulk mode should be used

Specified by:

setBulkMode in interface SymbolTable

Throws:

IOException

EDBException

getValueSymbol

public Object getValueSymbol(long code)
                      throws SemReasonerException,
IOException

Description copied from class: AbstractSymbolTable

get object for symbol code

Specified by:

getValueSymbol in interface SymbolTable

Specified by:

getValueSymbol in class AbstractSymbolTable

Parameters:

code - , symbol code

Returns:

code for whole function

Throws:

IOException

SemReasonerException

getValueFunction

public Function getValueFunction(long code)
                          throws SemReasonerException,
IOException

Description copied from class: AbstractSymbolTable

get function for symbol code

Specified by:

getValueFunction in interface SymbolTable

Specified by:

getValueFunction in class AbstractSymbolTable

Parameters:

code - , symbol code

Returns:

code for whole function

Throws:

IOException

SemReasonerException

getValue

public Object getValue(long code,
 boolean b)
                throws SemReasonerException,
IOException

Throws:

SemReasonerException

IOException

addSymbolTableIndex

public void addSymbolTableIndex(SymbolTableIndex index)

Description copied from interface: SymbolTable

Adds an index to the symbol table.
Examples are the text index and the geo index.

Specified by:

addSymbolTableIndex in interface SymbolTable

Specified by:

addSymbolTableIndex in class AbstractSymbolTable

Parameters:

index - the index

removeSymbolTableIndex

public void removeSymbolTableIndex(SymbolTableIndex index)

Description copied from interface: SymbolTable

removes the given symbol table index.

Specified by:

removeSymbolTableIndex in interface SymbolTable

Specified by:

removeSymbolTableIndex in class AbstractSymbolTable

Parameters:

index - the index

encodeWOEncoding

public long encodeWOEncoding(Object t)
                      throws SemReasonerException,
IOException,
EDBException

Description copied from interface: SymbolTable

Internalize a value. All values are internalized,
i.e. for every different value there exists exactly one instance and thus
also exactly one code
Encoding is done without encoding characters in strings

Specified by:

encodeWOEncoding in interface SymbolTable

Parameters:

t - , the user term to be internalized

Returns:

code, the code of the term

Throws:

EDBException

IOException

SemReasonerException

isBulkMode

public boolean isBulkMode()

Description copied from interface: SymbolTable

is symbol table in bulk mode

Specified by:

isBulkMode in interface SymbolTable

Returns:

resetTransaction

public void resetTransaction()

Description copied from interface: SymbolTable

reset transaction

Specified by:

resetTransaction in interface SymbolTable

inTransaction

public boolean inTransaction()

Description copied from interface: SymbolTable

is symbol table within a transaction

Specified by:

inTransaction in interface SymbolTable

Returns: