of the ontologies in a broader range of situations as illustrated by rock sample classification.

Acknowledgments. **We would like to thank Dr. Kaarel Kaljurand from Attempto group for the idea of using proper names, Dr. Stephen M. Richard from**
Arizona Geological Survey for comments on the report [14], helpful **discussion** and reference to [6]; and Pavel Klinov from the University of Manchester for numerous invaluable comments on this paper.

## References

1. American Geological Institute: Glossary of Geology, http://www.agiweb.org/pubs/glossary/
2. Davis, E.: Representations of commonsense knowledge. Morgan Kaufmann (1990)
3. Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto controlled english (ace) language manual, version 3.0. Tech. Rep. 99.03, Department of Computer Science, University of Zurich (August 1999)
4. Geological Faculty of Moscow State University: Dictionary of Geological Terms, http://geo.web.ru/db/glossary.html 5. Geology section of Digital Earth RAS project: Proba database, http://earth.jscc.ru/proba/search.php?&lang=en 6. Gillespie, M., Styles, M.: Bgs rock classification scheme, volume 1, classification of igneous rocks. Tech. Rep. RR 9906, British Geological Survey (1999),
http://www.bgs.ac.uk/bgsrcs/
7. Interdepartmental petrographic committee RAS: Igneous **rock type dictionary,**
http://www.igem.ru/site/petrokomitet/slovar.htm 8. IPC (ed.): Petrographic code of Russia. VSEGEI Press, third edn. (2009)
9. Kuhn, T.: Controlled English for Knowledge Representation. Ph.D. thesis, Faculty of Economics, Business Administration and Information Technology of the University of Zurich (2010)
10. Maitre, R.L. (ed.): Igneous Rocks: A Classification and Glossary of Terms. Cambridge, 2nd edn. (2002),
http://www.cambridge.org/gb/knowledge/isbn/item1109607/
11. Mendelson, E.: Introduction to Mathematical Logic. Chapman and Hall, fourth edn. (1997)
12. Petrov, V., Bogatikov, O., Petrov, R. (eds.): Petrographic dictionary. Nedra (1981)
13. Ryakhovsky, V., Shkotin, A.: Ontology of scientific dictionary. Tech. rep., SGM RAS (2009),
http://sites.google.com/site/alex0shkotin/formal-geology/rep09 14. Ryakhovsky, V., Shkotin, A., Kudryavtsev, D.: Algorithm to classify igneous rock sample and formal definition of igneous rock type. Tech. rep., SGM RAS (2010), https://sites.google.com/site/alex0shkotin/formal-geology/rep10 15. Ryakhovsky, V., Shkotin, A.: Db proba, ontology. Tech. rep., SGM RAS (2008),
http://sites.google.com/site/alex0shkotin/formal-geology/rbd-proba-ontologia 16. Swartz, N.: Definitions, Dictionaries, and Meanings (2010),
http://www.sfu.ca/~swartz/definitions.htm