Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning

Authors:
Andrew Shilliday;Joshua Taylor;Micah Clark;Selmer Bringsjord
Affiliations:
Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory, Departments of Cognitive and Computer Science, Rensselaer Polytechnic Institute, Troy NY 12180, USA;Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory, Departments of Cognitive and Computer Science, Rensselaer Polytechnic Institute, Troy NY 12180, USA;Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory, Departments of Cognitive and Computer Science, Rensselaer Polytechnic Institute, Troy NY 12180, USA;Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory, Departments of Cognitive and Computer Science, Rensselaer Polytechnic Institute, Troy NY 12180, USA
Venue:
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Year:
2010

Citing 13
Cited 3

Automatic Programming: Myths and Prospects

Computer
Logic and artificial intelligence

Artificial Intelligence
The evolution of CycL, the Cyc representation language

ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
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
Logic-Based Subsumption Architecture

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Introducing Institutions

Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Toward a General Logicist Methodology for Engineering Ethically Correct Robots

IEEE Intelligent Systems
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
Discovering simple mappings between relational database schemas and ontologies

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference

Formal measures for semantic interoperability assessment in cooperative enterprise information systems

Computers in Industry
Semantic reconciliation across design and manufacturing knowledge models: a logic-based approach

Applied Ontology
Semantic reconciliation across design and manufacturing knowledge models: A logic-based approach

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe provability-based semantic interoperability (PBSI), a framework transcending syntactic translation that enables robust, meaningful, knowledge exchange across diverse information systems. PBSI is achieved through translation graphs that capture complex ontological relationships, and through provability-based queries. We work through an example of automating an unmanned aerial vehicle by reasoning over information from a number of sources.