Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Reasoning and Unification over Conceptual Graphs
Reasoning and Unification over Conceptual Graphs
A Basic Mathematical Framework for Conceptual Graphs
IEEE Transactions on Knowledge and Data Engineering
FCA-MERGE: bottom-up merging of ontologies
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Meta-relation and ontology closure in conceptual structure theory
Artificial Intelligence and Law
Hi-index | 0.00 |
This paper presents an approach for building corporate knowledge, defined as the total knowledge acquired by an enterprise in its business dealings, through integration of its existing ontologies. We propose to represent corporate knowledge as the final merged ontology, defined under our formalism, in which a canon, or common ontology, is used as the standard under which all other ontologies are aligned. The canon is also enriched with knowledge gained during each ontology merging exercise. Our method ensures that all resulting ontologies are semantically consistent, compact and complete, as well as mathematically sound, so that formal reasoning could be conducted.