Formal Semantics of Hybrid Chi.

Ramon R. H. Schiffelers D. A. van Beek Ka L. Man Michel A. Reniers Jacobus E. Rooda

Published in: FORMATS (2003)

Keyphrases

formal semantics
operational semantics
formal language
logical language
logical reasoning
er model
modelling language
first order logic
modeling language
ontology languages
knowledge base
relational databases
speech acts