startReasonerTest

#!/bin/bash
# 
# OWL Reasoner Evaluation Workshop (ORE) 2013
# Last updated: 22-Jul-13
# 
# This script will benchmark the specified reasoner on *all* ontologies of all given profiles w.r.t. one operation
#
base="/Users/rafa/Documents/PhD/workspace/ore-framework/test/base"
ontbase="$base/ontologies"
runbase="$base/runner"
satbase="$ontbase/sat"
csvdir="$base/csv/live"
# 
# Using the script:
#
# sh startReasonerTest <Operation> <Output> <Reasoner> <Profiles>
#
# 	<Operation>		One of: sat | classification | consistency
#	<Output>		Output folder (within the reasoner folder)
# 	<Reasoner>		Reasoner folder name (rooted at rbase above) which should contain an 'execReasoner' script
#	<Syntax>		One of: functional | owlxml
# 	<Profiles>		Profiles to be tested, any of: dl | el | rl (space separated)
# 
args=("$@") 
ELEMENTS=${#args[@]}
if [ $ELEMENTS -gt 4 ]; then
	for (( i=0;i<$ELEMENTS;i++)); do 
		if [ $i -gt 3 ]; then
			profile=${args[${i}]}
			for file in $ontbase/$4/$profile/*; do
				if [ "$1" = "sat" ]; then
					filename=`basename $file`
					while read class; do 
					    $runbase/start $1 $file $2 $3 $csvdir/$profile $class
						printf '%*s\n' "${COLUMNS:-$(tput cols)}" '' | tr ' ' -
					done < "$satbase/$profile/$filename"_sat.txt
				else
					$runbase/start $1 $file $2 $3 $csvdir/$profile
					printf '%*s\n' "${COLUMNS:-$(tput cols)}" '' | tr ' ' -
				fi
			done
		fi
	done
else
	echo "! Insufficient or no parameters given"
	echo ""
	echo "Usage:	sh startReasonerTest <Operation> <Output> <Reasoner> <Profiles>"
	echo "	<Operation>	One of: sat | classification | consistency"
	echo "	<Output>	Output folder (within the reasoner folder)"
	echo "	<Reasoner>	Reasoner folder name"
	echo "	<Syntax>	One of: functional | owlxml"
	echo "	<Profiles>	Profiles to be tested, any of: dl | el | rl (space separated)"
	echo ""
fi