Alex Shkotin (3EHF)
email: alex.shkotin [at] gmail.com or ashkotin [at] acm.org (3EHG)
Since 2008 the software engineer in www.sgm.ru, math knowledge representation in geology, mostly using FOL, CNL and OWL 2, developing IS. From 2001 to 2008 the research fellow in Computing Centre RAS. From 1998 to 2001 the consultant in Price Waterhouse Coopers. ... ( source: http://studiahumana.com/author,Alex-Shkotin.html ) See also http://www.linkedin.com/pub/alex-shkotin/b/90/275 (3EHH)
We developed 4 projects at petrology. Reports are at https://sites.google.com/site/alex0shkotin/formalnaa-geologia. It's in Russian but http://translate.google.com is fine to get an idea. These has been summarised in http://studiahumana.com/art,The-first-issue,Towards-Owl-Based-Knowledge-Representation-in-Petrology.html. See also presentation http://www.slideshare.net/alexshkotin/towards-owlbased-knowledge-representation-in-petrology. Today one of the most important research is a FOL language with sorts, numbers and operators. (3FXK)
Since summer 2013 we are developing YAFOLL - Yet Another First Order Logic Language many-sorted, with Regular Expressions for substring types etc. It's usage is to write FOL theories for science and technology domain as well as to manage finite models for these theories. The key idea however is explicit introduction of definition in FOL language, as system of definitions is a key element of any fruitful theory. (4A5V)
... Alex, at your convenience, please edit and expand on this page, and keep it updated so the community can get to know you better. ... (read this if it's your first time editing the Ontolog wiki.) =ppy (3EHI)