#!/bin/sh

in="$1"
id=/tmp/grddl$$
owx=$id-in.owx
out=$id-out.rdf
e1=$id-e1
e2=$id-e2
rtmp=$id-rtmp
rtmp2=$id-rtmp2
rto1=$id-rto1.nt
rto2=$id-rto2.nt
rto1a=$id-rto1a.nt
rto2a=$id-rto2a.nt
owx2=$id-in2.owx

export CLASSPATH=/home/sandro/cvs/dev.w3.org/2009/owl-grddl:/home/sandro/local/owlapi/owlapi-bin.jar

case $in in
   /*) in=file:"$in"
       ;;
   *)  in=file:`/bin/pwd`/"$in"
       ;;
esac

#echo java TranslateToOWX $in file:$owx
java TranslateToOWX $in file:$owx

#echo "saxonb-xslt $owx /home/sandro/owl-grddl/owx2rdf.xsl > $out"
saxonb-xslt $owx /home/sandro/owl-grddl/owx2rdf.xsl > $out

echo turned $owx into $out
#echo pellet entail -e $out $in
pellet entail -e $out $in > $e1

#echo pellet entail -e $in $out
pellet entail -e $in $out > $e2

if [ "`cat $e1`" = 'All axioms are entailed' ]; then
    if [ "`cat $e2`" = 'All axioms are entailed' ]; then
	echo mutual entailment YES
    else
	echo	
	echo '* Entailment Error *'
	cat $e2
	#exit 1
    fi
else
   echo	
   echo '* Entailment Error *'
   cat $e1
   #exit 1
fi


java TranslateToOWX file:$out file:$owx2
cdiff $owx $owx2


cp $1 $rtmp
java TranslateToRDF file:$rtmp file:$rtmp2
#cp $rtmp2 $rto1
rdfpipe --input-format xml --output xml --stdin < $rtmp > $rto1

cp $out $rtmp
java TranslateToRDF file:$rtmp file:$rtmp2
# cp $rtmp2 $rto2
rdfpipe --input-format xml --output xml --stdin < $rtmp > $rto2

cdiff $rto1 $rto2


cp $1 $rtmp
java TranslateToRDF file:$rtmp file:$rtmp2
#cp $rtmp2 $rto1
rdfpipe --input-format xml --output nt --stdin < $rtmp > $rto1a

cp $out $rtmp
java TranslateToRDF file:$rtmp file:$rtmp2
# cp $rtmp2 $rto2
rdfpipe --input-format xml --output nt --stdin < $rtmp > $rto2a

cdiff $rto1a $rto2a