%0 Conference Paper %1 conf/ruleml/GottlobOP15 %A Gottlob, Georg %A Orsi, Giorgio %A Pieris, Andreas %B RuleML %D 2015 %E Bassiliades, Nick %E Gottlob, Georg %E Sadri, Fariba %E Paschke, Adrian %E Roman, Dumitru %I Springer %K %P 35-53 %T Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. %U http://dblp.uni-trier.de/db/conf/ruleml/ruleml2015.html#GottlobOP15 %V 9202 %@ 978-3-319-21541-9

@inproceedings{conf/ruleml/GottlobOP15, added-at = {2023-12-13T09:12:22.000+0100}, author = {Gottlob, Georg and Orsi, Giorgio and Pieris, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2fb116ba2e59e274139f0550ebce38800/admin}, booktitle = {RuleML}, crossref = {conf/ruleml/2015}, editor = {Bassiliades, Nick and Gottlob, Georg and Sadri, Fariba and Paschke, Adrian and Roman, Dumitru}, ee = {https://www.wikidata.org/entity/Q59259460}, interhash = {cbfd43ee84adfb9a08c8d6ecdcde5771}, intrahash = {fb116ba2e59e274139f0550ebce38800}, isbn = {978-3-319-21541-9}, keywords = {}, pages = {35-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:12:22.000+0100}, title = {Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-.}, url = {http://dblp.uni-trier.de/db/conf/ruleml/ruleml2015.html#GottlobOP15}, volume = 9202, year = 2015 }