Attempto Courses

ACE Course at the University of Bonn (November 2008)

• ACE Course given at the University of Bonn (PDF)

ACE Course at the Reasoning Web 2008 Summer School (September 2008)

The 3-hour course and hands-on training Attempto Controlled English for Knowledge Representation took place at the Reasoning Web 2008 Summer School in September 2008, on the San Servolo Island, Venice, Italy.

• Reasoning Web 2008: Attempto Controlled English for Knowledge Representation (PDF)
• Reasoning Web 2008: Attempto Controlled English for Knowledge Representation: Assignments (PDF)

ACE Course at the University of Zurich (December 2006)

Slides

• Getting Started (PDF)
• The Language ACE (PDF)
• Paraphrasing ACE texts; ACE and Description Logics (PDF)
• Logical Background (PDF)
• Reasoning in ACE (PDF)

Exercises

• Exercises 1 (PDF)
• Exercises 2 (HTML)
• Exercises 3 (HTML)
• Exercises 4 (PDF)
• Exercises 5 (PDF)