@incollection{GraHorKazSat:09:Extracting,
  title = "Extracting Modules from Ontologies: A Logic-Based Approach",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2009",
  booktitle = "Modular Ontologies",
  editor = "Heiner Stuckenschmidt and Christine Parent and Stefano Spaccapietra",
  isbn = "978-3-642-01906-7",
  pages = "159-186",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-01907-4",
  volume = "5445",
}