Using Model-Theoretic Invariants for Semantic Integration
Michael Grüninger · 2004
Abstract : The meaning of terms in the ontology is characterized by models for first-order logic. The PSL Ontology has a first-order axiomatization of the class of models. Identify variants of the models. By axiomatizing these invariants, translation definitions can be shown to preserve semantics between software applications.