Formalization of ORM Revisited.

Terry A. Halpin

Published in: OTM Workshops (2012)

Keyphrases

conceptual modeling
formal model
uml class diagrams
social networks
information systems
knowledge representation
information retrieval
multimedia
digital libraries
topic maps
logical framework
operational semantics