Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] "add covered axiom" as used in tutorial

Chuck Paterson cp.protege at
Thu Nov 11 12:50:26 PST 2010

The tutorial "ProtegeOwlTutorialP4_v1_2.pdf" says in exercise 37 to:
1) SelectAmericanHotPizza
2) Select "Add covering axiom" from the "Edit" menu

However, this entry in Edit menu is grayed out

With google I found someone asking about much the same
thing but not explicitly with reference to the tutorial.
The answer then was that if it did not have sub classes
you could not do Add covering axiom. In the tutorial
there are clearly no subclasses at this point so I'm
wondering what is going on.

The release I'm running is

Any pointer will be much appreciated


More information about the protege-owl mailing list