Designing novel abstraction networks for ontology summarization and quality assurance