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]
@inproceedings{GottlobOP15,
title = {Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-},
author = {Georg Gottlob and Giorgio Orsi and Andreas Pieris},
year = {2015},
doi = {10.1007/978-3-319-21542-6_3},
url = {http://dx.doi.org/10.1007/978-3-319-21542-6_3},
researchr = {https://researchr.org/publication/GottlobOP15},
cites = {0},
citedby = {0},
pages = {35-53},
booktitle = {Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings},
editor = {Nick Bassiliades and Georg Gottlob and Fariba Sadri and Adrian Paschke and Dumitru Roman},
volume = {9202},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-21541-9},
}