Instance checking is considered a central tool for data retrieval from description logic (DL) ontologies. TBox given assertion strategy together with optimizations. The revised method takes into consideration only the related ABox information and computes a concept for each individual that is only to answer the current query w.r.t. the TBox. Based on this strategy… Continue reading Instance checking is considered a central tool for data retrieval from