We study knowledge bases as a certain algebraic and model-theoretical structure. Algebraic model of a knowledge base allows to distinguish some algebraic and logical invariants of knowledge bases. In particular, our interest is to find out how these invariants are related to the informational equivalence of knowledge bases.

中文翻译：

---

逻辑自同构知识库模型

我们将知识库作为某种代数和模型理论结构来研究。知识库的代数模型允许区分知识库的一些代数和逻辑不变量。特别是，我们的兴趣是找出这些不变量如何与知识库的信息等价相关。