| Pronto: A non-monotonic probabilistic description logic reasoner P Klinov European Semantic Web Conference, 822-826, 2008 | 93 | 2008 |
| Decomposition and modular structure of bioportal ontologies CD Vescovo, DDG Gessler, P Klinov, B Parsia, U Sattler, T Schneider, ... International Semantic Web Conference, 130-145, 2011 | 56 | 2011 |
| Incremental reasoning in OWL EL without bookkeeping Y Kazakov, P Klinov International semantic web conference, 232-247, 2013 | 41 | 2013 |
| Optimization and evaluation of reasoning in probabilistic description logic: Towards a systematic approach P Klinov, B Parsia International Semantic Web Conference, 213-228, 2008 | 39 | 2008 |
| Pronto: A practical probabilistic description logic reasoner P Klinov, B Parsia Uncertainty Reasoning for the Semantic Web II, 59-79, 2010 | 32 | 2010 |
| Empirical study of logic-based modules: Cheap is cheerful CD Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov International Semantic Web Conference, 84-100, 2013 | 30 | 2013 |
| Towards Reusable Explanation Services in Protege. Y Kazakov, P Klinov, A Stupnikov Description Logics, 2017 | 29 | 2017 |
| Goal-directed tracing of inferences in EL ontologies Y Kazakov, P Klinov International Semantic Web Conference, 196-211, 2014 | 25 | 2014 |
| A hybrid method for probabilistic satisfiability P Klinov, B Parsia International Conference on Automated Deduction, 354-368, 2011 | 21 | 2011 |
| Practical reasoning in probabilistic description logic P Klinov PQDT-UK & Ireland, 2011 | 21 | 2011 |
| Experimenting with ELK Reasoner on Android. Y Kazakov, P Klinov Ore, 68-74, 2013 | 18 | 2013 |
| On Correspondences between Probabilistic First-Order and Description Logics. P Klinov, B Parsia, U Sattler Description logics 477, 2009 | 17 | 2009 |
| Fuzzy rough approach to handling imprecision in Semantic Web ontologies P Klinov, LJ Mazlack NAFIPS 2006-2006 Annual Meeting of the North American Fuzzy Information …, 2006 | 16 | 2006 |
| Pellet: Owl 2 reasoner for java K Clark, B Parsia, M Grove, E Sirin, M Smith, M Stocker, P Klinov http//clarkparsia. com/pellet, 2011 | 15 | 2011 |
| Pronto: Probabilistic Ontological Modeling in the Semantic Web. P Klinov, B Parsia ISWC (Posters & Demos), 2008 | 13 | 2008 |
| Syntactic vs. semantic locality: How good is a cheap approximation? C Del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov arXiv preprint arXiv:1207.1641, 2012 | 12 | 2012 |
| Incrementally Updateable and Persistent Decomposition of OWL Ontologies. P Klinov, C Del Vescovo, T Schneider OWLED, 2012 | 12 | 2012 |
| The consistency of the medical expert system CADIAG-2: A probabilistic approach PP Klinov, B Parsia, D Muiņo Journal of Information Technology Research (JITR) 4 (1), 1-20, 2011 | 11 | 2011 |
| Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies P Klinov, JM Taylor, LJ Mazlack Web Intelligence and Agent Systems: An International Journal 6 (2), 157-174, 2008 | 10 | 2008 |
| Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ (D). P Klinov, B Parsia OWLED, 2008 | 9 | 2008 |
Bijan ParsiaProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
