I was previously a researcher and a developer at Clark & Parsia LLC, a semantic technologies R&D company in the US. In that capacity I worked mostly on Stardog, an RDF database and the company's lead product. I was responsible for development of the Stardog's SPARQL query planner and query evaluation engine.
I am still in a close collaboration with the Stardog team and regularly contribute to various development activities related to query optimization.
Before 2005 I was a software developer at CERN.
Currently I'm not formally involved in teaching any courses. I have previously taught at the following summer schools:
- ESSLLI 2013: Practical Reasoning for Description Logics (with Bijan Parsia)
- KESW 2012: OWL: The Web Ontology Language
Additionally, I was a teaching assistant and a grader for a number of undergraduate and MSc level courses at the University of Cincinnati, US (2005-2006) and the University of Manchester, UK (2008-2011).
I've served as the PC chair for the following events:
- KESW 2014 Program Chair
- KESW 2013 Program Chair (Research Track)
- OWLED 2012 Program Chair (also a steering committee member for 2012-2015)
Additionally, I've been a reviewer for several journals (Journal of Web Semantics, Journal of Logic and Computation, Knowledge and Information Systems) and member of various program committees (AAAI 2014, KR 2014, IJCAI 2013, ISWC 2012, ISWC In-Use 2012-2014, DL 2012-2014, AAAI AIW 2013, SEMAPRO 2013, etc.)
With Yevgeny Kazakov, I work for the DFG project Live Ontologies. The project is focused on developing reasoning techniques for lightweight (mostly OWL 2 EL) but highly inter-related and dynamically changing ontologies.
My main research areas are description logics (DLs), ontologies for the Semantic Web, automated reasoning, reasoning under uncertainty (esp. intersections of the probability theory and first-order logics). I am also interested in other aspects of the Semantic Web, most notably, scalable SPARQL query answering and efficient SPARQL query planning. Finally, I am often curious about constraint programming and mathematical optimization, esp. in their applications to probabilistic reasoning, e.g., reductions of probabilistic satisfiability to LP/ILP.
I am currently involved in the development of ELK -- the world's fastest OWL EL reasoner.
- email: pavel.klinov(at)uni-ulm.de
- phone: +49 (0)731/50-24111
- fax: +49 (0)731/50-24119
- Pavel Klinov
- University of Ulm
- Institute of Artificial Intelligence
- D-89069 Ulm
- building O27, level 4
- room 422