Robert Schiaffino Achille Fokoue Aditya Kalyanpur Aaron Kershenbaum Li Ma Chintan Patel Edith Schonberg Kavitha Srinivas Computing OWL Ontology Decompositions Using Resolution. 2007 WoMO http://ceur-ws.org/Vol-315/paper6.pdf conf/kcap/2007womo db/conf/kcap/womo2007.html#SchiaffinoFKKMPSS07