Logically automorphically equivalent knowledge bases models

DOI10.1142/S0219498821501486zbMath1502.68287OpenAlexW3042574704MaRDI QIDQ5157754

E. V. Aladova, Tatjana Plotkin

Publication date: 20 October 2021

Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219498821501486

zbMATH Keywords

equivalence problemautomorphically equivalent knowledge basesinformationally equivalent knowledge basesknowledge base model

Mathematics Subject Classification ID

Knowledge representation (68T30) Applications of universal algebra in computer science (08A70) Other algebras related to logic (03G25)

Related Items (1)

Algebraic Logic and Knowledge Bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Isotyped algebras
• Algebraic geometry in first-order logic
• Automorphisms of the category of free Lie algebras
• Geometrical aspect of databases and knowledge bases.
• Symmetries of knowledge bases
• Isotypeness of models and knowledge bases equivalence
• An algebraic approach to knowledge base models informational equivalence
• Equivalence of Relational Database Schemes
• Equivalences among Relational Expressions
• Syntax versus semantics in knowledge bases – I
• Model Theory
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
• Syntax versus semantics in knowledge bases II
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
• A relational model of data for large shared data banks
• Algebras with a Scheme of Operators

This page was built for publication: Logically automorphically equivalent knowledge bases models