Conceptual mathematics: a first introduction to categories
Conceptual mathematics: a first introduction to categories
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Equivalence of keyed relational schemas by conjunctive queries
Journal of Computer and System Sciences
The logic of knowledge bases
Handbook of logic in computer science
Discretization: An Enabling Technique
Data Mining and Knowledge Discovery
Knowledge Management: Problems, Promises, Realities, and Challenges
IEEE Intelligent Systems
Knowledge management and the dynamic nature of knowledge
Journal of the American Society for Information Science and Technology
Conceptual Graphs: Draft Proposed American National Standard
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Relational Database Equivalence Problem
ADBIS '95 Proceedings of the Second International Workshop on Advances in Databases and Information Systems
An Application for Knowledge Discovery Based on a Revision of VPRS Model
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Using the Apriori Algorithm to Improve Rough Sets Results
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Computer algebra handbook
Knowledge-Based Kernel Approximation
The Journal of Machine Learning Research
Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)
Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)
Semantic Web Technologies: Trends and Research in Ontology-based Systems
Semantic Web Technologies: Trends and Research in Ontology-based Systems
A Semantic Web Primer, 2nd Edition (Cooperative Information Systems)
A Semantic Web Primer, 2nd Edition (Cooperative Information Systems)
Applied Ontology
Re-Visiting the Knowledge Pyramid
HICSS '09 Proceedings of the 42nd Hawaii International Conference on System Sciences
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
A method to eliminate incompatible knowledge and equivalence knowledge
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Converting semantic meta-knowledge into inductive bias
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
| Hi-index | 0.00 |
This paper discusses the informational equivalence problem for knowledge bases. The authors show that using some mathematical approach it is possible to attack this problem and end up with an implementable algorithm. An essential part of the paper is devoted to the explanation of the mathematical idea which stands behind this algorithm. The authors try to do that in common terms or, at least, in less formal terms. In the second part of the paper mathematical methods are applied to study the properties of automorphic equivalence of knowledge bases multi-models and show that this notion is much wider than the total isomorphism identity of knowledge bases. In order to make the paper self-contained, the reader is provided with the formal definition of a knowledge base. Further development of the theoretical approach presented in the paper can lead to practical applications. For example, it can be used for preventing duplication of information in knowledge bases and in other tasks of improving knowledge management.