Reasoning on UML class diagrams.

Daniela Berardi Diego Calvanese Giuseppe De Giacomo

Published in: Artif. Intell. (2005)

Keyphrases

uml class diagrams
class diagrams
class diagram
description logics
uml diagrams
reasoning systems
software artifacts
database
knowledge base
high level
expert systems
relational databases
object oriented
open source
software development