Automatic white-box testing of first-order logic ontologies | Publicación