Provability-based semantic interoperability via translation graphs

Authors:
Joshua Taylor;Andrew Shilliday;Selmer Bringsjord
Affiliations:
Rensselaer AI & Reasoning Lab, Departments of Cognitive and Computer Science, Rensselaer Polytechnic Institute, Troy, NY;Rensselaer AI & Reasoning Lab, Departments of Cognitive and Computer Science, Rensselaer Polytechnic Institute, Troy, NY;Rensselaer AI & Reasoning Lab, Departments of Cognitive and Computer Science, Rensselaer Polytechnic Institute, Troy, NY
Venue:
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Year:
2007

Citing 10
Cited 0

Logical foundations of artificial intelligence

Logical foundations of artificial intelligence
Automatic Programming: Myths and Prospects

Computer
A declarative formalization of knowledge translation

CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Extensions of first order logic

Extensions of first order logic
Logic and Artificial Intelligence: Divorced, Still Married, Separated...?

Minds and Machines
Agents and the Semantic Web

IEEE Intelligent Systems
Introducing Institutions

Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Deriving axioms across ontologies

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A survey on ontology mapping

ACM SIGMOD Record
Introduction to semantic web ontology languages

Proceedings of the First international conference on Reasoning Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.