1. A method to generate a plurality of derivative information sources for a software development platform, the method comprising: defining an ontology to provide a logic-based representation formalism of each of a plurality of original information sources, the plurality of original information sources having heterogeneous representation formalisms; transforming, using a processor of a machine, the plurality of original information sources to the ontology by integrating information of each original information source of the plurality of original information sources into the ontology; and automatically generating the plurality of derivative information sources from the ontology including automatically generating a derivative information source of the plurality of derivative information sources in response to a request to generate the derivative information source and outputting the plurality of derivative information sources in respective formats, the plurality of derivative information sources corresponding to and being derivatives of the plurality of original information sources.
1. A method to generate a plurality of derivative information sources for a software development platform, the method comprising: defining an ontology to provide a logic-based representation formalism of each of a plurality of original information sources, the plurality of original information sources having heterogeneous representation formalisms; transforming, using a processor of a machine, the plurality of original information sources to the ontology by integrating information of each original information source of the plurality of original information sources into the ontology; and automatically generating the plurality of derivative information sources from the ontology including automatically generating a derivative information source of the plurality of derivative information sources in response to a request to generate the derivative information source and outputting the plurality of derivative information sources in respective formats, the plurality of derivative information sources corresponding to and being derivatives of the plurality of original information sources. 11. The method of claim 1 , including using a description logic reasoner to perform a consistency check with respect to the ontology.