Knowledge bases over algebraic models. Some notes about informational equivalence

@article{Knyazhansky2012KnowledgeBO,
  title={Knowledge bases over algebraic models. Some notes about informational equivalence},
  author={Marina Knyazhansky and Tatjana L. Plotkin},
  journal={IJKM},
  year={2012},
  volume={8},
  pages={22-39}
}
The recent advances in knowledge base research and the growing importance of effective knowledge management raised an important question of knowledge base equivalence verification. This problem has not been stated earlier, at least in a way that allows speaking about algorithms for verification of informational equivalence, because the informal definition… CONTINUE READING