def runRapid(folder, ontology, timeout_in_second):
rapidJar = "/Users/kien/query-rewriting-benchmark/software/rapid/rapid.jar"
# strip space
folder = str(folder).strip()
ontology = str(ontology).strip()
# create rapid-result folder
clipperDir = folder + "rapid_result/"
if not os.path.exists(clipperDir):
os.makedirs(clipperDir)
# get full paths
ontologyFullPath = os.path.join(folder, ontology)
resultFile = os.path.join(clipperDir, ontology + ".rapid.result")
# get all *.cq queries in this foler
queries = getListOfQueries(folder)
queries.sort()
# print("List of queries:")
# for query in queries:
# print(query)
print("Running queries with rapid")
print("Creating the resulting file in:%s" % resultFile)
try:
with open(resultFile, mode='w', encoding='utf-8') as a_file:
a_file.write("#Run " + ontology + " with rapid; Time in ms" + '\n')
except OSError as e:
print(e)
for query in queries:
# print("Query: %s"%query)
queryFullPath = os.path.join(folder, query)
queryResultFullPath = os.path.join(clipperDir, query + ".result")
commandString = "java -jar " + rapidJar + " HD SHORT " + " file:" + ontologyFullPath + " " + queryFullPath + " > " + queryResultFullPath
print("Command to run rapid:%s \n " %commandString)
output = runCommandWithTimeout(commandString, timeout_in_second)
if not output == "timeout" and not output == "error":
(programSize, rewrittenQueries) = readRapidResult(queryResultFullPath)
#totalRules = int(programSize) + int(rewrittenQueries)
# print(query + ", time %.2f, program size: %s , queries: %s" % (output, programSize, rewrittenQueries))
print(query + ", time %.2f, rules: %s \n" % (output, rewrittenQueries))
with open(resultFile, mode='a', encoding='utf-8') as a_file:
# a_file.write(query + ", time: %.2f, program size: %s , queries: %s" % (output, programSize, rewrittenQueries) + '\n')
a_file.write(query + ", time: %.2f, rules: %s" % (output, rewrittenQueries) + '\n')
elif output=="timeout":
with open(resultFile, mode='a', encoding='utf-8') as a_file:
a_file.write(query + ", time: timeout in %s s, rules: %s" % (timeout_in_second, output) + '\n')
print(output)
elif output=="error":
with open(resultFile, mode='a', encoding='utf-8') as a_file:
a_file.write(query + ", time: error, rules: error \n")
print(output)
# a_file.write(query + "time: %s, program size: %s , queries: %s" % (output, output,output) + '\n')
# print(output)
#return resultFile
return resultFile
def runOWLReasoner(owlRealizerJarFile, log4jproperty, reasonerName, tbox, aboxList, dl, timeout_in_minutes, outputFile):
commandString = ""
commandString += "java -jar -Xmx100G"
commandString += " -Dlog4j.configuration=file:" + log4jproperty
commandString += " " + owlRealizerJarFile
commandString += " -reasoner "+ reasonerName
commandString += " -tbox " + tbox
commandString += " -abox " + aboxList
commandString += " -dl " + dl
commandString += " -ontinfo "
commandString += " -loadtime "
commandString += " -runtime "
commandString += " > " + outputFile
timeout_in_second=int(timeout_in_minutes) *60
return runCommandWithTimeout(commandString, timeout_in_second)
def runOWLReasoner(owlRealizerJarFile, log4jproperty, reasonerName, tbox,
aboxList, dl, timeout_in_minutes, outputFile):
commandString = ""
commandString += "java -jar -Xmx100G"
commandString += " -Dlog4j.configuration=file:" + log4jproperty
commandString += " " + owlRealizerJarFile
commandString += " -reasoner " + reasonerName
commandString += " -tbox " + tbox
commandString += " -abox " + aboxList
commandString += " -dl " + dl
commandString += " -ontinfo "
commandString += " -loadtime "
commandString += " -runtime "
commandString += " > " + outputFile
timeout_in_second = int(timeout_in_minutes) * 60
return runCommandWithTimeout(commandString, timeout_in_second)
def runKonclude(owlRealizerJarFile, log4jproperty, koncludePath, port, tbox, aboxList, dl, timeout_in_minutes, outputFile):
commandString = ""
commandString += "java -jar -Xmx100G"
commandString += " -Dlog4j.configuration=file:" + log4jproperty
commandString += " " + owlRealizerJarFile
commandString += " -reasoner konclude"
commandString += " -koncludepath " + koncludePath
commandString += " -port " + port
commandString += " -tbox " + tbox
commandString += " -abox " + aboxList
commandString += " -dl " + dl
commandString += " -ontinfo "
commandString += " -loadtime "
commandString += " -runtime "
commandString += " > " + outputFile
timeout_in_second=int(timeout_in_minutes) *60
return runCommandWithTimeout(commandString, timeout_in_second)
def runKonclude(owlRealizerJarFile, log4jproperty, koncludePath, port, tbox,
aboxList, dl, timeout_in_minutes, outputFile):
commandString = ""
commandString += "java -jar -Xmx100G"
commandString += " -Dlog4j.configuration=file:" + log4jproperty
commandString += " " + owlRealizerJarFile
commandString += " -reasoner konclude"
commandString += " -koncludepath " + koncludePath
commandString += " -port " + port
commandString += " -tbox " + tbox
commandString += " -abox " + aboxList
commandString += " -dl " + dl
commandString += " -ontinfo "
commandString += " -loadtime "
commandString += " -runtime "
commandString += " > " + outputFile
timeout_in_second = int(timeout_in_minutes) * 60
return runCommandWithTimeout(commandString, timeout_in_second)
