Provability-Based Semantic Interoperability Via Translation Graphs

  title={Provability-Based Semantic Interoperability Via Translation Graphs},
  author={Joshua Taylor and Andrew Shilliday and Selmer Bringsjord},
  booktitle={ER Workshops},
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… CONTINUE READING