Author:Nortje, R; Britz, K; Meyer, TDate:Dec 2013In this paper we investigate module extraction for the Description Logic SRIQ. We formulate modules in terms of the reachability problem for directed hypergraphs. Using inseperability relations, we investigate the module-theoretic properties ...Read more