|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 43 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov |
Towards Reusable Explanation Services in Protege. |
Description Logics |
2017 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Dmitry Mouromtsev (eds.) |
Knowledge Engineering and Semantic Web - 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings |
KESW |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
Advancing ELK: Not Only Performance Matters. |
Description Logics |
2015 |
DBLP BibTeX RDF |
|
| 1 | Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer 0002, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello (eds.) |
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 |
2015 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
Goal-Directed Tracing of Inferences in EL Ontologies. |
ISWC (2) |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Dmitry Mouromtsev (eds.) |
Knowledge Engineering and the Semantic Web - 5th International Conference, KESW 2014, Kazan, Russia, September 29-October 1, 2014. Proceedings |
KESW |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
Bridging the Gap between Tableau and Consequence-Based Reasoning. |
Description Logics |
2014 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
Goal-Directed Tracing of Inferences in EL Ontologies. |
Description Logics |
2014 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Pronto: A Practical Probabilistic Description Logic Reasoner. |
URSW (LNCS Vol.) |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
The Benefits of Incremental Reasoning in OWL EL. |
ISWC (Posters & Demos) |
2013 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
Incremental Reasoning in OWL EL without Bookkeeping. |
ISWC (1) |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability. |
URSW (LNCS Vol.) |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Dmitry Tsarkov |
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. |
ISWC (1) |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Dmitry Mouromtsev (eds.) |
Knowledge Engineering and the Semantic Web - 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings |
KESW |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
Experimenting with ELK Reasoner on Android. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
Incremental Reasoning in EL+ without Bookkeeping. |
Description Logics |
2013 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Dmitry Tsarkov |
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. |
Description Logics |
2013 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider 0002, Dmitry Tsarkov |
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Dmitry Tsarkov |
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? |
WoMO |
2012 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Chiara Del Vescovo, Thomas Schneider 0002 |
Incrementally Updateable and Persistent Decomposition of OWL Ontologies. |
OWLED |
2012 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Matthew Horridge (eds.) |
Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012 |
OWLED |
2012 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia, David Picado-Muiño |
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach. |
J. Inf. Technol. Res. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Representing Sampling Distributions in P-SROIQ. |
URSW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Andrew Winget |
Decomposition and Modular Structure of BioPortal Ontologies. |
ISWC (1) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
A Hybrid Method for Probabilistic Satisfiability. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia, David Picado-Muiño |
The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Implementing an Efficient SAT Solver for a Probabilistic Description Logic. |
IWIL@LPAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov |
Pronto: A Practical Probabilistic Description Logic Reasoner. |
UniDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Relationships Between Probabilistic Description and First-Order Logics. |
UniDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics. |
SUM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence J. Mazlack, Pavel Klinov |
Ontology Granularity and Rough Equality of Concepts. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia, Ulrike Sattler |
On Correspondences between Probabilistic First-Order and Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Pronto: Probabilistic Ontological Modeling in the Semantic Web. |
ISWC (Posters & Demos) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov |
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner. |
ESWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description). |
OWLED (Spring) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D). |
OWLED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Lawrence J. Mazlack |
Interval Rough Mereology for Approximating Hierarchical Knowledge. |
RSFDGrC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Lawrence J. Mazlack |
On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Lawrence J. Mazlack |
Granulating semantic web ontologies. |
GrC |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license