Toward Automated Provability-Based Semantic Interoperability Between Ontologies for the Intelligence Community ( extended abstract )

@inproceedings{Shilliday2007TowardAP,
  title={Toward Automated Provability-Based Semantic Interoperability Between Ontologies for the Intelligence Community ( extended abstract )},
  author={Andrew Shilliday and Joshua Taylor},
  year={2007}
}
The need for interoperability is dire: Knowledge representation systems employ ontologies that use disparate formalisms to describe related domains; to be truly useful to the intelligence community, they must meaningfully share information. Ongoing research [3, 4, 7, 15] strives toward the holy grail of complete interoperability, but has been hindered by techniques that are specialized for particular ontologies, and that lack the expressivity needed to describe complex ontological relationships… CONTINUE READING