Abstract: This paper examines in details the results of the work has done in Ref [1]. The solution properties of "Quantitative spectroscopy" domain tasks article are described. OWL DL language is used for the presentation of the properties of tasks' solutions. An applied information sources' ontology on the solutions of direct and inverse tasks on the determination of vacuum wavenumbers in molecular spectroscopy of carbon dioxide and its isotopologues is demonstrated as an example. It is shown that the creation of the information sources characterizing tasks solutions' properties allows one to classify the solutions of quantitative spectroscopy tasks and to organize semantic search of valid data in publications. A short description of peculiarities of the table method used in FACT++ inference engine is presented.