Object-Role Modeling and Finite-Model Theory

Why a proof theoretic mapping of greater Object-Role Modeling to a theory under finite model theory holds no guarantee of unambiguous models.

Greater Object-Role Modeling mapped to sentences of a theory of finite-model theory. Image by author.

In an earlier article we explored why certain graphical models of Object-Role Modeling can be ambiguous and where for any semblance of formalism to be…