Full Satisfiability of UML Class Diagrams.

Alessandro Artale Diego Calvanese Yazmín Angélica Ibáñez-García

Published in: ER (2010)

Keyphrases

uml class diagrams
class diagrams
uml diagrams
class diagram
computational complexity
description logics
np complete
machine learning
software design
software artifacts
knowledge base
metadata
software development