Selected Publications

Note: This is a list of my publications when I was at Vassar and earlier. A more up to date list of publications is available at my IBM Research page. Electronic copies of articles appearing here are covered by the copyright of the publishers as extended to academic institutions.

I am no longer maintaining this page, so external links will undoubtedly begin to go stale. Check my IBM Research page for updated links.

KR and Ontology Papers

• Guarino, Nicola and Chris Welty. In press. Identity and Subsumption. In Rebecca Green, Carol A. Bean, & Sung Hyon Myaeng (Eds.), The Semantics of Relationships: An Interdisciplinary Perspective. Pp. 111-125. Dordrecht: Kluwer. Preliminary version available in [PDF]. Expected publication in early 2002.
• Guarino, Nicola and Chris Welty. 2002. Evaluating Ontological Decisions with OntoClean. Communications of the ACM. 45(2):61-65. New York:ACM Press. Available in [PDF].
• Smith, Barry and Chris Welty. 2001. Ontology: Towards a new synthesis. In Chris Welty and Barry Smith, eds., Formal Ontology in Information Systems. Pp. iii-x. Ongunquit, Maine: ACM Press. Available in [PDF].
• Welty, Chris and Nicola Guarino. 2001. Support for Ontological Analysis of Taxonomic Relationships. J. Data and Knowledge Engineering. 39(1):51-74. October, 2001. Available in [PDF]
• Guarino, Nicola and Chris Welty. 2000. Ontological Analysis of Taxonomic Relationships. In, Laender, A. and Storey, V., eds, Proceedings of ER-2000: The 19th International Conference on Conceptual Modeling. Springer-Verlag LNCS Vol. 1920:210-224. October, 2000. Available in [PDF] [Hardcopy]
• Guarino, Nicola and Chris Welty. 2000. A Formal Ontology of Properties.  In, Dieng, R., and Corby, O., eds, Proceedings of EKAW-2000: The 12th International Conference on Knowledge Engineering and Knowledge Management. Spring-Verlag LNCS Vol. 1937:97-112. October, 2000. Available in [PDF] [Hardcopy]
• Guarino, Nicola and Chris Welty. 2000. Identity, Unity, and Individuality: Towards a formal toolkit for ontological analysis. In, Horn, W. ed., Proceedings of ECAI-2000: The European Conference on Artificial Intelligence. Pp. 219-223. Berlin: IOS Press. August, 2000. Available in [PDF] [Hardcopy]
• Guarino, Nicola and Chris Welty. 2000. A Formal Ontology of Properties (preliminary version). In, Richard Benjamins, Asuncion Gomez-Perez, Nicola Guarino, and Mike Uschold, eds., Proceedings of The ECAI-2000 Workshop on Ontologies and Problem-Solving Methods. August, 2000. Available in [PDF].
• Guarino, Nicola and Chris Welty. 2000. Towards a methodology for ontology based model engineering. In, Jean Bezivin and Johannes Ernst, eds., Proceedings of IWME-2000: International Workshop on Model Engineering. June, 2000. Available in [PDF].
• Welty, Chris. 1996. An HTML Interface for Classic. Proceedings of the 1996 International Workshop on Description Logics. AAAI Press. November, 1996. Available in [HTML] [PS].
• Welty, Chris and Ferrucci, Dave. 1994. What's in an Instance? RPI Computer Science Technical Report. Available in [HTML] [PDF].

AI and Software Engineering Papers

• Welty, Chris. In press. Description Logic Applications in Software Engineering. Chapter 11 of Nardi, D. et al, eds., The Description Logics Handbook. Forthcoming from Cambridge Universtity Press.
• Welty, Chris and David Ferrucci. 1999. A Formal Ontology for Re-Use of Software Architecture Documents. Proceedings of The 1999 International Conference on Automated Software Engineering. IEEE Computer Society Press. Pp. 259-262. October, 1999. Available in [PDF] [Hardcopy]
• Welty, Chris and David Ferrucci. 1999. Instances and Classes in Software Engineering. intelligence Magazine.10(2):24-28. Summer, 1999. ACM. Available in [PDF].
• Welty, Chris. 1997. Augmenting Abstract Syntax Trees for Program Understanding. Proceedings of The 1997 International Conference on Automated Software Engineering. IEEE Computer Society Press. Pp. 126-133. November, 1997. Available in [HTML] [PDF] [Hardcopy]
• Welty, Chris and Selfridge, Peter. 1997. Breaking the Toy Mold. The Journal of Automated Software Engineering.4(3):255-270. Kluwer Academic Press. July, 1997.
• Welty, Chris. 1995. Towards an Epistemology for Software Representations. Proceedings of KBSE-95, The Tenth Knowledge-Based Software Engineering Conference. IEEE Computer Society Press. Pp. 148-154. November, 1995. Available in [HTML] [PDF].
• Welty, Chris. 1995. An Integrated Representation for Software Development and Discovery. Ph.D. Thesis, RPI Computer Science Dept. July, 1995. Available in HTML and PS.
• Welty, Chris. 1993. Frame-Based Procedural Representations for Domain Modeling. Proceedings of the CAIA-93 Workshop on Applying AI to Software Problems. March, 1993.

AI and Web/Libraries Papers

• Horrocks, Ian, Deborah McGuinness and Chris Welty. In press. Description Logic Applications on the Web. Chapter 14 of Nardi, D. et al, eds., The Description Logics Handbook. Forthcoming from Cambridge Universtity Press. Available in [PDF].
• Welty, Chris and Jessica Jenkins. 2000. Untangle: a new ontology for card catalog systems. In Henry Kautz and Bruce Porter, eds., Proceedings of AAAI-2000: The National Conference on Artificial Intelligence. (Demo Abstract). AAAI Press. July, 2000. Available in [PDF].
• Welty, Chris. 2000. Towards a Semantics for the Web. Invited presentation at the Dagstuhl Symposium on Semantics for the Web. May, 2000. Dagstuhl, Germany. Available in [PDF].
• Welty, Chris and Jessica Jenkins. 1999. An Ontology for Subject. J. Data and Knowledge Engineering. 31(2)155-181. September, 1999. Elsevier. Available in [HTML] [PDF].
• Welty, Chris and Nancy Ide. 1999. Using the right tools: enhancing retrieval from marked-up documents. J. Computers and the Humanities. 33(10):59-84. April, 1999. Kluwer. Available in [PDF] and [PS].
• Welty, Chris. 1998. Toward an Ontology for Library Modalities. In S. Ali, ed., Proceedings of the AAAI-98 Workshop on Representations for Multi-modal Human-Computer Interaction. AAAI Press. July, 1998. Available in [PS] [PDF].
• Welty, Chris. 1998. The Ontological Nature of Subject Taxonomies. In N. Guarino, ed., Formal Ontology in Information Systems. IOS Press Frontiers in AI Applictions Series. 317-327. Trento, Italy. June, 1998. Available in [HTML] [PS] [Hardcopy]
• Welty, Chris. 1998. Description Logics for Digital Libraries. In E. Franconi, ed., Proceedings of the 1998 International Workshop on Description Logics. ITC-IRST Ref. No. 9805-03. Trento, Italy. June, 1998. Available in [PS].
• Ide, Nancy, and McGraw, Tim, and Welty, Chris. 1997. Representing TEI Documents in the CLASSIC Knowledge Representation System. Proceedings of the Tenth workshop of the Text-Encoding Initiative. November, 1997. Available in [HTML].
• Welty, Chris. 1996. Intelligent Assistance for Navigating the Web. Proceedings of The 1996 Florida AI Research Symposium. May, 1996. Available in [HTML] [PS].
• Welty, Chris. 1994. A Knowledge-Based Email Distribution System. Proceedings of the 1994 Florida AI Research Symposium. May, 1994.
• Welty, Chris. 1994. Knowledge Representation for Intelligent Information Retrieval. Proceedings of the CAIA-94 Workshop on Intelligent Access to Digital Libraries. March, 1994. Available in [HTML].

AI Education

• Welty, Chris, and Livingston, Ken, and Martin, Calder, and Hamilton, Julie, and Rugger, Chris. 1998. Teaching Bottom-Up AI from the Top Down. In D. Cook, ed., Proceedings of FLAIRS-98. AAAI Press. Sanibel Island, Fla. May, 1998. Available in [HTML] [PS]

AI Related Satire

• Welty, Chris. Still Garbage Collecting. intelligence Magazine.10(3). Fall, 1999. ACM. Available in [PDF].
• Welty, Chris. The Chinese Food Problem. 1997. Available in [HTML].

Other Stuff

• Welty, Chris. Unix Text Processing: Emacs and Vi. In, Colasante, John, ed. The UNIX Companion. WEKA Publishing, 1995.
• Welty, Chris. Formatting Text in Unix: Troff, TeX, and HTML. In, Colasante, John, ed. The UNIX Companion. WEKA Publishing, 1995.
• Welty, Chris. Unix Shell Programming. In, Colasante, John, ed. The UNIX Companion WEKA Publishing, 1995.
• Welty, Chris. Using the Unix Shell: Sh, Csh, Bash, and Tcsh. In, Colasante, John, ed. The UNIX Companion. WEKA Publishing, 1995.
• Krawitz, Robert and Lewis, Bil and Laliberte, Dan and Stallman, Richard and Welty, Chris. The GNU Emacs LISP Reference Manual. The Free Software Foundation, 1991.