Granulating semantic web ontologies. - Pavel Klinov; Lawrence J. Mazlack (GrC, 2006)

On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge. - Pavel Klinov; Lawrence J. Mazlack (AAAI, 2007)

Interval Rough Mereology for Approximating Hierarchical Knowledge. - Pavel Klinov; Lawrence J. Mazlack (RSFDGrC, 2007)

Pronto: A Non-monotonic Probabilistic Description Logic Reasoner. - Pavel Klinov (ESWC, 2008)

Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D). - Pavel Klinov; Bijan Parsia (OWLED, 2008)

Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description). - Pavel Klinov; Bijan Parsia (OWLED (Spring), 2008)

Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach. - Pavel Klinov; Bijan Parsia (ISWC, 2008)

Pronto: Probabilistic Ontological Modeling in the Semantic Web. - Pavel Klinov; Bijan Parsia (ISWC (Posters & Demos), 2008)

Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies. - Pavel Klinov; Julia M. Taylor; Lawrence J. Mazlack (Web Intell. Agent Syst., 2008)

On Correspondences between Probabilistic First-Order and Description Logics. - Pavel Klinov; Bijan Parsia; Ulrike Sattler (Description Logics, 2009)

Ontology Granularity and Rough Equality of Concepts. - Lawrence J. Mazlack; Pavel Klinov (SMC, 2009)

On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics. - Pavel Klinov; Bijan Parsia (SUM, 2009)

Pronto: A Practical Probabilistic Description Logic Reasoner. - Pavel Klinov (UniDL, 2010)

Relationships Between Probabilistic Description and First-Order Logics. - Pavel Klinov; Bijan Parsia (UniDL, 2010)

Implementing an Efficient SAT Solver for a Probabilistic Description Logic. - Pavel Klinov; Bijan Parsia (IWIL@LPAR, 2010)

The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. - Pavel Klinov; Bijan Parsia; David Picado-Muiño (LPAR (Yogyakarta), 2010)

A Hybrid Method for Probabilistic Satisfiability. - Pavel Klinov; Bijan Parsia (CADE, 2011)

Representing Sampling Distributions in P-SROIQ. - Pavel Klinov; Bijan Parsia (URSW, 2011)

Decomposition and Modular Structure of BioPortal Ontologies. - Chiara Del Vescovo; Damian Gessler; Pavel Klinov; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002; Andrew Winget (ISWC (1), 2011)

The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach. - Pavel Klinov; Bijan Parsia; David Picado-Muiño (J. Inf. Technol. Res., 2011)

Incrementally Updateable and Persistent Decomposition of OWL Ontologies. - Pavel Klinov; Chiara Del Vescovo; Thomas Schneider 002 (OWLED, 2012)

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? - Chiara Del Vescovo; Pavel Klinov; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002; Dmitry Tsarkov (WoMO, 2012)

Incremental Reasoning in EL+ without Bookkeeping. - Yevgeny Kazakov; Pavel Klinov (Description Logics, 2013)

Experimenting with ELK Reasoner on Android. - Yevgeny Kazakov; Pavel Klinov (ORE, 2013)

The Benefits of Incremental Reasoning in OWL EL. - Yevgeny Kazakov; Pavel Klinov (ISWC (Posters & Demos), 2013)

Incremental Reasoning in OWL EL without Bookkeeping. - Yevgeny Kazakov; Pavel Klinov (ISWC (1), 2013)

Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability. - Pavel Klinov; Bijan Parsia (URSW (LNCS Vol.), 2013)

Pronto: A Practical Probabilistic Description Logic Reasoner. - Pavel Klinov; Bijan Parsia (URSW (LNCS Vol.), 2013)

Empirical Study of Logic-Based Modules: Cheap Is Cheerful. - Chiara Del Vescovo; Pavel Klinov; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002; Dmitry Tsarkov (ISWC (1), 2013)

Bridging the Gap between Tableau and Consequence-Based Reasoning. - Yevgeny Kazakov; Pavel Klinov (Description Logics, 2014)

Goal-Directed Tracing of Inferences in EL Ontologies. - Yevgeny Kazakov; Pavel Klinov (ISWC (2), 2014)

Advancing ELK: Not Only Performance Matters. - Yevgeny Kazakov; Pavel Klinov (Description Logics, 2015)

Towards Reusable Explanation Services in Protege. - Yevgeny Kazakov; Pavel Klinov; Alexander Stupnikov (Description Logics, 2017)

On Constructing Enterprise Knowledge Graphs Under Quality and Availability Constraints. - Matthew Kujawinski; Christophe Guéret; Chandan Kumar; Brennan Woods; Pavel Klinov; Evren Sirin (ISWC, 2021)

BARQ: A Vectorized SPARQL Query Execution Engine. - Simon Grätzer; Lars Heling; Pavel Klinov (GRADES/NDA, 2025)