On Logic and Standards for Structuring Documents
The advent of XML has been widely seized upon as an opportunity to develop document representation standards that lend themselves to automated processing. This is a welcome development and much good has come of it. That said, present standardization efforts may be criticized on a number of counts. We explore two issues associated with document XML standardization efforts. We label them (i) the dynamic point and (ii) the logical point. Our dynamic point is that in many cases experience has shown that the search for a final, or even reasonably permanent, document representation standard is futile. The case is especially strong for electronic data interchange (EDI). Our logical point is that formalization into symbolic logic is materially helpful for understanding and designing dynamic document standards.
KeywordsEDI messaging messaging standards XML logic
Unable to display preview. Download preview PDF.
- 1.ISO 20022, Payments standards – clearing and settlement (October 2006), http://www.iso20022.org/index.cfm?item_id=60053 (accessed 2007-1-7). File: Payments_Standards-Clearing_and_Settlement_updated.pdf
- 3.Kimbrough, S.O.: Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content. In: Proceedings of ICAIL 2001, International Conference on Artificial Intelligence and Law (2001)Google Scholar
- 4.Kimbrough, S.O.: A note on interpretations for federated languages and the use of disquotation. In: Gardner, A. (ed.) Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005), Bologna, Italy, In cooperation with ACM SIGART and The American Association for Artificial Intelligence, June 6–11, 2005, pp. 10–19 (2005)Google Scholar
- 5.ISO 20022, Financial services — UNIversal Financial Industry message scheme — part 1: Overall methodology and format specifications for inputs to and outputs from the iso 20022 repository (December 2004), http://www.iso20022.org/index.cfm?item_id=42953 (accessed 2007-1-10). Reference number ISO 20022-1:2004(E)
- 7.Jones, A.J.I., Sergot, M.J.: On the characterization of law and computer systems: The normative systems perspective. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 275–307. John Wiley & Sons, Chichester (1993)Google Scholar