Sciweavers

ER
2007
Springer

Provability-Based Semantic Interoperability Via Translation Graphs

13 years 9 months ago
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...
Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ER
Authors Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
Comments (0)