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...

We study a two-period supply chain consisting of a manufacturer, who participates in a cap-and-trade scheme and faces an uncertain emission permit price, and a retailer, who sells the product from the manufacturer to consumer and faces a price-sensitive demand. In the face of uncertain future...