Towards OWL-based Knowledge Representation
2016
Abstract
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.
References (15)
- American Geological Institute: Glossary of Geology, http://www.agiweb.org/pubs/glossary/
- Davis, E.: Representations of commonsense knowledge. Morgan Kaufmann (1990)
- Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto controlled english (ace) lan- guage manual, version 3.0. Tech. Rep. 99.03, Department of Computer Science, University of Zurich (August 1999)
- Geological Faculty of Moscow State University: Dictionary of Geological Terms, http://geo.web.ru/db/glossary.html
- Geology section of Digital Earth RAS project: Proba database, http://earth.jscc.ru/proba/search.php?&lang=en
- Gillespie, M., Styles, M.: Bgs rock classification scheme, volume 1, classifica- tion of igneous rocks. Tech. Rep. RR 9906, British Geological Survey (1999), http://www.bgs.ac.uk/bgsrcs/
- Interdepartmental petrographic committee RAS: Igneous rock type dictionary, http://www.igem.ru/site/petrokomitet/slovar.htm
- IPC (ed.): Petrographic code of Russia. VSEGEI Press, third edn. (2009)
- Kuhn, T.: Controlled English for Knowledge Representation. Ph.D. thesis, Fac- ulty of Economics, Business Administration and Information Technology of the University of Zurich (2010)
- Maitre, R.L. (ed.): Igneous Rocks: A Classification and Glossary of Terms. Cambridge, 2nd edn. (2002), http://www.cambridge.org/gb/knowledge/isbn/item1109607/
- Mendelson, E.: Introduction to Mathematical Logic. Chapman and Hall, fourth edn. (1997)
- Petrov, V., Bogatikov, O., Petrov, R. (eds.): Petrographic dictionary. Nedra (1981)
- Ryakhovsky, V., Shkotin, A.: Ontology of scien- tific dictionary. Tech. rep., SGM RAS (2009), http://sites.google.com/site/alex0shkotin/formal-geology/rep09
- 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
- 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