Method for drawing intersecting clustered graphs and its application to web ontology language.