G06N5022
Please help me predict the CPC LABEL for this patentPATENT 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.