Reason on UML Diagrams with Answer Set Programming | IEEE Conference Publication | IEEE Xplore