You might be interested in ACE: http://attempto.ifi.uzh.ch/site/