Module Extraction via Query Inseparability in OWL 2 QL

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev. Module Extraction via Query Inseparability in OWL 2 QL. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. Volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]

Authors

Boris Konev

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

Roman Kontchakov

This author has not been identified. Look up 'Roman Kontchakov' in Google

Michel Ludwig

This author has not been identified. Look up 'Michel Ludwig' in Google

Thomas Schneider 0002

This author has not been identified. Look up 'Thomas Schneider 0002' in Google

Frank Wolter

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

Michael Zakharyaschev

This author has not been identified. Look up 'Michael Zakharyaschev' in Google