Thomas A. Alspaugh
Protégé

Under construction.

This page applies specifically to Protégé 4.1.

What it is

A GUI for description logic, and specifically for ontologies in OWL. Originally it appears to have been oriented towards RDL, and perhaps some of the terminology that may seem confusing is left over from RDL.

Learning Protégé

The Manchester tutorial ... Baader ...

Property domains and ranges

You can specify domains and ranges of object properties, but they do not constrain the domains and ranges. Instead they are used as axioms from which to draw inferences.

Closedness

Classification is not complete for individuals

How to …

  1. Get back the tabs and views you started with:
    1. Get back the tabs you started with

      Windows | Views | Tabs, then select the tabs you think you started with.

    2. Get back the views you started with in a particular tab
      1. Select the tab
      2. Windows | Views | Tabs | Reset selected tab to default state
  2. Rename something

    The display name of a class is an annotation. To change it:

    1. Select the entity in the Classes tab Class Hierarchy view.
    2. Click the Annotations view.
    3. You should find its name as the value of the label annotation.
    4. Find the Annotate/Delete/Edit buttons to the right of the name. Click the Edit button Edit.
    5. Change the value to the new name and click the button.
  3. Create or delete a subclass

    There are three buttons at the top of the Class hierarchy view: The three buttons

    To create a subclass:

    1. Select the Classes tab.
    2. Select the Class hierarchy view in that tab.
    3. Select the parent class.
    4. Click the Add subclass button Add subclass.

    To create additional subclasses, it's easiest to create siblings:

    1. Select a child class.
    2. Click the Add slbling class button Add sibling class.

    To delete a class, select it and click the Delete selected classes button Delete selected classes.

  4. Create or delete an object property

    There are three buttons at the top of the Object property hierarchy view: The three buttons

    To create a property:

    1. Select the Object properties tab.
    2. Select the Object property hierarchy view in that tab.
    3. Select the parent property.
    4. Click the Add sub-property button Add subclass.

    To create additional sub-properties, it's easiest to create siblings:

    1. Select a child property.
    2. Click the Add slbling property button Add sibling class.

    To delete a property, select it and click the Delete selected properties button Delete selected classes.

  5. Set characteristics of an object property
    1. Select the Object properties tab.
    2. Select the object property P in question.
    3. Find the Characteristics pane.
    4. Choose the desired characteristics:
      • Functional: many-to-one.
      • Inverse functional: one-to-many
      • Transitive: if aPb and bPc then aPc
      • Symmetric: if aPb then bPa
      • Asymmetric: if aPb then not bPa
      • Reflexive: aPa
      • Irreflexive: It is not the case that aPa for any a
  6. Set relationships among subclasses:
    1. Make two or more (sub)classes disjoint
      1. Select the Classes tab.
      2. Select the Class hierarchy view in that tab.
      3. Select one of the classes.
      4. In the Description view, find the Disjoint classes circled plus subheading and click the circled plus.
      5. A new Class hierarchy box will appear. Select the class(es) with which the current class will be disjoint. If more than one is selected, all will be made disjoint. Click the button.
    2. Define a superclass to be the union of its subclasses
      (set up a covering axiom)

      Make it a subclass of the union (or) of the subclasses:

      1. Select the superclass in the Class Hierarchy view.
      2. In the Description view, find the Superclasses circled plus subheading and click the circled plus.
      3. A dialog box will appear. Select the Class hierarchy tab in this dialog box. Expand the hierarchy until you see the subclasses, select all of them, and click the button.

References

Baader+Nutt2003-bdl
Franz Baader and Werner Nutt. Basic description logics. In Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The description logic handbook: theory, implementation, and applications, pages 47–100, Cambridge University Press, 2003.
Horridge2011-pgbo
Matthew Horridge et al. A Practical Guide To Building OWL Ontologies Using Protégé 4 and CO-ODE Tools. University of Manchester, Mar. 2011.

flip bgunflip