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.