XSB/packages/altCDF/tests/onto_tests/ont1
