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

First Author: Gottlob G

Attributed to: VADA: Value Added Data Systems -- Principles and Architecture funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-21542-6_3

Publication URI: http://dx.doi.org/10.1007/978-3-319-21542-6_3

Type: Book Chapter

Book Title: Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings (2015)

Page Reference: 35-53

ISBN: 978-3-319-21541-9