Invention Grant
US09483521B2 Abstraction refinement for scalable type reasoning in ontology-based data repositories
有权
基于本体的数据存储库中可扩展类型推理的抽象精简
- Patent Title: Abstraction refinement for scalable type reasoning in ontology-based data repositories
- Patent Title (中): 基于本体的数据存储库中可扩展类型推理的抽象精简
-
Application No.: US14793354Application Date: 2015-07-07
-
Publication No.: US09483521B2Publication Date: 2016-11-01
- Inventor: Thorsten Liebig , Vincent Vialard , Birte Glimm , Evgeny Kazakov , Trung Kien Tran
- Applicant: derivo GmbH
- Applicant Address: DE Ulm
- Assignee: DERIVO GMBH
- Current Assignee: DERIVO GMBH
- Current Assignee Address: DE Ulm
- Agency: Brinks Gilson & Lione
- Priority: EP14176027 20140707
- Main IPC: G06F17/00
- IPC: G06F17/00 ; G06N5/00 ; G06F17/30 ; G06N5/02
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.
Public/Granted literature
- US20160004965A1 ABSTRACTION REFINEMENT FOR SCALABLE TYPE REASONING IN ONTOLOGY-BASED DATA REPOSITORIES Public/Granted day:2016-01-07
Information query
