Ali Hanzala Khan Ivan Porres Consistency of UML class, object and statechart diagrams using ontology reasoners. 42-65 2015 26 J. Vis. Lang. Comput. https://doi.org/10.1016/j.jvlc.2014.11.006 db/journals/vlc/vlc26.html#KhanP15