Pavel Klinov - RankMe

44 papers A* 1A 1B 2Misc 3Journal 4Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	BARQ: A Vectorized SPARQL Query Execution Engine. GRADES/NDA Simon Grätzer, Lars Heling, Pavel Klinov
2025	J	`jnl`	BARQ: A Vectorized SPARQL Query Execution Engine. CoRR Simon Grätzer, Lars Heling, Pavel Klinov
2021	Misc	`conf`	On Constructing Enterprise Knowledge Graphs Under Quality and Availability Constraints. ISWC Matthew Kujawinski, Christophe Guéret, Chandan Kumar, Brennan Woods, Pavel Klinov, Evren Sirin
2017	—	`conf`	Towards Reusable Explanation Services in Protege. Description Logics Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov
2015	—	`conf`	Advancing ELK: Not Only Performance Matters. Description Logics Yevgeny Kazakov, Pavel Klinov
2015	—	`ed.`	Knowledge Engineering and Semantic Web - 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings KESW Pavel Klinov, Dmitry Mouromtsev
2015	—	`ed.`	Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015. JOWO@IJCAI Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello
2014	—	`conf`	Bridging the Gap between Tableau and Consequence-Based Reasoning. Description Logics Yevgeny Kazakov, Pavel Klinov
2014	—	`conf`	Goal-Directed Tracing of Inferences in EL Ontologies. Description Logics Yevgeny Kazakov, Pavel Klinov
2014	—	`conf`	Goal-Directed Tracing of Inferences in EL Ontologies. ISWC (2) Yevgeny Kazakov, Pavel Klinov
2014	—	`ed.`	Knowledge Engineering and the Semantic Web - 5th International Conference, KESW 2014, Kazan, Russia, September 29-October 1, 2014. Proceedings KESW Pavel Klinov, Dmitry Mouromtsev
2013	—	`conf`	Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2013	—	`conf`	Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2013	—	`conf`	Experimenting with ELK Reasoner on Android. ORE Yevgeny Kazakov, Pavel Klinov
2013	—	`conf`	Incremental Reasoning in EL+ without Bookkeeping. Description Logics Yevgeny Kazakov, Pavel Klinov
2013	—	`conf`	Incremental Reasoning in OWL EL without Bookkeeping. ISWC (1) Yevgeny Kazakov, Pavel Klinov
2013	—	`ed.`	Knowledge Engineering and the Semantic Web - 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings KESW Pavel Klinov, Dmitry Mouromtsev
2013	—	`conf`	Pronto: A Practical Probabilistic Description Logic Reasoner. URSW (LNCS Vol.) Pavel Klinov, Bijan Parsia
2013	—	`conf`	The Benefits of Incremental Reasoning in OWL EL. ISWC (Posters & Demos) Yevgeny Kazakov, Pavel Klinov
2013	—	`conf`	Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability. URSW (LNCS Vol.) Pavel Klinov, Bijan Parsia
2012	—	`conf`	Incrementally Updateable and Persistent Decomposition of OWL Ontologies. OWLED Pavel Klinov, Chiara Del Vescovo, Thomas Schneider
2012	—	`ed.`	Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012 OWLED Pavel Klinov, Matthew Horridge
2012	—	`conf`	Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2012	J	`jnl`	Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov
2011	A	`conf`	A Hybrid Method for Probabilistic Satisfiability. CADE Pavel Klinov, Bijan Parsia
2011	—	`conf`	Decomposition and Modular Structure of BioPortal Ontologies. ISWC (1) Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget
2011	—	`conf`	Representing Sampling Distributions in P-SROIQ. URSW Pavel Klinov, Bijan Parsia
2011	J	`jnl`	The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach. J. Inf. Technol. Res. Pavel Klinov, Bijan Parsia, David Picado-Muiño
2010	—	`conf`	Implementing an Efficient SAT Solver for a Probabilistic Description Logic. IWIL@LPAR Pavel Klinov, Bijan Parsia
2010	—	`conf`	Pronto: A Practical Probabilistic Description Logic Reasoner. UniDL Pavel Klinov
2010	—	`conf`	Relationships Between Probabilistic Description and First-Order Logics. UniDL Pavel Klinov, Bijan Parsia
2010	—	`conf`	The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. LPAR (Yogyakarta) Pavel Klinov, Bijan Parsia, David Picado-Muiño
2009	—	`conf`	On Correspondences between Probabilistic First-Order and Description Logics. Description Logics Pavel Klinov, Bijan Parsia, Ulrike Sattler
2009	—	`conf`	On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics. SUM Pavel Klinov, Bijan Parsia
2009	B	`conf`	Ontology Granularity and Rough Equality of Concepts. SMC Lawrence J. Mazlack, Pavel Klinov
2008	—	`conf`	Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description). OWLED (Spring) Pavel Klinov, Bijan Parsia
2008	J	`jnl`	Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies. Web Intell. Agent Syst. Pavel Klinov, Julia M. Taylor, Lawrence J. Mazlack
2008	Misc	`conf`	Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach. ISWC Pavel Klinov, Bijan Parsia
2008	—	`conf`	Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D). OWLED Pavel Klinov, Bijan Parsia
2008	B	`conf`	Pronto: A Non-monotonic Probabilistic Description Logic Reasoner. ESWC Pavel Klinov
2008	—	`conf`	Pronto: Probabilistic Ontological Modeling in the Semantic Web. ISWC (Posters & Demos) Pavel Klinov, Bijan Parsia
2007	—	`conf`	Interval Rough Mereology for Approximating Hierarchical Knowledge. RSFDGrC Pavel Klinov, Lawrence J. Mazlack
2007	A*	`conf`	On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge. AAAI Pavel Klinov, Lawrence J. Mazlack
2006	Misc	`conf`	Granulating semantic web ontologies. GrC Pavel Klinov, Lawrence J. Mazlack