Logically automorphically equivalent knowledge bases models-Reference-Cited by-同舟云学术

Logically automorphically equivalent knowledge bases models

Published:2020-07-17 Issue:08 Volume:20 Page:2150148
ISSN:0219-4988
Container-title:Journal of Algebra and Its Applications
language:en
Short-container-title:J. Algebra Appl.

Author:

Aladova Elena¹,Plotkin Tatjana²

Affiliation:

1. Department of Mathematics, Federal University of Rio Grande do Norte, Av. Senador Salgado Filho, 3000, University Campus, Lagoa Nova, Natal/RN, CEP 59078-970, Brazil

2. Department of Computer Science, Bar-Ilan University, Ramat Gan 5290002, Israel

Abstract

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.

Funder

Israel Science Foundation

Emmy Noether Institute, Department of Mathematics, Bar-Ilan University

Gelbart Institute for Mathematical Sciences, Department of Mathematics, Bar-Ilan University

Publisher

World Scientific Pub Co Pte Lt

Subject

Applied Mathematics,Algebra and Number Theory

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0219498821501486

Reference22 articles.

1. Equivalences among Relational Expressions

2. Isotypeness of Models and Knowledge Bases Equivalence

3. Syntax versus semantics in knowledge bases – I

4. Syntax versus semantics in knowledge bases II

5. Equivalence of relational database schemes

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Algebraic Logic and Knowledge Bases;Hajnal Andréka and István Németi on Unity of Science;2021