Reasoning on UML class diagrams

Cite this paper

@article{Berardi2005ReasoningOU, title={Reasoning on UML class diagrams}, author={Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo}, journal={Artif. Intell.}, year={2005}, volume={168}, pages={70-118} }