| Pronto: A non-monotonic probabilistic description logic reasoner P Klinov The Semantic Web: Research and Applications: 5th European Semantic Web …, 2008 | 94 | 2008 |
| Decomposition and Modular Structure of BioPortal Ontologies. C Del Vescovo, D Gessler, P Klinov, B Parsia, U Sattler, T Schneider, ... ISWC (1), 130-145, 2011 | 58 | 2011 |
| Optimization and evaluation of reasoning in probabilistic description logic: Towards a systematic approach P Klinov, B Parsia The Semantic Web-ISWC 2008: 7th International Semantic Web Conference, ISWC …, 2008 | 40 | 2008 |
| Incremental reasoning in OWL EL without bookkeeping Y Kazakov, P Klinov The Semantic Web–ISWC 2013: 12th International Semantic Web Conference …, 2013 | 35 | 2013 |
| Towards Reusable Explanation Services in Protege. Y Kazakov, P Klinov, A Stupnikov Description Logics, 2017 | 33 | 2017 |
| Empirical study of logic-based modules: Cheap is cheerful C Del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov The Semantic Web–ISWC 2013: 12th International Semantic Web Conference …, 2013 | 33 | 2013 |
| Pronto: A practical probabilistic description logic reasoner P Klinov, B Parsia Uncertainty Reasoning for the Semantic Web II: International Workshops URSW …, 2013 | 33 | 2013 |
| Goal-directed tracing of inferences in EL ontologies Y Kazakov, P Klinov The Semantic Web–ISWC 2014: 13th International Semantic Web Conference, Riva …, 2014 | 26 | 2014 |
| A hybrid method for probabilistic satisfiability P Klinov, B Parsia Automated Deduction–CADE-23: 23rd International Conference on Automated …, 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 | 17 | 2013 |
| 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 | 16 | 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 |
| Incrementally Updateable and Persistent Decomposition of OWL Ontologies. P Klinov, C Del Vescovo, T Schneider OWLED, 2012 | 14 | 2012 |
| On Correspondences between Probabilistic First-Order and Description Logics. P Klinov, B Parsia, U Sattler Description logics 477, 2009 | 13 | 2009 |
| 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 |
| 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 | 12 | 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 |
| Incremental Reasoning in EL+ without Bookkeeping. Y Kazakov, P Klinov Description Logics, 294-315, 2013 | 9 | 2013 |
Bijan ParsiaProfessor of Computer Science, University of ManchesterBestätigte E-Mail-Adresse bei manchester.ac.uk
