Crack

Crack: The tests were performed using Crack version 1.0 beta 18. Crack is a description logic system with both TBox and ABox, using the logic ALCRIFO. Crack reasoning procedures are based on a sound and complete tableaux algorithm 1].