Provability-Based Semantic Interoperability Via Translation Graphs

Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange across systems employing ontologies for which mappings or matchings may not exist, and which can be evaluated by provability-based (PB) queries. We introduce a system of translation graphs to formalize the relationships between diverse ontologies and knowledge representation and reasoning systems, and to automatically generate the translation axioms governing PB information exchange and inter-system reasoning. We demonstrate the use of translation graphs on a small number of simple systems to achieve interoperability. Key words: translation graphs, provability-based semantic interoperability 1 What is Semantic Interoperability? The proliferation of knowledge-rich systems has led to the creation of myriad intelligent systems possessing diverse reasoning capabilities. Unfortunately, cooperative efforts among thes...

• Type: Conference
• Year: 2007
• Where: ER
• Authors: Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
• Keywords: ER 2007, Information Exchange, Provability-based Semantic Interoperability, Semantic Interoperability