An Approach for Automatically Reasoning Consistency of Domain-Specific Modelling Language.

Tao Jiang Xin Wang Li-Dong Huang

Published in: RSKT (2014)

Keyphrases

domain specific
modelling language
consistency checking
formal semantics
general purpose
knowledge representation
learning design
knowledge base
information systems
multimedia
learning scenarios