9th Protégé Conference, July 23-26 2006

Presentation:

• Article (short version)
• Article (long version)
• Slides

OWL Reasoning tutorial

• Slides
• Ontologies
  1. The initial one: pizza-owlReasoning.owl
  2. After combining concepts with AND, OR and NOT operators: pizza-owlReasoning-afterCombiningConcepts.owl
  3. After expressing constraints (existential, universal, cardinality and value): pizza-owlReasoning-afterExpressingConstraints.owl
  4. The named pizze have closures and are defined classes: pizza-owlReasoning-afterClosures.owl