On the notion of an XML key

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4925 LNCS, Issue , 2008, Pages 103-112

  Hartmann, Sven ^a   Köhler, Henning ^b   Link, Sebastian ^c   Trinh, Thu ^a   Wang, Jing ^d  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF QUEENSLAND   (Australia)

^c VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

^d MASSEY UNIVERSITY   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

CONSTRAINT CLASS; DATA ITEMS; DECISION PROBLEMS; EXPRESSIVE POWER; INTEGRITY CONSTRAINTS; XML DATA; XML KEY;

XML;

EID: 57349175484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88594-8_5     Document Type: Conference Paper

References (26)

1. Akman, V., Surav, M.: Steps Toward Formalizing Context. AI Magazine 17(3), 55-72 (1996)
2. Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983)
3. Bouquet, P., Ghidini, C., Giunchiglia, F., Blanzieri, E.: Theories and Uses of Context in Knowledge Representation and Reasoning. Journal of Pragmatics 35(3), 455-484 (2003)
4. Buvac, S.: Quantificational Logic of Context. In: Proceedings of the 13th National Conference on Artificial Intelligence (AAAI 1996), pp. 600-606. AAAI Press, Menlo Park (1996)
5. Buvac, S., Mason, I.A.: Prepositional Logic of Context. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 1993), pp. 412-419. AAAI Press, Menlo Park (1993)
6. Devlin, K.: Chap. Situation Theory and Situation Semantics. In: Handbook of the History of Logic. Logic and the Modalities in the Twentieth Century, vol. 7, pp. 601-664. Elsevier, Amsterdam (2006)
7. Fauconnier, G.: Mental Spaces: Aspects of Meaning Construction in Natural Language. MIT Press, Cambridge (1985)
8. Gallese, V., Lakoff, G.: The Brain's Concepts: The Role of the Sensory-motor System in Conceptual Knowledge. Cognitive Neuropsychology 22(3-4), 455-479 (2005)
9. Ghidini, C., Giunchiglia, F.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence 127(2), 221-259 (2001)
10. Ghidini, C., Serafini, L.: Distributed First Order Logics. In: Frontiers of Combining Systems, vol. 2, pp. 121-139. Research Studies Press (2000)
11. Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics or: How we can do without Modal Logics. Artificial Intelligence 65(1), 29-70 (1994)
12. Guha, R., McCarthy, J.: Varieties of Context. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds.) CONTEXT 2003. LNCS, vol. 2680, pp. 164-177. Springer, Heidelberg (2003)
13. Guha, R.V.: Contexts: a formalization and some applications. PhD thesis, Stanford University, California, USA (1992)
14. Hayes, P.J.: Contexts in Context. In: AAAI Fall Symposium of Context in Knowledge Representation and Natural Language. AAAI Press, Menlo Park (1997)
15. Kaplan, D.: On the Logic of Demonstratives. Journal of Philosophical Logic 8, 81-98 (1978)
16. Kosslyn, S.M.: Mental Images and the Brain. Cognitive Neuropsychology 22, 333-347 (2005)
17. Lewis, D.K.: Index, Context, and Content. In: Philosophy and Grammar, pp. 79-100. D. Reidel, Dordrecht (1980)
18. Lewis, D.K.: On the Plurality of Worlds. Blackwell Publishing, Maiden (1986)
19. McCarthy, J.: Chap. Generality in Artificial Intelligence. In: Formalizing Common Sense: Papers by John McCarthy, pp. 226-236. Ablex Publishing, Greenwich (1990)
20. McCarthy, J.: Notes on Formalizing Contexts. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 555-560. Morgan Kaufmann, San Francisco (1993)
21. Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974)
22. Nardi, D., Brachman, R.J.: An Introduction to Description Logics. In: Description Logic Handbook, pp. 5-44. Cambridge University Press, Cambridge (2002)
23. Quine, W.V.O.: Prepositional Objects. In: Ontological Relativity and Other Essays (J.Dewey Essays in Philosophy), pp. 139-160. Columbia, University Press, New York (1969)
24. Serafini, L., Bouquet, P.: Comparing Formal Theories of Context in AI. Artificial Intelligence 155(1-2), 41-67 (2004)
25. Simons, P.: Parts: A Study in Ontology. Oxford University Press, Oxford (2003)
26. Thomason, R.H.: Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. In: Bouquet, P., Serafini, L., Brézillon, P., Benercetti, M., Castellani, F. (eds.) CONTEXT 1999. LNCS (LNAI), vol. 1688, pp. 352-374. Springer, Heidelberg (1999)