Inproceedings,

OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.

, , , and .
Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews