OWL @ Manchester > 2009 > ISWC Explanation Tutorial

Working with Explanations of OWL Entailments

This will be a half-day tutorial comprising 4 hours, including a 30-min break.

Where?

At the 8th International Semantic Web Conference (ISWC 2009), near Washington, DC, USA

When?

25 October 2009, 8:30–12:30

Who?

Presenters:	Matthew Horridge Bijan Parsia Uli Sattler Thomas Schneider
Participants:	Hopefully including you!

What?

Short description PDF
Abstract

Requirements

Materials

Slides
    Slides of the tutorial PDF
    Printable version PDF

Literature
    M. Horridge, B. Parsia, U. Sattler: Laconic and Precise Justifications in OWL. ISWC 2008.     PDF
    A. Kalyanpur, B. Parsia, E. Sirin, J. Hendler: Debugging Unsatisfiable Classes in OWL Ontologies. WWW 2005.     DOI
    Quick overview     Link

Tools
    Special edition of Protégé 4.1 with the explanation workbench     ZIP     (platform-independent, requires Java, start run.command or run.sh from the root directory)

Example ontologies
    amino-acid.owl     koala.owl     movie.owl     people.owl     tambis-patched.owl     university.owl

Questions or feedback?

Contact Matthew Horridge