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

Georg Gottlob Giorgio Orsi Andreas Pieris

Published in: RuleML (2015)

Keyphrases

consistency checking
uml class diagrams
query answering
data exchange
class diagrams
integrity constraints
class diagram
uml diagrams
description logics
incomplete information
data integration
xml schema
temporal reasoning
software artifacts
query language
video sequences
constraint language
knowledge base
database