Decomposing ontology in Description Logics by graph partitioning Conference Paper uri icon