| Pronto: A non-monotonic probabilistic description logic reasoner P Klinov European Semantic Web Conference, 822-826, 2008 | 86 | 2008 |
| Decomposition and modular structure of bioportal ontologies C Del Vescovo, DDG Gessler, P Klinov, B Parsia, U Sattler, T Schneider, ... International Semantic Web Conference, 130-145, 2011 | 50 | 2011 |
| Incremental reasoning in OWL EL without bookkeeping Y Kazakov, P Klinov International semantic web conference, 232-247, 2013 | 40 | 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 | 38 | 2008 |
| Camera and image pick-up device unit having an optical member that is vibrated to remove dust H Takizawa, S Kawai US Patent 7,280,145, 2007 | 34 | 2007 |
| Empirical study of logic-based modules: Cheap is cheerful C Del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov International Semantic Web Conference, 84-100, 2013 | 30 | 2013 |
| Pronto: A practical probabilistic description logic reasoner P Klinov, B Parsia Uncertainty Reasoning for the Semantic Web II, 59-79, 2010 | 29 | 2010 |
| A hybrid method for probabilistic satisfiability P Klinov, B Parsia International Conference on Automated Deduction, 354-368, 2011 | 21 | 2011 |
| Goal-directed tracing of inferences in EL ontologies Y Kazakov, P Klinov International Semantic Web Conference, 196-211, 2014 | 20 | 2014 |
| Practical reasoning in probabilistic description logic P Klinov PQDT-UK & Ireland, 2011 | 19 | 2011 |
| 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 |
| Experimenting with ELK Reasoner on Android. Y Kazakov, P Klinov Ore, 68-74, 2013 | 15 | 2013 |
| Pellet: Owl 2 reasoner for java K Clark, M Grove, E Sirin, H Pérez-Urbina, P Klinov, E Rodríguez-Díaz Recurso disponible on-line (Último acceso Feb. 12): http://clarkparsia. com …, 2011 | 15 | 2011 |
| On Correspondences between Probabilistic First-Order and Description Logics. P Klinov, B Parsia, U Sattler Description logics 477, 2009 | 14 | 2009 |
| Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ (D). P Klinov, B Parsia OWLED, 2008 | 14 | 2008 |
| Pronto: Probabilistic Ontological Modeling in the Semantic Web. P Klinov, B Parsia International Semantic Web Conference (Posters & Demos) 401, 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 | 11 | 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 | 10 | 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 |
Bijan ParsiaReader in Computer Science, University of ManchesterVerified email at manchester.ac.uk
