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

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.

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

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume213
ISSN (Print)0922-6389

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence

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

  • Cite this

    Shilliday, A., Taylor, J., Clark, M., & Bringsjord, S. (2010). Provability-based semantic interoperability for information sharing and joint reasoning. In Ontologies and Semantic Technologies for Intelligence (pp. 109-128). (Frontiers in Artificial Intelligence and Applications; Vol. 213). IOS Press. https://doi.org/10.3233/978-1-60750-581-5-109