Follow
Pavel Klinov
Pavel Klinov
Senior Research Engineer, Complexible Inc
Verified email at complexible.com - Homepage
Title
Cited by
Cited by
Year
Pronto: A non-monotonic probabilistic description logic reasoner
P Klinov
The Semantic Web: Research and Applications: 5th European Semantic Web …, 2008
962008
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
592011
Optimization and evaluation of reasoning in probabilistic description logic: Towards a systematic approach
P Klinov, B Parsia
International Semantic Web Conference, 213-228, 2008
422008
Towards Reusable Explanation Services in Protege.
Y Kazakov, P Klinov, A Stupnikov
Description Logics, 2017
412017
Incremental reasoning in OWL EL without bookkeeping
Y Kazakov, P Klinov
International semantic web conference, 232-247, 2013
392013
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
342013
Pronto: A practical probabilistic description logic reasoner
P Klinov, B Parsia
International Workshop on Uncertainty Reasoning for the Semantic Web, 59-79, 2008
332008
Goal-directed tracing of inferences in EL ontologies
Y Kazakov, P Klinov
International Semantic Web Conference, 196-211, 2014
312014
A hybrid method for probabilistic satisfiability
P Klinov, B Parsia
International Conference on Automated Deduction, 354-368, 2011
242011
Experimenting with ELK Reasoner on Android.
Y Kazakov, P Klinov
Ore, 68-74, 2013
192013
Practical reasoning in probabilistic description logic
P Klinov
PQDT-UK & Ireland, 2011
192011
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
162006
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
152011
Incrementally Updateable and Persistent Decomposition of OWL Ontologies.
P Klinov, C Del Vescovo, T Schneider
OWLED, 2012
142012
On Correspondences between Probabilistic First-Order and Description Logics.
P Klinov, B Parsia, U Sattler
Description logics 477, 2009
142009
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
132012
Pronto: Probabilistic Ontological Modeling in the Semantic Web.
P Klinov, B Parsia
ISWC (Posters & Demos), 2008
132008
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
122013
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
112019
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
112008
The system can't perform the operation now. Try again later.
Articles 1–20