tools.codebuilder.config.properties Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of brunner-core-tools Show documentation
Tools module for the BRunner project
The newest version!

# Main configuration keyword for the benchmark tool
	TOOL_NAME=integraal
	
	# Supported services
	Service=KB_CHASE,OMQ_REWRITING,RULE_COMPILATION,QUERY_ANSWERING,OMQA_CHASE,OMQA_REW,QUERY_ANSWERING_VIA_HYBRID_STRATEGY,QUERY_EXPLANATION,CSV_RLS_ENCODING
	
	# Properties for services; can use only these
	Service.KB_CHASE.Properties=Storage,Chase,Compilation
	Service.OMQ_REWRITING.Properties=Compilation
	Service.RULE_COMPILATION.Properties=Compilation
	Service.QUERY_ANSWERING.Properties=Storage,Answers
	Service.OMQA_CHASE.Properties=Storage,Chase,Answers
	Service.OMQA_REW.Properties=Storage,Compilation,Answers
	Service.QUERY_EXPLANATION.Properties=Storage,Chase,Compilation,Answers
	Service.CSV_RLS_ENCODING.Properties=Storage
	# This service can use all properties
	Service.QUERY_ANSWERING_VIA_HYBRID_STRATEGY.Properties=*
	
	# Answer types for services
	Property.Answers=ANSWER_LIST,ANSWER_COUNT_ONLY
	
	# Storage keywords
	Property.Storage=STORAGE
	Property.Chase=CHASE
	
	# Database types
	Property.Storage.DBType=SQL,SPARQL,SIMPLE_IN_MEMORY_GRAPH_STORE,DEFAULT_IN_MEMORY_ATOM_SET,SIMPLE_FO_FORMULA_STORE
	
	# Database driver types
	Property.Storage.DriverType=HSQLDB,MySQL,PostgreSQL,SQLite
	
	# Database management system driver parameters
	# 'open' means that there is no default value
	Property.Storage.DBMSDriverParameters.URL=open
	Property.Storage.DBMSDriverParameters.PORT=open
	Property.Storage.DBMSDriverParameters.DATABASE_NAME=open
	Property.Storage.DBMSDriverParameters.USER_NAME=open
	Property.Storage.DBMSDriverParameters.USER_PASSWORD=open
	Property.Storage.DBMSDriverParameters.CLEAR_DB=open
	
	# Storage layouts
	Property.Storage.StorageLayout=AD_HOC_SQL,ENCODING_AD_HOC_SQL
	
	# Compilation strategies
	Property.Compilation=NO_COMPILATION,ID_COMPILATION,HIERARCHICAL_COMPILATION
	
	# Chase related keywords
	
	# Scheduler types
	Property.Chase.Scheduler=NAIVE_SCHEDULER,GRD
	
	# Evaluator types
	Property.Chase.Evaluator=GENERIC,SMART
	
	# Applier types
	Property.Chase.Applier=BREADTH_FIRST_TRIGGER,PARALLEL_TRIGGER,SOURCE_DELEGATED_DATALOG
	
	# Transformer types
	Property.Chase.Transformer=ALL,FRONTIER
	
	# Computer types
	Property.Chase.Computer=NAIVE_COMPUTER,SEMI_NAIVE,TWO_STEP
	
	# Checker types
	Property.Chase.Checker=TRUE,OBLIVIOUS,SEMI_OBLIVIOUS,RESTRICTED,EQUIVALENT
	
	# Application types
	Property.Chase.Application=DIRECT,PARALLEL
	
	# Skolem types
	Property.Chase.Skolem=FRESH,BODY,FRONTIER,FRONTIER_PIECE
	
	# Supported file extensions
	Property.FileExtensions=DLGP
	
	# Factbase file extensions
	Property.FileExtensions.Factbase=DLGP,DLGPE,RDF,CSV,RLS
	
	# Querybase file extensions
	Property.FileExtensions.Querybase=DLGP
	
	# Rulebase file extensions
	Property.FileExtensions.Rulebase=DLGP,OWL
	
	# Mappingbase file extensions
	Property.FileExtensions.Mappingbase=JSON