Resolving Logical Contradictions in Description Logic Ontologies Based on Integer Linear Programming | IEEE Journals & Magazine | IEEE Xplore