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
Y1 - 2010
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
AN - SCOPUS:77956042364
SN - 9781607505808
T3 - Frontiers in Artificial Intelligence and Applications
SP - 109
EP - 128
BT - Ontologies and Semantic Technologies for Intelligence
PB - IOS Press
ER -