Industrial Experience

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.

 

 

 

Teaching Experience

Currently I'm not formally involved in teaching any courses. I have previously taught at the following summer schools:

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).

Publications

Preferences

Show keywords Show abstracts

29.
pdf
Kazakov, Yevgeny and Klinov, Pavel
Advancing {ELK}: Not Only Performance Matters
In Diego Calvanese and Boris Konev, editor, DL Volume 1350 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2015
28.
pdf
Kazakov, Yevgeny and Klinov, Pavel
Goal-Directed Tracing of Inferences in {EL} Ontologies
ISWC Volume 8797 of Lecture Notes in Computer Science , page 196--211.
Publisher: Springer,
2014
27.
pdf
Kazakov, Yevgeny and Klinov, Pavel
Bridging the Gap between Tableau and Consequence-Based Reasoning
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, editor, DL Volume 1193 of CEUR Workshop Proceedings , page 579-590.
Publisher: CEUR-WS.org,
2014
26.
pdf
Kazakov, Yevgeny and Klinov, Pavel
Goal-Directed Tracing of Inferences in {EL} Ontologies
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, editor, DL Volume 1193 of CEUR Workshop Proceedings , page 221-232.
Publisher: CEUR-WS.org,
2014
25.
default
Klinov, Pavel and Parsia, Bijan
Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.
Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers , page 41--58.
2013
24.
default
Klinov, Pavel and Parsia, Bijan
Pronto: A Practical Probabilistic Description Logic Reasoner.
Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers , page 59--79.
2013
23.
default
Del Vescovo, Chiara; Klinov, Pavel; Parsia, Bijan; Sattler, Ulrike; Schneider, Thomas and Tsarkov, Dmitry
Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I , page 84--100.
2013
22.
default
Kazakov, Yevgeny and Klinov, Pavel
Incremental Reasoning in OWL EL without Bookkeeping.
The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I , page 232--247.
2013
21.
pdf
Kazakov, Yevgeny and Klinov, Pavel
Incremental Reasoning in {EL+} without Bookkeeping
DL Volume 1014 of CEUR Workshop Proceedings , page 294-315.
Publisher: CEUR-WS.org,
2013
20.
pdf
Kazakov, Yevgeny and Klinov, Pavel
Experimenting with {ELK} Reasoner on Android
ORE Volume 1015 of CEUR Workshop Proceedings , page 68-74.
Publisher: CEUR-WS.org,
2013
Export as: BibTeX, XML

Organisational Activities

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.)

Projects

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. 

Research Interests

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.

Contact

  • email: pavel.klinov(at)uni-ulm.de
  • phone: +49 (0)731/50-24111
  • fax:     +49 (0)731/50-24119
  • Postal Address

  • Pavel Klinov
  • University of Ulm
  • Institute of Artificial Intelligence
  • D-89069 Ulm
  • Office

  • James-Franck-Ring
  • building O27, level 4
  • room 422