Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Decomposition and Modular Structure of BioPortal Ontologies.

C. Vescovo, D. Gessler, P. Klinov, B. Parsia, U. Sattler, T. Schneider, and A. Winget. International Semantic Web Conference (1), volume 7031 of Lecture Notes in Computer Science, page 130-145. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pavel Nedvedicky University of Stuttgart

Dr. Pavel Bashtrykov University of Stuttgart

Pavel Denisov University of Stuttgart

Pavel Ruchka University of Stuttgart

Other publications of authors with the same name

The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach.P. Klinov, B. Parsia, and D. Picado-Muiño. JITR, 4 (1): 1-20 (2011)Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies.P. Klinov, J. Taylor, and L. Mazlack. Web Intell. Agent Syst., 6 (2): 157-174 (2008)Goal-Directed Tracing of Inferences in EL Ontologies.Y. Kazakov, and P. Klinov. Description Logics, volume 1193 of CEUR Workshop Proceedings, page 221-232. CEUR-WS.org, (2014)On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics.P. Klinov, and B. Parsia. SUM, volume 5785 of Lecture Notes in Computer Science, page 138-149. Springer, (2009)Pronto: A Practical Probabilistic Description Logic Reasoner.P. Klinov, and B. Parsia. URSW (LNCS Vol.), volume 7123 of Lecture Notes in Computer Science, page 59-79. Springer, (2013)Incrementally Updateable and Persistent Decomposition of OWL Ontologies.P. Klinov, C. Vescovo, and T. Schneider. OWLED, volume 849 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Experimenting with ELK Reasoner on Android.Y. Kazakov, and P. Klinov. ORE, volume 1015 of CEUR Workshop Proceedings, page 68-74. CEUR-WS.org, (2013)Bridging the Gap between Tableau and Consequence-Based Reasoning.Y. Kazakov, and P. Klinov. Description Logics, volume 1193 of CEUR Workshop Proceedings, page 579-590. CEUR-WS.org, (2014)Empirical Study of Logic-Based Modules: Cheap Is Cheerful.C. Vescovo, P. Klinov, B. Parsia, U. Sattler, T. Schneider, and D. Tsarkov. Description Logics, volume 1014 of CEUR Workshop Proceedings, page 144-155. CEUR-WS.org, (2013)Implementing an Efficient SAT Solver for a Probabilistic Description Logic.P. Klinov, and B. Parsia. IWIL@LPAR, volume 2 of EPiC Series in Computing, page 48-63. EasyChair, (2010)