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… CONTINUE READING