Uses of Class
com.semedy.reasoner.api.symboltable.ExternalDataTypeProvider

Packages that use ExternalDataTypeProvider

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb
com.semedy.reasoner.api.idb
com.semedy.reasoner.api.parser
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.api.rewriter
com.semedy.reasoner.api.symboltable
com.semedy.reasoner.core
com.semedy.reasoner.edb.loader
com.semedy.reasoner.exercises
com.semedy.reasoner.parser.oologic
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter
com.semedy.reasoner.symboltable
com.semedy.reasoner.symboltable.encoder

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

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

Modifier and Type	Method	Description
ExternalDataTypeProvider	Core.getExternalDataTypeProvider()	returns the provider for external data types.

Uses of ExternalDataTypeProvider in com.semedy.reasoner.api.edb

Methods in com.semedy.reasoner.api.edb with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
void	LoaderProvider.load(Collection<String> paths, SymbolTable symbols, ExternalDataTypeProvider dataTypes)	load facts from files
void	LoaderProvider.loadByStream(InputStream stream, InputStream companionstream, String format, SymbolTable symbols, ExternalDataTypeProvider dataTypes)	load facts by stream. format is either the file format like json,nq etc.
void	ExtensionalDB.loadFactsFiles(List<String> files, boolean deleteold, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)	reads facts files in ordinary predicate form
void	ExtensionalDB.loadFiles(List<String> files, SymbolTable symbols, ExternalDataTypeProvider dataTypes)	load all kind of files (besides OO-logic files)
void	ExtensionalDB.restore(List<String> predicatesToRestore, boolean restoreSymbolTable, String edbdir, String workdir, String logDir, String backupfile, ExternalDataTypeProvider datatypes, int maxTermLength)	restore single predicates and/or symbol table from a backup file.
void	ExtensionalDB.restoreOld(String edbdir, String workdir, String logdir, String backupfile, ExternalDataTypeProvider datatypes, int maxTermLength)	restore the edb from a backup file.
void	Loader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.api.idb

Methods in com.semedy.reasoner.api.idb with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
void	IntensionalDB.createAxioms(SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)	create the relevant axioms
void	IntensionalDB.loadRuleFiles(List<String> files, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)	load rules from file
void	IntensionalDB.removeAxioms(SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)	remove the relevant axioms

Uses of ExternalDataTypeProvider in com.semedy.reasoner.api.parser

Constructors in com.semedy.reasoner.api.parser with parameters of type ExternalDataTypeProvider

Modifier	Constructor	Description
	RuleParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins)
	RuleParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)
	TermParser(ExternalDataTypeProvider datatypes)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.api.reasoning

Methods in com.semedy.reasoner.api.reasoning with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
boolean	Reasoner.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)	Testing the evaluation.

Uses of ExternalDataTypeProvider in com.semedy.reasoner.api.rewriter

Methods in com.semedy.reasoner.api.rewriter with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
IntensionalDB	RewriterProvider.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, BuiltinProvider builtins, SystemMonitor statistics, Configuration config, Properties prp)	Apply rewriters of rewriterList in that sequence which is given by their indices and indicated by their enumeration
IntensionalDB	Rewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)	applies the rewriter to a set of rules

Uses of ExternalDataTypeProvider in com.semedy.reasoner.api.symboltable

Methods in com.semedy.reasoner.api.symboltable that return ExternalDataTypeProvider

Modifier and Type	Method	Description
ExternalDataTypeProvider	SymbolTable.getExternalDataTypes()	get the provider for external data types

Uses of ExternalDataTypeProvider in com.semedy.reasoner.core

Methods in com.semedy.reasoner.core with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
IntensionalDB	QueryHandler.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, boolean withMagicSets, Properties builtinConfig)
static void	TransactionLogHandler.replayTransactionLogs(String logdir, ExtensionalDB edb, SymbolTable symbols, ExternalDataTypeProvider datatypes)	Search for corrupted predicates in logdir and Replay corresponding transaction log into edb relations.
static void	TransactionLogHandler.replayTransactionLogs(List<String> predicates, String logdir, ExtensionalDB edb, SymbolTable symbols, ExternalDataTypeProvider externalDataTypes)	Replay transaction files of predicates.
IntensionalDB	QueryHandler.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	QueryHandler.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, Properties builtinConfig)

Constructors in com.semedy.reasoner.core with parameters of type ExternalDataTypeProvider

Modifier	Constructor	Description
	QueryHandler(BuiltinProvider builtins, RewriterProvider rewriters, SymbolTable symbols, ExternalDataTypeProvider datatypes, String queryDir)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.edb.loader

Methods in com.semedy.reasoner.edb.loader with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
void	JsonLoader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	JsonLoader2.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	JsonLoader3.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	XMLLoader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.exercises

Methods in com.semedy.reasoner.exercises with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
IntensionalDB	RemoveDoubleLiterals.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.parser.oologic

Constructors in com.semedy.reasoner.parser.oologic with parameters of type ExternalDataTypeProvider

Modifier	Constructor	Description
	InternalOOLogicParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)
	OOLogicListener(Collection<Rule> parsedRules, Collection<Literal> parsedFacts, SymbolTable symbols, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.reasoning

Methods in com.semedy.reasoner.reasoning with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
boolean	ReasonerNotThreaded.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)	testing the evaluation.
boolean	ReasonerThreadedFactsPartitioning.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)
boolean	ReasonerThreadedRulesPartitioning.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.reasoning.processes

Methods in com.semedy.reasoner.reasoning.processes that return ExternalDataTypeProvider

Modifier and Type	Method	Description
ExternalDataTypeProvider	ReasoningSymbolTableNotInternalize.getExternalDataTypes()

Uses of ExternalDataTypeProvider in com.semedy.reasoner.rewriter

Methods in com.semedy.reasoner.rewriter with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
List<Rule>	AxiomInjector.createAxioms(IntensionalDB idb, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
List<Rule>	AxiomInjector.createAxioms(Object module, SymbolTable symbols, ExternalDataTypeProvider datatypes, int i)
static void	AxiomInjector.createStandardAxioms(SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)
IntensionalDB	ActionRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	AxiomInjector.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BetweenRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BottomUpOrderingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BottomUpRuleSelector.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	CompareRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	DebuggingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	DynamicOptimizer.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ElementOfRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	EliminateRedundantBodiesRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	EqualRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FillNullRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FilterRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FolderRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FullFolderRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FunctionalRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	IsaRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	MagicSetRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] sedbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ModuleRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PathRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PropagateConstantsRewriter.rewrite(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PropagateConstraintsRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	QueryRuleRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	RewriterSkeleton.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	SnapshotRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	Splitter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	TopDownOrderingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] sedbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	Unfolder.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.symboltable

Methods in com.semedy.reasoner.symboltable that return ExternalDataTypeProvider

Modifier and Type	Method	Description
ExternalDataTypeProvider	MultiSymbolTable.getExternalDataTypes()
ExternalDataTypeProvider	ReasoningSymbolTableRAM.getExternalDataTypes()
ExternalDataTypeProvider	SymbolTableBplus.getExternalDataTypes()
ExternalDataTypeProvider	SymbolTableRAM.getExternalDataTypes()	get the external data types

Methods in com.semedy.reasoner.symboltable with parameters of type ExternalDataTypeProvider

Modifier and Type	Method	Description
void	SymbolTableBplus.restore(String edbdir, String workdir, ExternalDataTypeProvider datatypes, boolean compress, int maxTermLength)

Constructors in com.semedy.reasoner.symboltable with parameters of type ExternalDataTypeProvider

Modifier	Constructor	Description
	AbstractSymbolTable(ExternalDataTypeProvider dataTypes, boolean directencoding, int maxTermLength)	is it the reasoning symbol table
	MultiSymbolTable(int number, ExternalDataTypeProvider dataTypes, boolean directencoding, String edbDir, String logDir, int termlength, boolean transactionLog, boolean compress)
	ReasoningSymbolTableRAM(ExternalDataTypeProvider dataTypes, boolean directencoding, int termlength)
	ReasoningSymbolTableRAM(ExternalDataTypeProvider dataTypes, boolean directencoding, SymbolTable edbsymboltable, int termlength)	is it the reasoning symbol table
	SymbolTableBplus(int index, ExternalDataTypeProvider dataTypes, boolean directencoding, String edbDir, String logDir, int termlength, boolean transactionLog, boolean compress)
	SymbolTableBplus(ExternalDataTypeProvider dataTypes, boolean directencoding, String edbDir, String logDir, int termlength, boolean transactionLog, boolean compress)
	SymbolTableRAM(ExternalDataTypeProvider datatypes, boolean directencoding, int termlength)
	SymbolTableRAM(ExternalDataTypeProvider datatypes, boolean directencoding, int termlength, boolean notify)
	SymbolTableRAM(ExternalDataTypeProvider datatypes, boolean directencoding, String edbDir, String logDir, int termlength, boolean notify)

Uses of ExternalDataTypeProvider in com.semedy.reasoner.symboltable.encoder

Constructors in com.semedy.reasoner.symboltable.encoder with parameters of type ExternalDataTypeProvider

Modifier	Constructor	Description
	ByteEncoderValues(ExternalDataTypeProvider datatypes)