CleanTax: A Framework for Reasoning about Taxonomies.

Published in: AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)