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]

Authors

Georg Gottlob

This author has not been identified. Look up 'Georg Gottlob' in Google

Giorgio Orsi

This author has not been identified. Look up 'Giorgio Orsi' in Google

Andreas Pieris

This author has not been identified. Look up 'Andreas Pieris' in Google