Inproceedings,

Reasoning on UML Class Diagrams in Description Logics

, , , and .
Proc. IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD), (2001)

Meta data

Tags

Users

  • @tommens
  • @evol
  • @kimmens
  • @pdeleenh

Comments and Reviews