Abstraction refinement for scalable type reasoning in ontology-based data repositories

摘要

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.