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 Citations (Scopus)

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

Fingerprint

Interoperability
Semantics
Syntactics
Unmanned aerial vehicles (UAV)
Information systems

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence

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
Shilliday, Andrew ; Taylor, Joshua ; Clark, Micah ; Bringsjord, Selmer. / Provability-based semantic interoperability for information sharing and joint reasoning. Ontologies and Semantic Technologies for Intelligence. IOS Press, 2010. pp. 109-128 (Frontiers in Artificial Intelligence and Applications).
@inbook{67f4e484f1564db18673d6df28d810ad,
title = "Provability-based semantic interoperability for information sharing and joint reasoning",
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.",
author = "Andrew Shilliday and Joshua Taylor and Micah Clark and Selmer Bringsjord",
year = "2010",
month = "1",
day = "1",
doi = "10.3233/978-1-60750-581-5-109",
language = "English (US)",
isbn = "9781607505808",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
pages = "109--128",
booktitle = "Ontologies and Semantic Technologies for Intelligence",
address = "Netherlands",

}

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. Frontiers in Artificial Intelligence and Applications, vol. 213, IOS Press, pp. 109-128. https://doi.org/10.3233/978-1-60750-581-5-109

Provability-based semantic interoperability for information sharing and joint reasoning. / Shilliday, Andrew; Taylor, Joshua; Clark, Micah; Bringsjord, Selmer.

Ontologies and Semantic Technologies for Intelligence. IOS Press, 2010. p. 109-128 (Frontiers in Artificial Intelligence and Applications; Vol. 213).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Provability-based semantic interoperability for information sharing and joint reasoning

AU - Shilliday, Andrew

AU - Taylor, Joshua

AU - Clark, Micah

AU - Bringsjord, Selmer

PY - 2010/1/1

Y1 - 2010/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77956042364&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77956042364&partnerID=8YFLogxK

U2 - 10.3233/978-1-60750-581-5-109

DO - 10.3233/978-1-60750-581-5-109

M3 - Chapter

SN - 9781607505808

T3 - Frontiers in Artificial Intelligence and Applications

SP - 109

EP - 128

BT - Ontologies and Semantic Technologies for Intelligence

PB - IOS Press

ER -

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