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]

Authors

Boris Konev

This author has not been identified. Look up 'Boris Konev' in Google

Carsten Lutz

This author has not been identified. Look up 'Carsten Lutz' in Google

Dirk Walther 0002

This author has not been identified. Look up 'Dirk Walther 0002' in Google

Frank Wolter

This author has not been identified. Look up 'Frank Wolter' in Google