Provability-based semantic interoperability for information sharing and joint reasoning

Andrew Shilliday, Joshua Taylor, Micah Clark, Selmer Bringsjord

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Scopus citations


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.

Original languageEnglish (US)
Title of host publicationOntologies and Semantic Technologies for Intelligence
PublisherIOS Press
Number of pages20
ISBN (Print)9781607505808
StatePublished - 2010

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence


Dive into the research topics of 'Provability-based semantic interoperability for information sharing and joint reasoning'. Together they form a unique fingerprint.

Cite this