Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-

Georg Gottlob, Giorgio Orsi, Andreas Pieris. Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. In Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman, editors, Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings. Volume 9202 of Lecture Notes in Computer Science, pages 35-53, Springer, 2015. [doi]

Abstract

Abstract is missing.