Maintaining Consistency of Ontologies Registry with Description Logic. - Wei Liu 011; Keqing He 002; Yanfan He (ISWS, 2005)