makeXML.sh revision c9c0ed49aa84f9dfa83ccdd67e3e691c3ebc93ed
HETS_OWL_TOOLS=`pwd`/..
export HETS_OWL_TOOLS
echo "\ncreating directory XML...\n"
echo "creating .rdf.xml files with java...\n"
do
echo $i "ok\n"
done
cd ../..
echo "compiling runConv...\n"
echo "\nrunning runConv first time...\n"
do
echo $i "ok\n"
done
echo "running runConv second time...\n"
do
echo $i "ok\n"
done
cd $dir
echo "making diff on generated xml files...\n"
do
echo $i "\n"
done
cd ../../..
echo "calling hets for all xml files...\n"
do
done
echo "\ncreating omn files from .rdf.xml with java...\n"
do
echo $i "ok\n"
done
echo "creating omn files from .rdf.xml.xml with java...\n"
do
echo $i "ok\n"
done
echo "making diff on generated omn files...\n"
do
echo $i "\n"
done
cd ../../..
echo "compiling runXML...\n"
echo "\nrunning runXML on .rdf.xml files...\n"
do
echo $i "ok\n"
done
echo "running runXML on .rdf.xml.xml files...\n"
do
echo $i "ok\n"
done
echo "making diff on generated mno files...\n"
do
echo $i "\n"
done
echo "removing directory XML...\n"