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
European Semantic Web Conference, 822-826, 2008
812008
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
452011
Incremental reasoning in OWL EL without bookkeeping
Y Kazakov, P Klinov
International semantic web conference, 232-247, 2013
372013
Optimization and evaluation of reasoning in probabilistic description logic: Towards a systematic approach
P Klinov, B Parsia
International Semantic Web Conference, 213-228, 2008
352008
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
342007
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
282013
Pronto: A practical probabilistic description logic reasoner
P Klinov, B Parsia
Uncertainty Reasoning for the Semantic Web II, 59-79, 2010
242010
A hybrid method for probabilistic satisfiability
P Klinov, B Parsia
International Conference on Automated Deduction, 354-368, 2011
212011
Practical reasoning in probabilistic description logic
P Klinov
PQDT-UK & Ireland, 2011
182011
Goal-directed tracing of inferences in EL ontologies
Y Kazakov, P Klinov
International Semantic Web Conference, 196-211, 2014
152014
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
152011
Experimenting with ELK Reasoner on Android.
Y Kazakov, P Klinov
Ore, 68-74, 2013
142013
On Correspondences between Probabilistic First-Order and Description Logics.
P Klinov, B Parsia, U Sattler
Description logics 477, 2009
142009
Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ (D).
P Klinov, B Parsia
OWLED, 2008
142008
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
142006
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
112012
Incrementally Updateable and Persistent Decomposition of OWL Ontologies.
P Klinov, C Del Vescovo, T Schneider
OWLED, 2012
112012
Pronto: Probabilistic ontological modeling in the semantic web
P Klinov, B Parsia
Proceedings of the 2007 International Conference on Posters and …, 2008
112008
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
102011
Granulating semantic web ontologies
P Klinov, LJ Mazlack
2006 IEEE International Conference on Granular Computing, 431-434, 2006
92006
The system can't perform the operation now. Try again later.
Articles 1–20