Gaston Tagni Stefan Schlobach Annette ten Teije Frank van Harmelen Giorgios Karafotias A Workbench for Anytime Reasoning by Ontology Approximation - With a case study on instance retrieval. 328-340 2010 STAIRS http://dx.doi.org/10.3233/978-1-60750-676-8-328 conf/stairs/2010 db/conf/stairs/stairs2010.html#TagniSTHK10