Context and ontologies: Contextual indexing of ontological expressions

AAAI Workshop - Technical Report

Volumn WS-05-01, Issue , 2005, Pages 132-135

  Obrst, Leo ^a   Nichols, Deborah ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXTUAL INDEXING; ONTOLOGICAL ASSERTIONS; ONTOLOGICAL EXPRESSIONS; SITUATION THEORY;

CONTEXT FREE GRAMMARS; FORMAL LOGIC; INFORMATION DISSEMINATION; INTEROPERABILITY; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS;

COMPUTER SCIENCE;

EID: 33646054084     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (40)

1. Akman, Varol and Mehmet Surav. 1997. The Use of Situation Theory in Context Modeling, Computational Intelligence 13(3), pp. 427-438, August, 1997.
2. Akman, Varol and Surav, Mehmet. 1996. Steps toward Formalizing Context. AI Magazine 17(3), pp. 55-72, 1996.
3. Audemard, Gilles; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani. 2002. Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements". In "Artificial Intelligence, Automated Reasoning, and Symbolic Computation. Proc. of Joint AISC 2002 and Calculemus 2002." Marseille, France, 2002. LNAI N.2385 © Springer.
4. Barwise, Jon, and John Perry. 1983. Situations and Attitudes. Cambridge: MIT Press.
5. Basin, D., M. D'Agostino, D. Gabbay, S. Matthews, and L. Viganò, editors. 2000. Labelled Deduction, pages 107-134, Kluwer Academic Publishers, 2000.
6. Berners-Lee, T; J. Hendler; and O. Lassila. 2001. The Semantic Web. In The Scientific American, May, 2001. http://www.scientificamerican.com/2001/ 0501issue/0501berners-lee.html.
7. Blackburn, Patrick. 1999. Internalizing Labelled Deduction. In Proceedings of Hylo'99, First International Workshop on Hybrid Logics. July 13th, 1999, Saarbrücken, Germany. Published in Journal of Logic and Computation, 2000 10(1):137-168.
8. Blair, Paul; Guha, R.V.; Pratt, Wanda. 1992. Microtheories: An Ontological Engineer's Guide. Technical report Cyc-050-92, March 5, 1992, Cycorps, Austin, TX. http://www.cyc.com/tech-reports/cyc-050-92/cyc-050-92.html
9. Bouquet, Paolo; Fausto Giunchiglia; Frank Van Harmelen; Luciano Serafini; Heiner Stuckenschmidt. 2003. C-OWL: contextualizing ontologies. "2nd international semantic web conference (ISWC 2003)", edited by Dieter Fensel and Katia p. Sycara and John Mylopoulos, Sanibel Island (Fla.), 20-23 October 2003, pp. 164-179.
10. Daconta, M., L. Obrst, K. Smith. 2003. The Semantic Web: The Future of XML, Web Services, and Knowledge Management John Wiley, Inc., June, 2003.
11. Davey, B.A.; Priestley, H.A. 1991. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK.
12. Finger, Marcelo; Rodger Kibble; Dov Gabbay; Ruth Kempson. 1997. Parsing Natural Language Using LDS: a Prototype. http://semantics.phil.kcl.ac.uk/ldsnl/ papers/fkkg97pnlul.pdf.
13. Gabbay, Dov. 1996. Labelled Deductive Systems; Principles and Applications. Vol 1: Introduction. Oxford University Press.
14. th Amsterdam Formal Semantics Colloquium. Amsterdam: University, of Amsterdam.
15. Giunchiglia, Fausto; Roberto Sebastiani; Paolo Traverso. 2000. Integrating SAT solvers with domain-specific reasoners. Symbolic Computation and Automated Reasoning, St. Andrews, Scotland, UK, August 2000. A.K. Peters Eds.
16. Giunchiglia, Fausto; Bouquet, Paolo. 1997. Introduction to Contextual Reasoning: An Artificial Intelligence Perspective. Istituto per la Ricerca Scientifica e Tecnologica (IRST), Trento, Italy, Technical report 9705-19, May, 1997.
17. Giunchiglia, Fausto; Bouquet, Paolo. 1998. A Context-Based Framework for Mental Representation. Istituto per la Ricerca Scientifica e Tecnologica (IRST), Trento, Italy, Technical report 9807-02, July, 1998.
18. Giunchiglia, Fausto; Ghidini, Chiara. 1998. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Principles of Knowledge Representation and Reasoning (KR'98), Proceedings of the Sixth International Conference, Trento, Italy, June 2-5, 1998, Anthony Cohn, Lenhart Schubert, Stuart Shapiro, eds., pp. 282-289.
19. Guarino, N, ed. 1998. Formal Ontology in Information Systems. Amsterdam.: IOS Press. Proceedings of the First International Conference (FOIS'98), June 6-8, Trento, Italy.
20. Guarino, N.; Achille Varzi; Laure Vieu. 2004. The Proceedings of the 3rd International Conference on Formal Ontology in Information Systems (FOIS-04), November 4-6, 2004. http://fois2004.di.unito.it/.
21. Guarino, N.; C. Welty; B. Smith, ed. 2001. The Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-01), October 16-19, 2001, Ogunquit, Maine. ACM Press Book Series, Sheridan Publishing, Inc. http://www.fois.org/fois-2001/index.html.
22. Guha R. V.. Contexts: A Formalization and Some Applications. 1991. PhD thesis, Stanford University, 1991.
23. Also technical report STAN-CS-91-1399-Thesis,
24. and MCC Technical Report Number ACT-CYC-423-91.
25. IEEE SUO. IEEE Standard Upper Ontology Working Group. http://suo.ieee.org/.
26. Kamp, Hans; Reyle, Uwe. 1993. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Representation Theory, Part 1 and 2, Kluwer Academic Publishers, The Netherlands.
27. Kempson, Ruth. 1996. Semantics, Pragmatics, and Natural-Language Interpretation. In the Handbook of Contemporary Semantic Theory. Shalom Lappin, ed., pp. 561-598. Blackwell.
28. Lenat, Doug. 1998. The Dimensions of Context-Space. Cycorp, Austin, TX, Technical Report, October 28, 1998.
29. Lenat, D. and R. Guha. 1990. Building Large Knowledge Based Systems.Reading, Massachusetts: Addison Wesley.
30. McCarthy, J.; Buvač, Sasa. 1997. Formalizing Context (Expanded Notes). In Computing Natural Langauge, A. Aliseda, R. van Glabbeek, & D. Westerståhl, eds., Stanford University. http://www-formal.stanford.edu.
31. McCarthy, John. 1987. Generality in Artificial Intelligence, Communications of the ACM 30(12), pp. 1030-1035.
32. McCarthy, John. 1990. Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 355 Chestnut Street, Norwood, NJ 07648, 1990.
33. McCarthy, John.. 1993. Notes On Formalizing Context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.
34. Menzel, Chris. 1999. The Objective Conception of Context and Its Logic, 1999. Minds and Machines 9(1): 29-56 (Feb 1999).
35. Moortgat, Michael. 1999. Labelled Deduction in the Composition of Form and Meaning. In Logic, Language and Reasoning. Essays in Honor of Dov Gabbay. U. Reyle and H.J. Ohlbach, eds. Kluwer, 1999.
36. Obrst, L., G. Whittaker, A. Meng. 1999a. Semantic Context for Object Exchange, AAAI Workshop on Context in AI Applications, Orlando, FL, July 19, 1999.
37. Obrst, L., G. Whittaker, A. Meng. 1999b. Semantic Interoperability via Context Interpretation, submission, Context-99, Trento, Italy, April, 1999, invited poster session.
38. th Workshop on Frontiers of Combining Systems. Springer-Verlag.
39. Semy, S., M. Pulvermacher, L. Obrst. 2004. Toward the Use of an Upper Ontology for U.S. Government and Military Domains: An Evaluation. MITRE Technical Report 04B0000063, September, 2004.
40. Stalnaker, Robert. 1998. On the Representation of Context. Journal of Logic Language and Information.