Nesting in Euler Diagrams: syntax, semantics and construction.

Jean Flower John Howse John Taylor

Published in: Softw. Syst. Model. (2004)

Keyphrases

definition language
operational semantics
uml class diagrams
graphical representation
logic programming
lexical semantics
semantic information
predicate calculus
rule language
formal semantics
hand drawn
machine processable
high level
natural language processing
syntactic analysis
precisely defined