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