Modularization is a promising technique to meet the scalability challenge in reasoning with very large ontologies. In this work, we introduce a novel boundary-based modular extraction method for ontologies in weakly acyclic EL++ description logics. The proposed method is capable of identifying...

point-of-care detection (POCT) for vital biomolecules is of great significance for home testing in biomedical and clinical diagnosis due to the unique detection advantages with rapid, convenient, sensitive, non-damaging, and specific identification. Based on the advantages of the excellent...