The Semantics of Refinement Chart.

Dominique Méry Neeraj Kumar Singh

Published in: HCI (20) (2014)

Keyphrases

formal semantics
semantic information
information systems
logic programming
graphical representation
database
databases
data structure
natural language
data integration
conceptual model
temporal logic
semantic representation
transformation rules
logical language