Isotypeness of models and knowledge bases equivalence

DOI10.1007/s11786-013-0166-5zbMath1319.68213OpenAlexW2026205431MaRDI QIDQ2254092

Eugene Plotkin, E. V. Aladova, Tatjana Plotkin

Publication date: 4 February 2015

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-013-0166-5

zbMATH Keywords

knowledge baseelementary equivalenceisotypic knowledge bases

Mathematics Subject Classification ID

Knowledge representation (68T30) Applications of universal algebra in computer science (08A70)

Related Items (7)

Multi-sorted logic, models, and logical geometry. ⋮ Unnamed Item ⋮ Syntax versus semantics in knowledge bases – I ⋮ Logically automorphically equivalent knowledge bases models ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Algebraic Logic and Knowledge Bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic geometry over algebraic structures. IV: Equational domains and codomains
• Algebraic geometry over algebraic structures. V: The case of arbitrary signature
• Inclusion and equivalence between relational database schemata
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Automorphism group computation and isomorphism testing in finite groups
• Geometrical aspect of databases and knowledge bases.
• Algebraic geometry over groups. II: Logical foundations
• Symmetries of knowledge bases
• Equivalence of Relational Database Schemes
• Equivalences among Relational Expressions
• Model Theory
• Conjugacy of Subgroups of the General Linear Group
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge

This page was built for publication: Isotypeness of models and knowledge bases equivalence