@inproceedings{CHKS07c,
  title = "Extracting Modules from Ontologies: A Logic-based Approach",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  booktitle = "Proc.\ of the Third Int.\ Workshop on OWL Experiences and Directions (OWLED 2007)",
  number = "258",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2007/CHKS07c.pdf",
}