Tutorial on the W3C
OWL
Web Ontology Language

ENC 2004
September 2004, Colima, Mexico

presented by
Peter F. Patel-Schneider
Bell Labs Research
Murray Hill, NJ, USA
pfps@lucent.com

Acknowledgments

Much of the material in this tutorial comes from the tutorial presented by Sean Bechhofer, Ian Horrocks, and Peter F. Patel-Schneider given at the Second International Semantic Web Conference, ISWC-2003.

Additional Material

Related Talks

The Semantic Web and Knowledge Representation
Invited talk for ENC-2004, September 2004.
What is OWL (and why should I give a hoot)?
Invited talk for KR-2004, June 2004.

Background Information

A good paper on the practical use of OWL is OWL Pizzas: Practical Experience of Teaching OWL-DL, even though it is a paper about teaching OWL-DL, not a paper meant to teach OWL-DL.
Tim Berners-Lee, James Hendler, and Ora Lassila. Scientific American: The Semantic Web. Scientific American, May 2001.
Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. Eighteenth National Conference on Artificial Intelligence, American Association for Artificial Intelligence, Edmonton, Alberta, Canada, July 2002.
Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics, 1:1, December 2003, pages 7–26.
Mike Dean, Guus Schreiber, Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. OWL Web Ontology Language Reference. W3C Recommendation 10 February 2004, http://www.w3.org/TR/owl-ref/.
Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation 10 February 2004, http://www.w3.org/TR/owl-semantics/.
Ian Horrocks and Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. Second International Semantic Web Conference (ISWC2003). Sundial Resort, Florida, USA, October 2003.
Ian Horrocks and Peter F. Patel-Schneider. A Proposal for an OWL Rules Language. The Thirteenth International World Wide Web Conference. New York, New York, May 2004, ACM Press.
Ian Horrocks and Peter F. Patel-Schneider. Three Theses of Knowledge Representation in the Semantic Web. The Twelfth International World Wide Web Conference. Budapest, Hungary, May 2003, ACM Press, pages 39–47.
Bijan Parsia and Peter F. Patel-Schneider. Meaning and the Semantic Web. The Thirteenth International World Wide Web Conference. New York, New York, May 2004, ACM Press.
Peter F. Patel-Schneider. What is OWL (and why should I care)? Invited paper for the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, Whistler, Canada, June 2004.

Short Biography

Peter F. Patel-Schneider is a Member of Technical Staff in Bell Labs Research. He received his Ph. D. from the University of Toronto in 1987. Peter was a member of the AI Principles Research Department at AT&T Bell Laboratories from 1988 to 1995, and went to AT&T Labs---Research when AT&T split up. In August 1997 he rejoined Bell Labs. From 1983 to 1988 he worked in the AI research group at Fairchild and Schlumberger. Peter has taught courses at both the University of Toronto and Rutgers University.

Peter's research interests center on the properties and use of Description Logics. He has designed and implemented large sections of CLASSIC, a Description Logic-based Knowledge Representation system. He designed and implemented DLP, a heavily-optimized prover for expressive Description Logics and propositional modal logics. He has performed extensive empirical evaluation of DLP and other provers for Description Logics and propositional modal logics. He developed much of the W3C OWL Web Ontology Language, and its predecessor, DAML+OIL. He is currently building and testing provers for OWL and related languages.

Peter is also interested in rule-based systems, including more-standard systems derived from OPS as well as newer formalisms such as R++. He designed many of the techniques used in R++ and the R++ translator, and wrote the first several prototype implementations of the R++ translator.

Contact information:
Peter F. Patel-Schneider
Bell Labs Research
600 Mountain Avenue
Murray Hill, New Jersey 07974
U. S. A.
WWW: http://www.bell-labs.com/user/pfps

Tutorial on the W3C OWL Web Ontology Language

ENC 2004 September 2004, Colima, Mexico

presented by Peter F. Patel-Schneider Bell Labs Research Murray Hill, NJ, USA pfps@lucent.com