Logically automorphically equivalent knowledge bases models

DOI10.1142/S0219498821501486zbMATH Open1502.68287OpenAlexW3042574704MaRDI QIDQ5157754FDOQ5157754

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

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.

zbMATH Keywords

equivalence problemautomorphically equivalent knowledge basesinformationally equivalent knowledge basesknowledge base model

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Title not available (Why is that?)
• Knowledge bases and automorphic equivalence of multi-models versus linear spaces and graphs
• Multi-sorted logic, models, and logical geometry.
• Title not available (Why is that?)
• Symmetries of knowledge bases
• Algebraic Logic and Knowledge Bases
• An algebraic approach to knowledge base models informational equivalence

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)