Czasopismo
Tytuł artykułu
Warianty tytułu
Języki publikacji
Abstrakty
This paper presents our work on development of OWL-driven systems for formal representation and reasoning about terminological knowledge and facts in petrology. The long-term aim of our project is to provide solid foundations for a large-scale integration of various kinds of knowledge, including basic terms, rock classification algorithms, findings and reports. We describe three steps we have taken towards that goal here. First, we develop a semi-automated procedure for transforming a database of igneous rock samples to texts in a controlled natural language (CNL), and then a collection of OWL ontologies. Second, we create an OWL ontology of important petrology terms currently described in natural language thesauri. We describe a prototype of a tool for collecting definitions from domain experts. Third, we present an approach to formalization of current industrial standards for classification of rock samples, which requires linear equations in OWL 2. In conclusion, we discuss a range of opportunities arising from the use of semantic technologies in petrology and outline the future work in this area.(original abstract)
Twórcy
autor
- Vernadsky State Geological Museum; Russian Academy of Sciences, Moscow, Russia
autor
- Vernadsky State Geological Museum; Russian Academy of Sciences, Moscow, Russia
autor
- Vernadsky State Geological Museum; Russian Academy of Sciences, Moscow, Russia
Bibliografia
- 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
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171420638