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



Show keywords Show abstracts

J. Mazlack, Lawrence and Klinov, Pavel
Ontology Granularity and Rough Equality of Concepts.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009 , page 1298--1303.
Klinov, Pavel and Parsia, Bijan
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics.
Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings , page 138--149.
Klinov, Pavel; M. Taylor, Julia and J. Mazlack, Lawrence
Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies.
Web Intelligence and Agent Systems, 6(2):157--174
Klinov, Pavel
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner.
The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings , page 822--826.
Klinov, Pavel and Parsia, Bijan
Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D).
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008
Klinov, Pavel and Parsia, Bijan
Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach.
The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings , page 213--228.
M. Taylor, Julia; Klinov, Pavel and Mazlack, Lawrence
A Description Logic Based Approach to Computational Humor
In Salvatore Attardo and Diana Popa, editor, New Approaches to the Linguistics of Humor
Publisher: Academic Printing House of Dunarea de Jos,
Klinov, Pavel and J. Mazlack, Lawrence
Interval Rough Mereology for Approximating Hierarchical Knowledge.
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007, Proceedings , page 557--564.
Klinov, Pavel and J. Mazlack, Lawrence
Granulating Semantic Web Ontologies.
2006 IEEE International Conference on Granular Computing, GrC 2006, Atlanta, Georgia, USA, May 10-12, 2006 , page 431--434.
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.)


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.


  • email: pavel.klinov(at)
  • 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