Deriving Valid Expressions from Ontology Definitions
Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos · 2002
. In this paper, we consider an ontology as a set of terms together with three binary relations on terms, called synonymy, subsumption and crossreference. We present a model-theoretic interpretation of ontologies and we show that this approach although appropriate for deciding the soundness of an ontology, is not sufficient for providing a sound and complete inference procedure for checking the validity of expressions in an ontology. Therefore a different "proof-theoretic" approach which allows checking the validity of expressions is also presented. 1