Abstract
We seek to develop methods for making the meaning of markup explicit using notations like first-order predicate calculus. In the context of that work, a number of problems have arisen; this paper discusses ten of them, describing how we propose to solve them. Topics include: Logical predicates of variable arity; the form to be taken by inference rules; deictic reference to other parts of the document; property inheritance and how to override inherited values; distinguishing between unions of properties and overriding of properties; treatment of milestones; definition of the universe of discourse; definite descriptions; and the recording of uncertainty and responsibility.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Berglund, A., Boag, S., Chamberlin, D., Fernández, M., Kay, M., Robie, J., Siméon, J.: XML path language (XPath) 2.0. W3C Recommendation, World Wide Web Consortium (2007), http://www.w3.org/TR/xpath20
Brüggemann-Klein, A., Wood, D.: Caterpillars: a context specification technique. Markup Languages: Theory & Practice 2(1), 81–106 (2000)
Burnard, L., Bauman, S.: TEI P5: Guidelines for electronic text encoding and interchange. Tech. rep. TEI Consortium (2007), http://www.tei-c.org/release/doc/tei-p5-doc/en/html/index.html
Çelik, T., Etemad, E., Glazman, D., Hickson, I., Linss, P., Williams, J.: Selectors level 3. W3C Working Draft, World Wide Web Consortium, Cambridge, Tokyo, Sophia-Antipolis (2009), http://www.w3.org/TR/css3-selectors/
Clark, J., Derose, S.: XML path language (XPath): Version 1.0. W3C Recommendation, World Wide Web Consortium, Cambridge, Tokyo, Sophia-Antipolis (1999), http://www.w3.org/TR/xpath
Goodman, N.: The structure of appearance, 3rd edn. Reidel, Boston (1977)
Lagoze, C., Van de Sompel, H., Nelson, M., Warner, S.: The open archives initiative protocol for metadata harvesting: Version 2.0. Tech. rep., Open Archives Initiative, (2002), http://www.openarchives.org/OAI/2.0/openarchivesprotocol.htm
Marcoux, Y., Sperberg-McQueen, C., Huitfeldt, C.: Formal and informal meaning from documents through skeleton sentences: Complementing formal tag-set descriptions with intertextual semantics and vice-versa. In: Proceedings of Balisage: The Markup Conference 2009, Montréal, Canada. Balisage Series on Markup Technologies, vol. 3 (2009), http://balisage.net/Proceedings/vol3/html/Sperberg-McQueen01/BalisageVol3-Sperberg-McQueen01.html
Ott, W.: Metrische Analysen zu Vergil Aeneis Buch VI. Niemeyer, Tübingen (1973)
Sperberg-McQueen, C., Huitfeldt, C., Renear, A.: Meaning and interpretation of markup. Markup Languages: Theory & Practice 2(3), 215–234 (2001), http://www.w3.org/People/cmsmcq/2000/mim.html
Turski, W., Maibaum, T.: The Specification of Computer Programs. Addison-Wesley, Wokingham (1987)
Wittgenstein, L.: Wittgenstein’s Nachlaß: The Bergen electronic edition. Wittgenstein Archives at the University of Bergen. Oxford University Press, Oxford (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Sperberg-McQueen, C.M., Huitfeldt, C. (2011). Ten Problems in the Interpretation of XML Documents. In: Mehler, A., Kühnberger, KU., Lobin, H., Lüngen, H., Storrer, A., Witt, A. (eds) Modeling, Learning, and Processing of Text Technological Data Structures. Studies in Computational Intelligence, vol 370. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22613-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-22613-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22612-0
Online ISBN: 978-3-642-22613-7
eBook Packages: EngineeringEngineering (R0)