On the Expressive Limits of Reified Theories

摘要

Reified theories have been used widely in knowledge representation. From an ontological perspective, reification involves populating he ontology with event or property types and tokens. While type reification has been used in many works, it has been criticized as being philosophically unsound, and token reification has been advocated in its place by Galton. In this paper, we take the position of an axiomatizer, and examine the limitations of both toke and type reifications.