@inproceedings{GrauOWLEd07,
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  booktitle = "OWLEd 2007, Proceedings of the 3thrd International Workshop: {OWL} Experiences and Directions, Innsbruck, Austria June 6-8, 2007",
  title = "Extracting Modules from Ontologies: A Logic-based Approach",
  year = "2007",
}