Patents by Inventor Thorsten LIEBIG

Thorsten LIEBIG has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Abstraction refinement for scalable type reasoning in ontology-based data repositories
    Patent number: 9483521
    Abstract: A computer-implemented method for computing a concept materialization of an ontology is presented whereby a compression technique called “ABox abstraction and refinement” is used that may significantly reduce time, memory, and computing resources for reasoning and in particular for computing and outputting the materialization.
    Type: Grant
    Filed: July 7, 2015
    Date of Patent: November 1, 2016
    Assignee: DERIVO GMBH
    Inventors: Thorsten Liebig, Vincent Vialard, Birte Glimm, Evgeny Kazakov, Trung Kien Tran
  • ABSTRACTION REFINEMENT FOR SCALABLE TYPE REASONING IN ONTOLOGY-BASED DATA REPOSITORIES
    Publication number: 20160004965
    Abstract: A computer-implemented method for computing a concept materialization of an ontology is presented whereby a compression technique called “ABox abstraction and refinement” is used that may significantly reduce time, memory, and computing resources for reasoning and in particular for computing and outputting the materialization.
    Type: Application
    Filed: July 7, 2015
    Publication date: January 7, 2016
    Inventors: Thorsten LIEBIG, Vincent VIALARD, Birte GLIMM, Evgeny KAZAKOV, Trung Kien TRAN