Research Interests

  • Semantic Technologies esp.
  • Calculi for expressive knowledge representation languages
  • Ontology languages: RDF, RDFS, OWL
  • Reasoning systems
  • Practical semantic applications
  • Information visualization and analytics
  • Communication protocols for the Semantic Web
  • Linked (Open) Data

Projects

  • SFB 527: Integration symbolischer und subsymbolischer Informationsverarbeitung in adaptiven sensomotorischen Systemen (1998 - 2000)
  • Semantic service discovery. docomo Eurolabs GmbH, Munich (2003 - 2007)
  • Ontology-based document management. EU Network of Excellence: ReSIST (2008 - 2009)
  • OWLlink protocol specification. W3C member submission 2010
  • Viscover - Visual semantic analysis tool for complex data analysis, Inpol-Land Polas Competence Center (IPCC) (2010)
  • Joint theses with industrial partners from Daimler AG, BMW AG, TEMIC Telefunken

Awards and Grants

Reviewing and Organization

  • Co-chair of the international workshop series on Scalable Semantic Web Knowledge Base Systems (SSWS) in 2011, 2010, 2009, 2008, 2007.
  • Local organizer of KI 2004, Ulm, Germany.
  • Reviewer for IBM Systems Journal, Journal of Semantic Web, ECAI 2002, OWLED WS, DL WS, EON WS, Informatik WS, and other events.
  • Supervisor of more than 20 theses (diploma, master, bachelor)

Patents

  • Middleware for use in a client-server architecture, EP2012490
  • Method and apparatus for preference building to be used in service discovery, EP1807773

Miscellaneous

Kontakt

  • E-Mail: liebig(at)derivo.de
  • Telefon: +49 (0)731/26 506 747
  • Telefax: +49 (0)731/26 506 749
  • Postanschrift

  • Dr. Thorsten Liebig
  • derivo GmbH
  • Münchner Straße 1
  • D-89073 Ulm

Publikationen

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

65.
pdf
Steigmiller, Andreas; Glimm, Birte und Liebig, Thorsten
Completion Graph Caching for Expressive Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Herausgeber: CEUR Workshop Proceedings,
2015

Marker: AutomatedReasoning

64.
pdf
Steigmiller, Andreas; Liebig, Thorsten und Glimm, Birte
Konclude: System Description
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 27(1)
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

63.
pdf
Steigmiller, Andreas; Glimm, Birte und Liebig, Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53(4):351-405
2014

Schlüsselwörter: Nominal Schema, Reasoning, Description Logics, Tableau, Optimisations, Optimizations

Marker: AutomatedReasoning

Zusammenfassung: Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support.

62.
pdf
Steigmiller, Andreas; Glimm, Birte und Liebig, Thorsten
Optimised Absorption for Expressive Description Logics
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, Editor, Proceedings of the 27th International Workshop on Description Logics (DL 2014) Band 1193 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

61.
pdf
Steigmiller, Andreas; Glimm, Birte und Liebig, Thorsten
Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures
In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, Editor, Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) Band 8562 aus Lecture Notes in Computer Science , Seite 449-463.
Herausgeber: Springer-Verlag,
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

60.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien und Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 13th International Semantic Web Conference (ISWC 2014) Band 8797 aus Lecture Notes in Computer Science , Seite 180-195.
Herausgeber: Springer-Verlag,
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

59.
pdf
Glimm, Birte; Kazakov, Yevgeny; Liebig, Thorsten; Tran, Trung-Kien und Vialard, Vincent
Abstraction Refinement for Ontology Materialization
Proceedings of the 27th International Workshop on Description Logics (DL 2014) Band 1193 aus CEUR Workshop Proceedings , Seite 180-195.
Herausgeber: CEUR-WS.org,
2014

Schlüsselwörter: Reasoning, Description Logics, Optimisations, Optimizations

Marker: AutomatedReasoning

58.
pdf
Cheptsov, Alexey; Tenschert, Axel; Schmidt, Paul; Glimm, Birte; Matthesius, Mauricio und Liebig, Thorsten
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing
In Axel Tenschert and Alexey Cheptsov, Editor, Proceedings of the International Workshop on Big Web Data (BigWebData 2013) aus Lecture Notes in Computer Science
Herausgeber: Springer,
2013

Schlüsselwörter: Big Data, Text Mining, Ontologies

Marker: AutomatedReasoning

57.
pdf
Steigmiller, Andreas; Glimm, Birte und Liebig, Thorsten
Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Herausgeber: AAAI Press/The MIT Press,
2013

Schlüsselwörter: Nominal Schema, Reasoning, Description Logics, Tableau, Optimisations, Optimizations

Marker: AutomatedReasoning

Zusammenfassung: Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support.

56.
pdf
Steigmiller, Andreas; Glimm, Birte und Liebig, Thorsten
Extending Absorption to Nominal Schemas
Proceedings of the 26th International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings,
2013

Schlüsselwörter: Nominal Schema, Reasoning, Description Logics, Tableau, Optimisations, Optimizations

Marker: AutomatedReasoning

Zusammenfassung: Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging.We address this by extending the well-known optimisation of absorption \hlas well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support.

Export als: BibTeX, XML