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

Abstraction Refinement for Ontology Materialization.

B. Glimm, Y. Kazakov, T. Liebig, T. Tran, and V. Vialard. Description Logics, volume 1193 of CEUR Workshop Proceedings, page 185-196. CEUR-WS.org, (2014)

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.

Hon. -Prof. Dr. Volker Liebig University of Stuttgart

Thorsten Pape University of Stuttgart

Thorsten Herrmann

Thorsten Bieser University of Stuttgart

Thorsten Markert University of Stuttgart

Other publications of authors with the same name

Action Hierarchies in Description Logics.T. Liebig, and D. Rösner. Description Logics, volume 410 of URA-CNRS, (1997)VIScover: Visualizing, exploring, and analysing structured data.T. Liebig, O. Noppens, and F. von Henke. IEEE VAST, page 259-260. IEEE Computer Society, (2009)The OWLlink Protocol.T. Liebig, M. Luther, and O. Noppens. OWLED, volume 529 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Realizing the hidden: interactive visualization and analysis of large volumes of structured data.O. Noppens, and T. Liebig. AVI, page 441-444. ACM Press, (2008)Understanding Large Volumes of Interconnected Individuals by Visual Exploration.O. Noppens, and T. Liebig. ESWC, volume 4519 of Lecture Notes in Computer Science, page 799-808. Springer, (2007)Real-World Reasoning with OWL.T. Weithöner, T. Liebig, M. Luther, S. Böhm, F. von Henke, and O. Noppens. ESWC, volume 4519 of Lecture Notes in Computer Science, page 296-310. Springer, (2007)A Tableau-Based Explainer for DL Subsumption.T. Liebig, and M. Halfmann. TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 323-327. Springer, (2005)Reasoning with Nominal Schemas through Absorption.A. Steigmiller, B. Glimm, and T. Liebig. J. Autom. Reasoning, 53 (4): 351-405 (2014)Konclude: System description.A. Steigmiller, T. Liebig, and B. Glimm. J. Web Semant., (2014)OWLlink: DIG for OWL 2.T. Liebig, M. Luther, O. Noppens, M. Rodriguez, D. Calvanese, M. Wessel, M. Horridge, S. Bechhofer, D. Tsarkov, and E. Sirin. OWLED, volume 432 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)