XSB/packages/altCDF/tests/onto_tests
