Highlights from the Protege tutorial

The quick start tutorial is nice, but if you want more detailed information you will need to see the pdf tutorial found here. This document is about 100 pages but can be used as a quick reference.

Most of your work can be done in the Entities tab. The quick start tutorial briefly mentions class restrictions. I give a brief description of some relevant class descriptions below and where to find out more information.

  1. Existential Quantification - You can describes classes that have at least one relationship along a specified property to an individual in another class. You can add an existential relationship in the Entities tab by clicking on a class or individual on the left hand side and finding Superclasses on the right hand side. Click on the plus sign by Superclasses and begin by typing in a property name followed by some and the name of a class or individual. For a more detailed overview, see pages 42-45 in the tutorial pdf linked above. Be aware that names in Protege are case sensitive.

  2. Universal Quantification - Also known as All values from relationships and similar to the for all universal quantification. Like existential quantification you can specify relationships along a specified property to members of another class using the keyword only. This does not specify the existence of a relationship but says that if a relationship were to exist then the relationship must conform to the given classes (page 63 in the tutorial). More information can be found on pages 62-66 in the tutorial pdf linked above.



    For the example above to work in Protege, I would also need to specify at least one of the following existential relationships:
  3. Other Restrictions - You can use the keywords not, min, max, and exactly as well. min, max, and exactly allow you to specify cardinality restrictions. You can find more details on pages 80-81 of the pdf tutorial.