Definability and Process Ontologies
Michael Grüninger · 2009
In this paper, we use the notions of relative interpretations and definable models from mathematical logic to compare dierent ontologies and also to evaluate the limitations of particular ontologies. In particular, we characterize the relationship between the theories within the first-order PSL Ontology and two other ontologies ‐ a first-order theory of time and Reiter’s second-order axiomatization of situation calculus.