Reasoning on UML Class Diagrams using Description Logic Based Systems

Cite this paper

@inproceedings{Berardi2001ReasoningOU, title={Reasoning on UML Class Diagrams using Description Logic Based Systems}, author={Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo}, year={2001} }