Presentations

Slides from recent papers/presentations that I have given:

• Ian Horrocks: "Hybrid Logics and Ontology Languages". Talk at HyLo2006, Seattle,August 11th 2006.
  Slides (PPT)


• Ian Horrocks: "OWL: A Description Logic Based Ontology Language". Talk at CISA, Edinburgh, March 30th 2006.
  Slides (PPT)


• Ian Horrocks: "Description Logics in Ontology Applications". KI/Tableaux 2005, Koblenz, Germany, September 2005.
  Slides (PPT)


• Ian Horrocks and Ulrike Sattler: "A Tableaux Decision Procedure of SHOIQ". IJCAI 2005, Edinburgh, Scotland, August 2005.
  Slides (PPT)


• Ian Horrocks: "Applications of Description Logics: State of the Art and Research Challenges". Invited talk at ICCS, Kassel, Germany, July 2005.
  Slides (PPT)


• Ian Horrocks: "Description Logic Reasoning". Invited tutorial at LPAR, Montevideo, Uruguay, March 2005.
  Slides (PPT)


• Ian Horrocks: "Ontology Reasoning: the Why and the How". Presentation at Workshop in honor of Frank Wolter, Liverpool, UK, March 2005.
  Slides (PPT)


• Ian Horrocks: "Reasoning with Expressive Description Logics: Logical Foundations for the Semantic Web". Invited talk at University of Sussex, Brighton, UK, January 2005.
  Slides (PPT)


• Ian Horrocks: "Reasoning with Expressive Description Logics: Logical Foundations for the Semantic Web". Keynote talk at ICIIP, Beijing, China, October 2004.
  Slides (PPT)


• Ian Horrocks and Peter F. Patel-Schneider: "A Proposal for an OWL Rules Language". Presentation at DAML PI meeting and ISWC, Captiva/Sanibel Islands, Florida, USA, October 2003.
  Slides (HTML)


• Jeff Pan and Ian Horrocks: "RDFS(FA) and RDF MT: Two Semantics for RDFS". Paper presentation at ISWC, Sanibel Island, Florida, USA, October 2003.
  Slides (PPT)


• Ian Horrocks and Ulrike Sattler: "The effect of adding complex role inclusion axioms in description logics". Paper presentation at IJCAI, Acapulco, Mexico, August 2003.
  Slides (PDF)


• Ian Horrocks and Peter F. Patel-Schneider: "Three Theses of Representation in the Semantic Web". Paper presentation at WWW2003, Budapest, May 21st 2003.
  Slides (PPT)


• Logical Foundations for the Semantic Web. Seminar given at the University of Glasgow, March 10th, 2003.
  Slides (PDF)


• Reasoning with Expressive Description Logics: Logical Foundations for the Semantic Web. Seminar given at CISA Edinburgh, August 22nd, 2002.
  Slides (PDF)


• Logical Foundations for the Semantic Web. Invited talk given at CADE-18, Copenhagen, July 27th, 2002.
  Slides (PDF)


• Description Logis. Tutorial given (jointly with Ulrike Sattler) at ECAI-2002, Lyon, France, July 23rd, 2002.
  Handout (PDF)


• DAML+OIL: a Reason-able Web Ontology Language. Keynote talk given at WES/CAiSE 2002, Toronto, May 28th, 2002.
  Printer optimised PDF, Screen optimised PDF.


• DAML+OIL: a Reason-able Ontology Language for the Semantic Web. Keynote talk given at AISB 2002, London, April 3rd, 2002.
  Printer optimised PDF, Screen optimised PDF.


• DAML+OIL: a Reason-able Web Ontology Language. Keynote talk given at EDBT 2002, Prague, March 26th, 2002.
  Printer optimised PDF, Screen optimised PDF.


• Description Logic: Axioms and Rules. Talk given at Dagstuhl "Rule Markup Technique" workshop, February, 2002.
  Printer optimised PDF, Screen optimised PDF.


• DAML+OIL Technical Detail. Talk given at W3C Web Ontology Working Group meeting, Bell Laboratories, Murray Hill NJ, January, 2002.
  Printer optimised PDF, Screen optimised PDF.


• DAML+OIL and Description Logic Reasoning. Talk given at HP Labs, Bristol, October, 2001.
  Printer optimised PDF, Screen optimised PDF.


• DAML+OIL is not Enough. Talk given at SWWS, Stanford, USA, July, 2001.
  Powerpoint.


• Reasoning with DAML+ OIL: What can it do for YOU? Presentation given at DAML PI Meeting, Nashua, USA, July, 2001.
  PDF.


• Description Logis. Tutorial given (jointly with Ulrike Sattler) at IJCAR-2001, Siena, Italy, June 19, 2001.
  Printer optimised PDF, Display optimised PDF (colours, overlays, etc.)


• Reasoning with Expressive Description Logics: Theory and Practice. Invited talk given at University of Leipzig, Germany, June, 2001. Printer optimised PDF, Display optimised PDF.


• DAML+OIL: an Ontology Language for the Semantic Web. Presentation given at DAML PI Meeting, Arlington, Virginia, USA, February 13-15, 2001.
  Powerpoint, PDF.


• OIL: an Ontology Language for the Semantic Web. Presentation given at meeting of Joint EU/US ad hoc Agent Markup Language Committee, Arlington, Virginia, USA, December 6-7, 2000.
  PDF.