OWL @ Manchester > 2009 > ESSLLI Explanation Course

Explanation in Ontology Languages

This will be an introductory course comprising 5 × 90 minutes.

Where?

At the 21st European Summer School in Logic, Language and Information (ESSLLI 2009) , Bordeaux, France

When?

27–31 July 2009, each day from 17:15 to 18:45

Who?

Presenters:	Bijan Parsia Thomas Schneider
Participants:	Hopefully including you!

What?

Description Outline People

Requirements

Materials

Slides

	Presentation	Printable	Other material
Monday	PDF	PDF
Tuesday	PDF	PDF
Wednesday	PDF	PDF
Thursday	PDF	PDF
Friday	PDF	PDF	Model explosion in Tweezers MOV

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
    Raymond Reiter: A theory of diagnosis from first principles. Artificial Intelligence, 32(1)1987, 57–95.     DOI
    Quick overview     Link

Tools
    Protégé 4.0 installer     Link
    Pellet reasoner plugin     JAR
    Explanation workbench plugin     JAR
    SuperModel plugin     Link

    Please note: Simply paste the plugin JARs into the plugin folder of your Protégé installation.
    SuperModel requires an older version of Protégé 4: build 107.     ZIP

    Swoop     nightly build ZIP     Mac OS X binary ZIP
    Tweezers     Link     (download "Pellet with Tweezers" and follow instructions)

Example ontologies
    tambis-patched.owl     people.owl     pizza.owl     koala.owl     movie_fragment.owl     hand2.owl

Questions or feedback?

Contact Thomas Schneider