Pavel Klinov

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 2

Top Topics

Web Ontology Language

Reasoning Problems

Knowledge Representation Languages

Top Venues

Description Logics

URSW (LNCS Vol.)

Publications

Matthew Kujawinski, Christophe Guéret, Chandan Kumar, Brennan Woods, Pavel Klinov, Evren Sirin
On Constructing Enterprise Knowledge Graphs Under Quality and Availability Constraints. ISWC (2021)
Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov
Towards Reusable Explanation Services in Protege. Description Logics (2017)
Yevgeny Kazakov, Pavel Klinov
Advancing ELK: Not Only Performance Matters. Description Logics (2015)
Yevgeny Kazakov, Pavel Klinov
Goal-Directed Tracing of Inferences in EL Ontologies. ISWC (2) (2014)
Yevgeny Kazakov, Pavel Klinov
Bridging the Gap between Tableau and Consequence-Based Reasoning. Description Logics (2014)
Yevgeny Kazakov, Pavel Klinov
Goal-Directed Tracing of Inferences in EL Ontologies. Description Logics (2014)
Yevgeny Kazakov, Pavel Klinov
Experimenting with ELK Reasoner on Android. ORE (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) (2013)
Pavel Klinov, Bijan Parsia
Pronto: A Practical Probabilistic Description Logic Reasoner. URSW (LNCS Vol.) (2013)
Yevgeny Kazakov, Pavel Klinov
The Benefits of Incremental Reasoning in OWL EL. ISWC (Posters & Demos) (2013)
Pavel Klinov, Bijan Parsia
Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability. URSW (LNCS Vol.) (2013)
Yevgeny Kazakov, Pavel Klinov
Incremental Reasoning in EL+ without Bookkeeping. Description Logics (2013)
Yevgeny Kazakov, Pavel Klinov
Incremental Reasoning in OWL EL without Bookkeeping. ISWC (1) (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR (2012)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO (2012)
Pavel Klinov, Chiara Del Vescovo, Thomas Schneider
Incrementally Updateable and Persistent Decomposition of OWL Ontologies. OWLED (2012)
Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget
Decomposition and Modular Structure of BioPortal Ontologies. ISWC (1) (2011)
Pavel Klinov, Bijan Parsia
A Hybrid Method for Probabilistic Satisfiability. CADE (2011)
Pavel Klinov, Bijan Parsia, David Picado-Muiño
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach. J. Inf. Technol. Res. 4 (1) (2011)
Pavel Klinov, Bijan Parsia
Representing Sampling Distributions in P-SROIQ. URSW (2011)
Pavel Klinov, Bijan Parsia
Implementing an Efficient SAT Solver for a Probabilistic Description Logic. IWIL@LPAR (2010)
Pavel Klinov, Bijan Parsia
Relationships Between Probabilistic Description and First-Order Logics. UniDL (2010)
Pavel Klinov
Pronto: A Practical Probabilistic Description Logic Reasoner. UniDL (2010)
Pavel Klinov, Bijan Parsia, David Picado-Muiño
The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. LPAR (Yogyakarta) (2010)
Pavel Klinov, Bijan Parsia
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics. SUM (2009)
Pavel Klinov, Bijan Parsia, Ulrike Sattler
On Correspondences between Probabilistic First-Order and Description Logics. Description Logics (2009)
Lawrence J. Mazlack, Pavel Klinov
Ontology Granularity and Rough Equality of Concepts. SMC (2009)
Pavel Klinov, Bijan Parsia
Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description). OWLED (Spring) (2008)
Pavel Klinov, Bijan Parsia
Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach. ISWC (2008)
Pavel Klinov
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner. ESWC (2008)
Pavel Klinov, Bijan Parsia
Pronto: Probabilistic Ontological Modeling in the Semantic Web. ISWC (Posters & Demos) (2008)
Pavel Klinov, Julia M. Taylor, Lawrence J. Mazlack
Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies. Web Intell. Agent Syst. 6 (2) (2008)
Pavel Klinov, Bijan Parsia
Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D). OWLED (2008)
Pavel Klinov, Lawrence J. Mazlack
Interval Rough Mereology for Approximating Hierarchical Knowledge. RSFDGrC (2007)
Pavel Klinov, Lawrence J. Mazlack
On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge. AAAI (2007)
Pavel Klinov, Lawrence J. Mazlack
Granulating semantic web ontologies. GrC (2006)