A Language Extension for Graph Processing and Its Formal Semantics.

Terrence W. Pratt Daniel P. Friedman

Published in: Commun. ACM (1971)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modeling language
modelling language
first order logic
speech acts
closure operator
er model
logical reasoning
ontology languages
databases
owl dl ontology