Pronto: A non-monotonic probabilistic description logic reasoner P Klinov The Semantic Web: Research and Applications: 5th European Semantic Web …, 2008 | 96 | 2008 |
Decomposition and modular structure of bioportal ontologies C Del Vescovo, DDG Gessler, P Klinov, B Parsia, U Sattler, T Schneider, ... The Semantic Web–ISWC 2011: 10th International Semantic Web Conference, Bonn …, 2011 | 58 | 2011 |
Optimization and evaluation of reasoning in probabilistic description logic: Towards a systematic approach P Klinov, B Parsia International Semantic Web Conference, 213-228, 2008 | 42 | 2008 |
Towards Reusable Explanation Services in Protege. Y Kazakov, P Klinov, A Stupnikov Description Logics, 2017 | 40 | 2017 |
Incremental reasoning in OWL EL without bookkeeping Y Kazakov, P Klinov International semantic web conference, 232-247, 2013 | 39 | 2013 |
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 | 34 | 2013 |
Pronto: A practical probabilistic description logic reasoner P Klinov, B Parsia International Workshop on Uncertainty Reasoning for the Semantic Web, 59-79, 2008 | 33 | 2008 |
Goal-directed tracing of inferences in EL ontologies Y Kazakov, P Klinov International Semantic Web Conference, 196-211, 2014 | 30 | 2014 |
A hybrid method for probabilistic satisfiability P Klinov, B Parsia International Conference on Automated Deduction, 354-368, 2011 | 24 | 2011 |
Experimenting with ELK Reasoner on Android. Y Kazakov, P Klinov Ore, 68-74, 2013 | 19 | 2013 |
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 |
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 |
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 | 14 | 2009 |
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 | 13 | 2012 |
Pronto: Probabilistic Ontological Modeling in the Semantic Web. P Klinov, B Parsia ISWC (Posters & Demos), 2008 | 13 | 2008 |
The consistency of the medical expert system CADIAG-2: A probabilistic approach PP Klinov, B Parsia, D Muiño Interdisciplinary Advances in Information Technology Research, 1-20, 2013 | 12 | 2013 |
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 | 11 | 2008 |
System and method for reducing data retrieval delays via prediction-based generation of data subgraphs E Sirin, MH Grove, KG Clark, P Klinov US Patent 10,303,688, 2019 | 10 | 2019 |