Uses of Class
com.semedy.reasoner.api.core.DeductiveDatabase

Packages that use DeductiveDatabase

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.app
com.semedy.reasoner.utils

Uses of DeductiveDatabase in com.semedy.reasoner.api.core

Subclasses of DeductiveDatabase in com.semedy.reasoner.api.core

Modifier and Type	Class	Description
class	StreamReasoningDB	This extension of the deductive database enables stream reasoning.

Methods in com.semedy.reasoner.api.core that return DeductiveDatabase

Modifier and Type	Method	Description
DeductiveDatabase	JSONDeductiveDatabase.getDeductiveDatabase()	Returns the deductive database which is used inside the JSONDeductiveDatabase.

Methods in com.semedy.reasoner.api.core with parameters of type DeductiveDatabase

Modifier and Type	Method	Description
List<Object[]>	TripleCache.query(DeductiveDatabase ddb, String ooquery, int maxNumberOfResults)	Retrieve triples using an OO-logic query.
List<Object[]>	TripleCache.query(DeductiveDatabase ddb, String ooquery, int maxNumberOfResults, boolean withCodes)	Retrieve triples using an OO-logic query.

Constructors in com.semedy.reasoner.api.core with parameters of type DeductiveDatabase

Modifier	Constructor	Description
	MaterializationReceiver(InterruptFlag interruptFlag, Literal literal, DeductiveDatabase ddb, ExtensionalDB edb, SymbolTable symbols, SymbolTable reasoningSymbols)
	StoreEventResultReceiver(InterruptFlag interruptFlag, DeductiveDatabase ddb, String predicateSymbol, int arity, String tempDir, String edbDir, boolean isPersistent, boolean writeLock, ReasoningMonitor monitor)
	TripleResult(String ooquery, DeductiveDatabase ddb, int maxNumberOfResults, boolean withCodes)

Uses of DeductiveDatabase in com.semedy.reasoner.app

Subclasses of DeductiveDatabase in com.semedy.reasoner.app

Modifier and Type	Class	Description
class	QueryRegister	registers a query for cep for ide
class	QueryRunner	runner for dsl ide for a query

Uses of DeductiveDatabase in com.semedy.reasoner.utils

Methods in com.semedy.reasoner.utils with parameters of type DeductiveDatabase

Modifier and Type	Method	Description
static List<Object[]>	TestUtil.assertQuery(DeductiveDatabase db, String query, Object[][] expected)
void	TestUtil.TestSpec.execute(Core core, DeductiveDatabase db)