2010. GoodOD: Ontology, empirically tested, 2010-2012. The Reasoner. 4, 4 (Apr. 2010).