Logically automorphically equivalent knowledge bases models

DOI10.1142/S0219498821501486MaRDI QIDQ5157754zbMATH OpenOpenAlexFDO

Authors E. Aladova, T. 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

automorphically equivalent knowledge basesequivalence probleminformationally equivalent knowledge basesknowledge base model

Mathematics Subject Classification ID

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

Recommendations

• An algebraic approach to knowledge base models informational equivalence
• Knowledge bases and automorphic equivalence of multi-models versus linear spaces and graphs
• Symmetries of knowledge bases
• scientific article; zbMATH DE number 6257763
• Geometrical aspect of databases and knowledge bases.

Cites work

• A relational model of data for large shared data banks
• Algebraic geometry in first-order logic
• Algebraic logic and logically-geometric types in varieties of algebras
• Algebras with a Scheme of Operators
• An algebraic approach to knowledge base models informational equivalence
• Automorphisms of the category of free Lie algebras
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
• Equivalence of Relational Database Schemes
• Equivalences among Relational Expressions
• Geometrical aspect of databases and knowledge bases.
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 521219 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Isotyped algebras
• Isotypeness of models and knowledge bases equivalence
• Model Theory
• Symmetries of knowledge bases
• Syntax versus semantics in knowledge bases II
• Syntax versus semantics in knowledge bases – I
• The logic of knowledge bases

Cited in

(7)

• Symmetries of knowledge bases
• An algebraic approach to knowledge base models informational equivalence
• Multi-sorted logic, models, and logical geometry.
• scientific article; zbMATH DE number 33714 (Why is no real title available?)
• scientific article; zbMATH DE number 6148081 (Why is no real title available?)
• Algebraic Logic and Knowledge Bases
• Knowledge bases and automorphic equivalence of multi-models versus linear spaces and graphs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5157754)