Участник:PavelK
Материал из Semantic Future
| Павел Клинов | |
| Pavel Klinov | |
 | |
| Род деятельности: | |
|---|---|
| Роль участника: | |
| Основной раздел: | |
| Круг интересов: |
логика, OWL, неопределенность и неточность знаний |
| Дата рождения: |
1981 |
| Место рождения: | |
| Гражданство: | |
| Сайт: | |
| Nickname |
PavelK |
| О себе: |
Аспирант (университет Манчестера, Великобритания) |
Павел Клинов - аспирант университета Манчестера (Великобритания). Его основными научными интересами являются логическое представление знаний, формальные онтологии и средства работы с ними (в первую очередь description logic, OWL), логические языки, допускающие неопределенность утверждений и другие технологии для управления неопределенностью и неточностью знаний.
Содержание |
Краткая биография
- 1998-2004 - студент московского инженерно-физического института (МИФИ), факультета кибернетики (кафедра компьютерных систем и технологий).
- 2003-2005 - программист в Европейской организации ядерных исследований (CERN, Женева, Швейцария)
- 2005-2008 - аспирант в университете Цинциннати (США), научный руководитель - Dr. Lawrence Mazlack
- 2008-н.в. - аспирант в универститете Манчестера (Великобритания), научные руководители - Dr. Bijan Parsia и Dr. Ulrike Sattler
Библиография
Журнальные публикации
- Pavel Klinov, Julia M. Taylor, and Lawrence J. Mazlack: "Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies," Web Intelligence and Agent Systems vol. 6(2), 157-174, 2008
Главы в книгах
- Julia M. Taylor, Pavel Klinov, and Lawrence J. Mazlack, "A Description Logic Based Approach to Computational Humor," in Salvatore Attardo, Diana Popa (eds), New Approaches to the Linguistics of Humor, Academic Printing House of our Dunarea de Jos, Rumenia, 2007.
Публикации в материалах конференций
- Pavel Klinov and Bijan Parsia, "On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics," Scalable Uncertainty Management, Washington, DC, USA, 2009
- Pavel Klinov, Bijan Parsia, and Ulrike Sattler, "On Correspondences between Probabilistic First-Order and Description Logics," DL Workshop, Oxford, UK, 2009
- Pavel Klinov and Bijan Parsia, "Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach," International Semantic Web Conference, 213-228, 2008
- Pavel Klinov and Bijan Parsia, "Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D)," OWLED, 2008
- Pavel Klinov and Bijan Parsia, "Pronto: Probabilistic Ontological Modeling in the Semantic Web," International Semantic Web Conference (Posters & Demos), 2008
- Pavel Klinov and Lawrence J. Mazlack, "On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge," AAAI, 1876-1877, Vancouver, Canada, 2007
- Pavel Klinov and Lawrence J. Mazlack, "Interval Rough Mereology for Approximating Hierarchical Knowledge," RSFDGrC, 557-564, Toronto, Canada, 2007
 |
|  |