Reasoning on UML Class Diagrams is EXPTIME-hard.

Daniela Berardi Diego Calvanese Giuseppe De Giacomo

Published in: Description Logics (2003)

Keyphrases

uml class diagrams
description logics
class diagrams
uml diagrams
class diagram
database systems
knowledge base
case study
learning objects
production system
reasoning systems