Formal Semantics of a SNOBOL4 Subset.

Published in: Comput. Lang. (1978)

Keyphrases

formal semantics
logical language
formal language
er model
logical reasoning
first order logic
modeling language
modelling language
ontology languages
owl dl ontology
operational semantics
knowledge representation
relational databases
open source
natural language
database systems
high level
knowledge base