DAML Project for Stanford Knowledge Systems, AI Laboratory (original) (raw)

KSL's DARPA Agent Markup Language (DAML) Project, DAML-Based Services, Document Templates and Query Answering is a DARPA sponsored program with the goal of developing next generation semantic web tools and technology. Prof. Richard Fikes is Principal Investigator on this project. Dr. Deborah McGuinness is the Project Manager and is leading KSL's involvement in the development of the DAML language as well as KSL's tools efforts. Dr. Sheila McIlraith is the Technical Lead on the DAML-Enabled Web Services project.

Research Team

• Cynthia Chang
• Paulo Pinheiro da Silva
• Richard Fikes
• Jessica Jenkins
• Deborah McGuinness (Project Lead)
• Rob McCool
• Bill Millar
• Dhyanesh Narayanan
• Honglei Zeng

Former Members

• Son Cao Tran
• Scott Sanner
• Sheila McIlraith
• Ron Fadel
• Steve Wilder
• Eric Hsu
• Kaan Baloglu
• Priyenda Deshwal
• Bill MacCartney

Research Focus

* DAML Language Research * DAML-Enabled Web Services * DAML Tools Research * DAML-Based Query Answering

DAML Homework Assignments

• For information concerning KSL's DAML Homework Assignments, click here.

Related Publications

2005

• Paulo Pinheiro da Silva, Patrick Hayes, Deborah L. McGuinness, Richard Fikes and Priyendra Deshwal. Towards Checking Hybrid Proofs. Technical Report KSL-05-01, Knowledge Systems Laboratory, Stanford University, USA, 2005. (PDF)
• Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, and Deborah L. McGuinness. Explaining Problem Solver Answers. Technical Report KSL-05-02, Knowledge Systems Laboratory, Stanford University, USA, 2005. (PDF)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, J. William Murdock and David Ferrucci. Exposing Extracted Knowlegde Supporting Answers. Technical Report KSL-05-03, Knowledge Systems Laboratory, Stanford University, USA, 2005.
• J. William Murdock, Paulo Pinheiro da Silva, David Ferrucci, Christopher Welty and Deborah L. McGuinness. Encoding Extraction as Inferences. In Proceedings of AAAI Spring Symposium on Metacognition on Computation, AAAI Press, Stanford University, USA, pages 92-97, 2005. (Abstract) (PDF)
• Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness.IWTrust: Improving User Trust in Answers from the Web. Proceedings of 3rd International Conference on Trust Management (iTrust2005), Springer, Rocquencourt, France, 2005. (to appear) (Abstract) (PDF)
• Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva and Deborah L. McGuinness.Web Explanations for Semantic Heterogeneity Discovery. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), Heraklion, Greece, May 29 to June 1, 2005 Springer, 2005. (to appear) (Abstract) (PDF) Published also in International Semantic Web Conference 2004, Hiroshima, Japan, November 2004. (PPT) Published also as Technical Report KSL-04-02, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract) (PDF)
• Christopher Welty, J. William Murdock, Paulo Pinheiro da Silva, Deborah L. McGuinness, David Ferrucci, Richard Fikes.Tracking Information Extraction from Intelligence Documents. In Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005), McLean, VA, USA, 2-6 May, 2005. (to appear) (DOC)
• R. Fikes, P. Hayes, and I. Horrocks. OWL-QL � A Language for Deductive Query Answering on the Semantic Web. Accepted for publication Semantic Web Journal.

2004

• Deborah McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Cynthia Chang, Priyendra Deshwal, Baloglu Kaan, Jessica Jenkins.Inference Web: OWL-Based Support for Proofs.DARPA DAML PI Meeting, New York, NY, USA, May 2004. (PPT) Published also DARPA DAML PI Meeting, San Antonio, TX, USA, November 2004. (PPT)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Priyendra DeshwalTowards Explaining CALO-QM Answers. DARPA CALO PI Meeting, SRI International, Menlo Park, CA, USA, May 2004. (PPT)
• Daniel J. Mandell, Sheila McIlraith, Deborah L. McGuinness and Paulo Pinheiro da Silva.BPEL4WS+: An Explainable Dynamic Discovery and Translation Service. DARPA DAML PI Meeting, San Antonio, TX, USA, November 2004. (PPT)
• Paulo Pinheiro da Silva, Patrick Hayes, Deborah L. McGuinness and Richard Fikes. PPDR: A Proof Protocol for Deductive Reasoning. Technical Report KSL-04-04, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract) (PDF)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, Cynthia Chang. IWBase: Provenance Metadata Infrastructure for Explaining and Trusting Answers from the Web. Technical Report KSL-04-07, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract) (PDF)
• Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia and Paulo Pinheiro da Silva. Towards Explaining Semantic Matching. In 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, CEUR Workshop Proceedings Vol. 104, 2004. (PDF)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Trusting Answers from Web Applications. In Mark T. Maybury, editor, New Directions in Question Answering. Chapter 21, AAAI/MIT Press, October 2004. (PDF) (PS)
• Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems. Accepted for publication. (Abstract) (PDF) Published also as Technical Report KSL-04-01, Knowledge Systems Laboratory, Stanford University, USA, 2004.
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Explaining Answers from the Semantic Web: The Inference Web Approach. Journal of Web Semantics. Vol.1 No.4., pages 397-413, October 2004. (Abstract) (PDF)
• David Martin, Mark Burstein, Sheila McIlraith, Massimo Paolucci, Katia Sycara. OWL-S and Agent-Based Systems. To appear in Web Services and Agent-Based Systems Engineering. Springer Verlag, 2004.
• Alexander P. Morgan, John A. Cafeo, Kurt Godden, Ronald M. Lesperance, Andrea M. Simon, Deborah L. McGuinness, and James L. Benedict. The General Motors Variation-Reduction Adviser: Deployment Issues for an AI Application. In the Proceedings of Innovative Applications of Artificial Intelligence, San Jose, CA., July 2004. See abstract for online availability.
• David Martin, Massimo Paolucci, Sheila McIlraith, Mark Burstein, Drew McDermott, Deborah McGuinness, Bijan Parsia, Terry Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, and Katia Sycara. Bringing Semantics to Web Services: The OWL-S Approach. Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004), pp. 5-21, San Diego, California, July 2004.
• Deborah L. McGuinness and Frank van Harmelen. OWL Web Ontology Language Overview. World Wide Web Consortium (W3C) Recommendation. February 10, 2004. Available from http://www.w3.org/TR/owl-features/.
• Michael K Smith, Chris Welty, and Deborah L. McGuinness. OWL Web Ontology Language Guide. World Wide Web Consorium (W3C) Recommendation. February 10, 2004. Available from http://www.w3.org/TR/owl-guide/.
• Mike Dean, Guus Schreiber, Frank van Harmelen, James Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. OWL Web Ontology Language Reference. World Wide Web Consortium (W3C) Recommendation. February 10, 2004. Available from http://www.w3.org/TR/owl-ref/
• Deborah L. McGuinness. Question Answering on the Semantic Web. In IEEE Intelligent Systems. Volume 19 No. 1, January/February 2004.

2003

• Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins and Gleb Frank.Inference Web: Portable and Sharable Explanations for Question Answering. AAAI Spring Symposium Workshop on New Directions for Question Answering, March 2003. Stanford University, Stanford, CA, USA. (PPT)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins, Bill MacCartney, Gleb Frank and Rob McCool.Inference Web: Portable and Sharable Proofs for Hybrid Systems. DARPA RKF PI Meeting, May 2003, San Diego, CA, USA. (PPT)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Registry-Based Support for Information Integration. In_Proceedings of IJCAI-2003's Workshop on Information Integration on the Web (IIWeb-03)_, S. Kambhampati and C. Knoblock (Eds.), Acapulco, Mexico, pages 117-122 August 2003. (Abstract) (PDF) (PS)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins, Bill MacCartney, Rob McCool and Natasha Noy.Scaling Answer Explanations for the Semantic Web. DARPA DAML PI Meeting, Oct 2003, Captiva Island, FL, USA. (PPT)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable Explanations for the Web. Technical Report KSL-03-02, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract) (PDF) (PS)
• Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. Combinable Proof Fragments for the Web. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract) (PDF) (PS)
• Deborah L. McGuinness. Knowledge Representation for Question Answering. In Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA. pages 75-77, AAAI Press, March 2003.
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable and Shareable Explanations for Question Answering. In Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA. pages 67-71, AAAI Press, March 2003. (PDF) (PS)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Infrastructure for Web Explanations. In Proceedings of 2nd International Semantic Web Conference (ISWC2003), D. Fensel, K. Sycara and J. Mylopoulos (Eds.), LNCS 2870, Sanibel Is., FL, USA. Springer, pages 113-129, October 2003. (Abstract) (PDF) (PS)
• Paulo Pinheiro da Silva, Deborah L. McGuinness and Rob McCool. Knowledge Provenance Infrastructure. IEEE Data Engineering Bulletin Vol.26 No.4, pages 26-32, December 2003. (PDF) (PS)
• Benjamin Grosof, Michael Gruninger, Michael Kifer, David Martin, Deborah McGuinness, Bijan Parsia, and Austin Tate. Semantic Web Services Language Requirements. Working Semantic Web Services Language (SWSL) Committee Report. Available at http://www.daml.org/services/swsl/requirements/swsl-requirements.shtml.
• Narayanan, S. and McIlraith, S. Analysis and Simulation of Web Services, Computer Networks, 42(5):675--693, 2003.
• Fikes, Richard, Jessica Jenkins, and Gleb Frank. JTP: A System Architecture and Component Library for Hybrid Reasoning. Proceedings of the Seventh World Multiconference on Systemics, Cybernetics, and Informatics. Orlando, Florida, USA. July 27 - 30, 2003. Published also as Technical Report KSL-03-01, Knowledge Systems Laboratory. 2003.
• Daniel J. Mandell and Sheila A. McIlraith. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. Proceedings of the Second International Semantic Web Conference (ISWC2003), pp 227-241, Sanibel Island, Florida, 2003.
• Daniel J. Mandell and Sheila A. McIlraith. A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation. In Proceedings of the Twelfth International World Wide Web Conference Workshop on E-Services and the Semantic Web. Budapest, 2003.
• Deborah L. McGuinness. Ontologies for Information Fusion. In Proceedings of the Sixth International Conference on Information Fusion. Cairns, Australia, July 8-11, 2003.
• Joanna Bryson, David Martin, Sheila McIlraith Lynn Andrea Stein Agent-Based Composite Services in DAML-S: The Behavior-Oriented Design of an Intelligent Semantic Web.Web Intelligence, N. Zhong, J. Liu, and Y. Yao, Springer Verlag, 2003.
• Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2003.
• Deborah L. McGuinness. Description Logic for Configuration. To appear in Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003. Available from </people/dlm/papers/dlhb-configuration-abstract.html>.
• Deborah L. McGuinness and Peter Patel-Schneider From Description Logic Provers to Knowledge Representation Systems. To appear in Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003. Available from </people/dlm/papers/dlhb-usability-abstract.html>.
• Ian Horrocks, Deborah L. McGuinness, and Chris Welty Digital Libraries and Web-Based Information Systems. To appear in Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003. Available from </people/dlm/papers/dlhb-web-abstract.html>.
• Deborah L. McGuinness Ontologies Come of Age. In Dieter Fensel, Jim Hendler, Henry Lieberman, and Wolfgang Wahlster, editors. The Semantic Web: Why, What, and How, MIT Press, 2003. Preprint available from </people/dlm/papers/ontologies-come-of-age-abstract.html>.
• R. Fikes, J. Jenkins, and Q. Zhou. Including Domain-Specific Reasoners with Reusable Ontologies. Technical Report KSL-03-05, Knowledge Systems Laboratory. March, 2003.
• Sheila A. McIlraith and David Martin. Bringing Semantics to Web Services, IEEE Intelligent Systems, 18(1):90--93, January/February, 2003.

2002

• DAML Services Coalition (alphabetically A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara)."DAML-S: Web Service Description for the Semantic Web", Proceedings of the International Semantic Web Conference (ISWC). July 2002. Available from </people/sam/damls-iswc02.ps>
• Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins and Gleb Frank.Inference Web: Explanations on the Semantic Web. DARPA DAML PI Meeting, October 2002, Portland, OR, USA. (PPT)
• Johanna Bryson, David Martin, Sheila McIlraith, and Lynn Stein. Toward Behavioral Intelligence in the Semantic Web, Special Issue on Web Intelligence.IEEE Computer 35(11):48--55, November, 2002.
• Dieter Fensel, Fausto Guinchiglia, Deborah McGuinness, and Mary-Anne Williams, editors. Knowledge Representation 2002: Proceedings of the 8th International Conference (KR '02). Morgan Kaufmann Publishers, Toulouse, France, May 2002. Available from http://www.mkp.com/books_catalog/catalog.asp?ISBN=1-55860-847-8.
• Deborah L. McGuinness, Richard Fikes, James Hendler and Lynn Andrea Stein. DAML+OIL: An Ontology Language for the Semantic Web. In IEEE Intelligent Systems, Vol. 17, No. 5, pages 72-80, September/October 2002.
• Deborah McGuinness, Richard Fikes, Dan Connolly, James Hendler, and Lynn Andrea Stein. DAML-ONT: An Ontology Language for the Semantic Web. Accepted for publication in D. Fensel, J. Hendler, H. Lieberman, and W. Wahlster (eds.): Semantic Web Technology, MIT Press, Boston, to appear September 2002. Available from </people/dlm/papers/daml-ont-abstract.html>.
• DAML Services Coalition (alphabetically: A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, H. Zeng). DAML-S: Semantic Markup for Web Services. In Isabel Cruz, Stefan Decker, Jerome Euzenat, and Deborah L. McGuinness, eds. The Emerging Semantic Web. IOS Press, 2002. Available from </people/sam/daml-s.ps>. Published also in Proceedings of the International Semantic Web Working Symposium (SWWS). July 30-August 1, 2001. Available from </people/sam/daml-s.ps>.pdf version.
• Aseem Das, Wei Wu, and Deborah L. McGuinness. Industrial Strength Ontology Management. In Isabel Cruz, Stefan Decker, Jerome Euzenat, and Deborah L. McGuinness, eds.The Emerging Semantic Web. (Book available fromhttp://www.iospress.nl/site/html/boek-1381825766.html). IOS Press, 2002. See abstract for online availability. Also published in Proceedings of the International Semantic Web Working Symposium. Stanford, CA, July 2001. Available from </people/dlm/papers/ontologyBuilderVerticalNet-abstract.html>. Also published as Technical Report KSL-01-07 2001, Stanford Knowledge Systems Laboratory.
• Isabel Cruz, Stefan Decker, Jerome Euzenat, and Deborah L. McGuinness, editors. The Emerging Semantic Web. IOS Press, 2002. Available from http://www.iospress.nl/site/html/boek-1381825766.html.
• Elisa F. Kendall, Mark E. Dutra, and Deborah L. McGuinness. Towards A Commercial Ontology Development Environment. In International Semantic Web Conference Late Breaking Topics, Sardinia, Italy, June 9-12, 2002. (Abstract).
• Srini Narayanan and Sheila McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proceedings of the Eleventh International World Wide Web Conference (WWW 2002), May, 2002. Available from </people/sam/nar-mci-www11.ps>.
• Sheila McIlraith and Ron Fadel Planning with Complex Actions. To appear in Proceedings of the International Workshop on Nonmonotonic Reasoning (NMR2002), April 2002. Available from </people/sam/mci-fad.ps>. Also appeared in the AIPS 2002 Workshop.
• Sheila McIlraith and Tran Cao Son. Adapting Golog for Composition of Semantic Web Services. To appear in Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), April, 2002. Available from </people/sam/mci-son-kr02.ps>. Published also in Fourth Workshop on Nonmonotonic Reasoning Action and Change. Published also in AIPS 2002 Workshop. Available from </people/sam/nrac01.ps>. Published also in Fifth International Symposium on Logical Formalizations of CommonSense Reasoning (Common Sense 2001). May, 2001. Available from </people/sam/cs01.ps>.

2001

• Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. DAML+OIL (March 2001) Reference Description. World Wide Web Committee (W3C) Note 18 December 2001.
• Richard Fikes and Deborah L. McGuinness. An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL (March 2001). World Wide Web Committee (W3C) Note 18 December 2001.
• Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. Annotated DAML+OIL Ontology Markup. World Wide Web Committee (W3C) Note 18 December 2001.
• DAML-S Services Coalition (McIlraith and DAML colleagues) DAML-S Version 0.6 online release.http://www.daml.org/services/daml-s/2001/10/.
• Deborah L. McGuinness. Description Logics Emerge from Ivory Towers. In Proceedings of the International Workshop on Description Logics. Stanford, CA, August 2001. </people/dlm/papers/ontologyBuilderVerticalNet-abstract.html>. Published also as Technical Report KSL-01-08 2001. Stanford Knowledge Systems Laboratory.
• DAML-S Services Coalition (McIlraith and DAML colleagues) DAML-S Version 0.5 online release.http://www.daml.org/services/daml-s/2001/05/.
• Sheila McIlraith, Tran Cao Son and Honglei Zeng. Mobilizing the Web with DAML-Enabled Web Services. The Second International Workshop on the Semantic Web (SemWeb'2001). April, 2001. Available from </people/sam/mcilraith-semweb-2.doc>. Published also Workshop on Ontologies in Agent Systems, 5th International Conference on Autonomous Agents, May 29, 2001. Available from </people/sam/mcilraith-oas2001.doc>.
• Sheila McIlraith, Tran Cao Son and Honglei Zeng. Semantic Web Services. In IEEE Intelligent Systems (Special Issue on the Semantic Web) 16(2):46--53, March/April. Available from </people/sam/ieee01.pdf>.
• Ora Lassila and Deborah L. McGuinness. The Role of Frame-Based Representation on the Semantic Web. Accepted for publication in Electronic Transactions on Artificial Intelligence 2001 Volume 5 Number: 2001-03-07, 1403-2031 (Printed version) 1403-204X (Electronic version). Also in Link�ping Electronic Articles in Computer and Information Science ISSN 1401-9841 Vol. 6(2001). Available from http://www.ep.liu.se/ea/cis/2001/. Also published as KSL Tech Report Numbr KSL-01-02,</people/dlm/etai/etai-abstract.html>. The full paper is available inword,html, and text .
• Dieter Fensel, Ian Horrocks, Frank van Harmelen, Deborah L. McGuinness, and Peter F. Patel-Schneider. OIL: An Ontology Infrastructure for the Semantic Web. In IEEE Intelligent Systems, Vol. 16, No. 2, March/April 2001, Available from </people/dlm/papers/ieee-oil-abstract.html>.
• Natalya Fridman Noy and Deborah L. McGuinness. Ontology Development 101: A Guide to Creating Your First Ontology. Technical Report KSL-01-05 Stanford Knowledge Systems Laboratory and_Technical Report SMI-2001-0880_ Stanford Medical Informatics, March 2001. Available from </people/dlm/papers/ontology-tutorial-noy-mcguinness-abstract.html>.
• Deborah L. McGuinness Ontologies and Online Commerce. In IEEE Intelligent Systems, Vol. 16, No. 1, January/February 2001, pages 8-14. Available from </people/dlm/papers/ontologies-and-online-commerce-abstract.html>.

2000

• McGuinness, Deborah L., Richard Fikes, James Rice, and Steve Wilder.An Environment for Merging and Testing Large Ontologies.Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000). Breckenridge, Colorado, USA. April 12-15, 2000. Abstract.
• James Hendler and Deborah McGuinness. The DARPA Agent Markup Language. In IEEE Intelligent Systems, Vol. 15, No. 6, November/December 2000, pages 67-73. Available from </people/dlm/papers/ieee-daml01-abstract.html>.full word document ,full html document, and published pdf form.
• Sean Bechhofer, Jeen Broekstra, Stefan Decker, Michael Erdmann, Dieter Fensel, Carole Goble, Frank van Harmelen, Ian Horrocks, Michel Klein, Deborah L. McGuinness, Enrico Motta, Peter Patel-Schneider, Steffen Staab, and Rudi Studer. An informal description of OIL-Core and Standard OIL: a layered proposal for DAML-O. Posted at http://www.ontoknowledge.org/oil/downl/dialects.pdf.
• Deborah L. McGuinness. Conceptual Modeling for Distributed Ontology Environments. In Proceedings of the Eighth International Conference on Conceptual Structures Logical, Linguistic, and Computational Issues (ICCS 2000). August 14-18, 2000. Darmstadt, Germany. Abstract. Paper available in Word format and postscript format.
• Deborah L. McGuinness, Richard Fikes, James Rice, and Steve Wilder. The Chimaera Ontology Environment. In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000). Austin, Texas July 30 - August 3, 2000. Available from </people/dlm/papers/aaai00-abstract.html>. Paper available in Word format.
• Sheila McIlraith and Richard Scherl. What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI2000). pp. 483-490; Austin, Texas July 30 - August 3, 2000. Available from </people/sam/aaai00.ps>. Powerpoint Presentation.
• Sheila McIlraith. Modeling and Programming Devices and Web Agents. In Proceedings of the NASA Goddard Workshop on Formal Approaches to Agent-Based Systems. Lecture Notes in Computer Science, Springer-Verlag, 2000. Available from </people/sam/nasa00.ps>.

1999

• Baader, Franz, Alex Borgida, Ralph Kuesters and Deborah L. McGuinness.Matching in Description Logics.Journal of Logic and Computation Special Issue on Description Logics. Volume 9, number 3, June 1999.Abstract. Paper available from PDF.

1998

• McIlraith, S. "Towards Exploiting Generic Procedures in Model-Based Reasoning".Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX'98), Cape Cod, USA, May 1998, pp. 217-224.
• Baader, Franz, Alex Borgida, and Deborah L. McGuinness. Matching in Description Logics: Preliminary Results. Proceedings of the Sixth International Conference on Conceptual Structures (ICCS 98). Edited by M. L. Mugnier and M. Chein. Published also by Springer in Lecture Notes in Artificial Intelligence, 1998. An earlier version appears in_Proceedings of the 1998 International Workshop on Description Logics_. Trento, Italy. June 1998.Abstract.
• Borgida, Alex and Deborah L. McGuinness. Asking Queries about Frames. Proceedings of Fifth International Conference on the Principles of Knowledge Representation and Reasoning. Morgan Kaufmann. Cambridge, Massachusetts. November 1996. Published also in Proceedings of International Workshop on Description Logics. Cambridge, Mass. November 1996. Abstract.

Presentations and Demos

Presentations at Semantic Web for military user, May 7-8, 2003

• Ontologies Tutorial (What they are; Why you should care; What you should know) by Deborah McGuinness Powerpoint Presentation.

Inference Web

• Presentations

Presentations at the DAML PI Meeting, Portland, OR, October 16-18, 2002.

• OWL Lite Briefing by Deborah McGuinness Powerpoint Presentation .

• Explanation Outbrief by Deborah McGuinness Power Point Presentation.

• Query and Inference Rules by Deborah McGuinness and Pat HayesPower Point Presentation.

• Services/Rules Outbrief by Shiela McIlraith.

Presentations at the DAML PI Meeting, Manchester, NH, July 18-20, 2001.

• DAML-S Briefing presented by Sheila McIlraith on behalf of the DAML-S Coalition. Powerpoint Presentation .
• KSL Project update (Part I - Tools for DAML-Based Services, Query Answering, and Ontology Development) presented by Richard FikesPower Point Presentation.
• KSL Project update (Part II - Web Services) "What's Hot, What's Happening" presented by Sheila McIlraith. Power Point Presentation, Web Services Update Poster, Web Service Composition Poster.

Presentation at the Second International Workshop on the Semantic Web (SemWeb'2001), Hong Kong, May 1, 2001.

• Mobilizing the Semantic Web with DAML-Enabled Web Services, presented by Sheila McIlraith. Powerpoint Presentation

Presentations at Xerox Alto Research Center (PARC), March 22, 2001.

• Steps Toward the Semantic Web: Putting Computer Interpretable Knowledge On Your Web Page, presented by Richard Fikes. Powerpoint Presentation

Presentations at the DAML/Horus Meeting, Arlington, February 16, 2001.

• 30 minute introduction to Ontologies presented by Deborah McGuinness. Powerpoint Presentation
• 30 minute introduction to Web Services including an overview of KSL's DAML-Enabled Web Services Project presented by Sheila McIlraith. Powerpoint Presentation, Web Services Poster.

Presentations at the DAML PI Meeting, Arlington, February 13-15, 2001.

• Overview of KSL's Axiomatic Semantics for DAML+OIL presented by Richard Fikes. Powerpoint Presentation
• Overview of KSL's DAML effort presented by Deborah McGuinness. DAML Tools Poster
• Overview of KSL's DAML-Enabled Web Services Project presented by Sheila McIlraith. Abridged Powerpoint Presentation, Web Services Poster

Presentations at the DAML Kickoff Meeting, Boston, August 14, 2000.

• Overview of the KSL's DAML effort presented by Deborah McGuinness. Powerpoint Presentation, Chimaera movie
• Overview of KSL's DAML-Enabled Web Services Project presented by Sheila McIlraith. Powerpoint Presentation.

Project Related Events

• Semantic Web for military user 3 (SMWU), May 7-8, 2003
• DAML PI Meeting, Miami, FL, April 8-10, 2003.
• DAML October 2002 PI Meeting , Portland, OR, October 16-18, 2002.
• The first International Semantic Web Conference (ISWC2002), Sardinia, Italia, June 9-12, 2002.
• KR'2002, Toulouse, France, April 22-25, 2002.
• DAML February 2002 PI Meeting , February 2002.
• 2002 Meeting of the Web Ontology Working Group, Lucent New Jersey, Jan 14-15, 2002
• Semantic Web for the Military User (SWMU) 2 , Naval Research Laboratory, Washington DC, November 13-14, 2001.
• Semantic Web for the Military User (SWMU) 1 , Naval Research Laboratory, Washington DC, June 6-7, 2001.
• DAML PI meeting, Washington DC, February 13-14, 2001.
• DAML US/EU joint weekly meeting, 2000.
• XML 2000 meeting, Washington DC, December 3-8, 2000.
• Eighth International Conference on Conceptual Structures Logical, Linguistic, and Computational Issues (ICCS) , Darmstadt, Germany, August 16th, 2000. Deborah McGuinness presents invited talk on"Conceptual Modeling for Distributed Ontology Environments" .
• DAML Kickoff Meeting, Boston, August 14-16, 2000. Richard Fikes, Sheila McIlraith, and Deborah McGuinness presentan overview of KSL's DAML Program, the Chimaera movie, and an overview of KSL's DAML-Enabled Web Services project.
• AAAI 2000. Demonstration of theChimaera Ontology Environment at the Intelligent Systems. Demonstrations by Jessica Jenkins, Steve Wilder, and Deborah McGuinness. Paper presentation by Sheila McIlraith Powerpoint Presentation.
• DAML Meeting, Cambridge, Mass. July 19-20, 2000. Presentation by Deborah McGuinness on Stanford Ontology Environment.
• 18th FIPA Meeting, Baltimore, July 17-21, 2000.
• KR'2000. Deborah McGuinness presents the paper: "An Environment for Merging and Testing Large Ontologies."
• Dagstuhl-Seminar: Semantics for the WWW, March 19-24, 2000.Seminar participants: presentation by Deborah McGuinness on Creating and Maintaining Distributed Ontologies and demonstration of the Chimaera Ontology Environment; listing and pointers to other seminar presentations.

Related Work

• OIL Language
• OIL white paper
• DAML-ONT and OIL
• DAML-OIL proposal

Related Web Pages

• DARPA DAML Program
• DARPA DAML Program Description
• DAML.org
• DAML researchers
• Web-Ontology (WebOnt) Working Group
• DAML Mailing List
• DAML US EU committee
• W3C RDF Interest Group Mailing List Archives
• W3C Mailing List of logic-based languages on the web
• Inference Web's project at KSL
• DAML-ONT ontology repository
• Berners-Lee's XML2000 Talk
• Berners-Lee's architecture diagram
• Dave Beckett's RDF resource