Does anyone know of any tools capable of defining a declarative mapping from T-Box structures from one ontology to another, which when executed can effect translation of A-Box instance data from one ontology's form to another's?
I have recently written such a tool to meet my needs, but I was wondering if I reinvented the wheel.