Patent ID: 9483521
Filing Date: 2016-11-01
CPC Classification: G06F,G06N

Claim Text:
1. A computer-implemented method for computing a concept materialization of an ontology O, wherein O is a formal explicit description of concepts and roles in a domain of discourse comprising: an ABox A, referring to a TBox T, referring to schema axioms about concepts and roles, wherein concept materialization refers to computing all entailed atomic concepts of all individuals, wherein entailment is defined according to the semantics of a description language used to specify ontology O, the computer-implemented method comprising the following steps: (1) building an ABox B, being an abstract representation of ABox A, based on equivalence classes of individuals in ABox A, wherein individuals fall into the same equivalence class if they are asserted to the same concepts and if they are the source of the same roles and if they are target of the same roles, wherein the ABox B contains for each equivalence class E (2) materializing all entailed concept assertions of ABox B with respect to TBox T of the ontology O using ontology reasoning; (3) extending ABox A by adding, if not already included, assertions to obtain ABox A′ so that ABox A′ includes for all equivalence classes E: (4) if new assertions are added by the extending in step (3) repeat from step (1), wherein ABox A should be the extended ABox A′ provided by step (3); wherein the transformed ontology O′ is obtained from O by replacing the original ABox A with the final extended ABox A′, being a concept materialized version of the original input ABox A.