Package com.semedy.reasoner.api.core

Class Core

java.lang.Object

com.semedy.reasoner.api.core.Core

All Implemented Interfaces:

Closeable, AutoCloseable

public class Core
extends Object
implements Closeable

A core stores all relevant data for the inference engine
the extensional database (edb), intensional database (idb),
symbol table, built-ins, rewriters, configuration, transactions,
external datatypes, query materialization, query management

Author:

angele

Constructor Summary

Constructors

Constructor	Description
Core()
Core(Configuration configuration)

Method Summary

Modifier and Type	Method	Description
boolean	checkSanity()
void	close()	Finalizes all components.
Reasoner	createReasoner(InterruptFlag interruptflag, boolean skipsendinganswers, int pulsedTuples)	creates a new resoner
Reasoner	createReasoner(InterruptFlag interruptflag, boolean skipsendinganswers, int pulsedTuples, Properties builtinConfig)	creates a new resoner
void	delete()	deletes all resources (files)
void	flush()
BuiltinProvider	getBuiltinProvider()	returns the container for built-ins
Configuration	getConfiguration()	returns the configuration switches
ExtensionalDB	getExtensionalDB()	returns the extensional database (store for facts)
ExternalDataTypeProvider	getExternalDataTypeProvider()	returns the provider for external data types.
IntensionalDB	getIntensionalDB()	returns the intensional database (store for rules)
CoreLock	getLock()	get the lock for handling transactions
List<Literal>	getPartitioningLiterals()	get partitioning literals
RewriterProvider	getRewriterProvider()	returns the container for rewriters
SymbolTable	getSymbolTable()	returns the symbol table ,
SystemMonitor	getSystemMonitor()	Get the system monitor.
String	getVersion()	returns the version number of the reasoner
boolean	isShutDownFinished()	Is shut down finished?
boolean	isShutDownInProgress()	Is a shut down currently in progress?
void	reOpen()	reopen a core
void	setSymbolTable(SymbolTable symbols)	set the symbol table
void	shutdown()	Shutdown this deductive database instance (and closes the core).
void	slowLoadMixed(InputStream input)	Loads from an input stream facts and rules in usual predicate syntax.
void	slowLoadMixedFiles(List<String> files)	Loads files for facts and rules in usual predicate syntax.
boolean	tryShutdown()	Tries to shutdown this deductive database instance (and closes the core).

Methods inherited from class java.lang.Object

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

Constructor Details

Core

public Core()
     throws IOException,
SemReasonerException,
EDBException

Throws:

IOException

SemReasonerException

EDBException

Core

public Core(Configuration configuration)
     throws SemReasonerException,
IOException,
EDBException

Throws:

SemReasonerException

IOException

EDBException

Method Details

getPartitioningLiterals

public List<Literal> getPartitioningLiterals()
                                      throws SemReasonerException,
IOException

get partitioning literals

Returns:

Throws:

IOException

SemReasonerException

reOpen

public void reOpen()
            throws EDBException,
IOException,
SemReasonerException

reopen a core

Throws:

EDBException

IOException

SemReasonerException

getSystemMonitor

public SystemMonitor getSystemMonitor()

Get the system monitor.
System monitor collects statistics and is used
to optimize the system using these statistics

getLock

public CoreLock getLock()

get the lock for handling transactions

Returns:

the lock for read write operations

isShutDownInProgress

public boolean isShutDownInProgress()

Is a shut down currently in progress?

Returns:

isShutDownFinished

public boolean isShutDownFinished()

Is shut down finished?

Returns:

close

public void close()
           throws IOException

Finalizes all components. Must be called at the end

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Throws:

IOException

flush

public void flush()
           throws IOException

Throws:

IOException

getIntensionalDB

public IntensionalDB getIntensionalDB()

returns the intensional database (store for rules)

Returns:

the intensional database (store for rules)

getExtensionalDB

public ExtensionalDB getExtensionalDB()

returns the extensional database (store for facts)

Returns:

the extensional database (store for facts)

getRewriterProvider

public RewriterProvider getRewriterProvider()

returns the container for rewriters

Returns:

provider for rewriters

getBuiltinProvider

public BuiltinProvider getBuiltinProvider()

returns the container for built-ins

Returns:

the provider for built-ins

getExternalDataTypeProvider

public ExternalDataTypeProvider getExternalDataTypeProvider()

returns the provider for external data types.

Returns:

the provider for external data types

getConfiguration

public Configuration getConfiguration()

returns the configuration switches

Returns:

the system configuration

delete

public void delete()
            throws IOException,
SemReasonerException

deletes all resources (files)

Throws:

IOException

SemReasonerException

createReasoner

public Reasoner createReasoner(InterruptFlag interruptflag,
 boolean skipsendinganswers,
 int pulsedTuples)

creates a new resoner

Parameters:

interruptflag - , flag for interrupts

skipsendinganswers - , answers are not produced

pulsedTuples - , number of pulsed tuples, -1 if not pulsed

Returns:

a reasoner

createReasoner

public Reasoner createReasoner(InterruptFlag interruptflag,
 boolean skipsendinganswers,
 int pulsedTuples,
 Properties builtinConfig)

creates a new resoner

Parameters:

interruptflag - , flag for interrupts

skipsendinganswers - , answers are not produced

pulsedTuples - , number of pulsed tuples, -1 if not pulsed

builtinConfig - , configuration of built-in like access tokens etc.

Returns:

a reasoner

getSymbolTable

public SymbolTable getSymbolTable()

returns the symbol table ,

Returns:

the symboltable

setSymbolTable

public void setSymbolTable(SymbolTable symbols)

set the symbol table

slowLoadMixedFiles

public void slowLoadMixedFiles(List<String> files)
                        throws IOException,
SimpleParseException,
SemReasonerException,
EDBException

Loads files for facts and rules in usual predicate syntax.
This is slow and not adequate for large facts sets

Parameters:

files - , input files

Throws:

IOException

SimpleParseException

SemReasonerException

EDBException

slowLoadMixed

public void slowLoadMixed(InputStream input)
                   throws IOException,
SimpleParseException,
SemReasonerException,
EDBException

Loads from an input stream facts and rules in usual predicate syntax.
This is slow and not adequate for large facts sets

Parameters:

input - , input stream

Throws:

IOException

SimpleParseException

SemReasonerException

EDBException

getVersion

public String getVersion()

returns the version number of the reasoner

Returns:

tryShutdown

public boolean tryShutdown()
                    throws SemReasonerException,
InterruptedException

Tries to shutdown this deductive database instance (and closes the core).

Returns:

true if shutdown is successful

Throws:

SemReasonerException - if an error occurs

InterruptedException

shutdown

public void shutdown()
              throws SemReasonerException,
InterruptedException

Shutdown this deductive database instance (and closes the core).

Throws:

SemReasonerException - if an error occurs

InterruptedException

checkSanity

public boolean checkSanity()
                    throws IOException,
SemReasonerException

Throws:

IOException

SemReasonerException