In the spectrum of standards, SKOS contributes by bridging the gap between traditional indexing and formal ontologies for the Semantic Web.

The experiment results validate the correctness and validity of the algorithm by using the celestial spectrum data as the formal context.

Finally, the formal solution for the spectrum of the surface displacement caused by a cavity explosion in a layered medium is derived.