Model-theoretic inseparability and modularity of description logic ontologies

Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter. Model-theoretic inseparability and modularity of description logic ontologies. Artificial Intelligence, 203:66-103, 2013. [doi]

Abstract

Abstract is missing.