@inproceedings{DBLP:conf/ijcai/GrauHKS07, title = "A Logical Framework for Modularity of Ontologies.", author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler", year = "2007", booktitle = "IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007", pages = "298-303", url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/IJCAI-GrauB936.pdf", }