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

Timothy Redmond tredmond at
Fri Nov 12 10:37:20 PST 2010

This tutorial was written by the co-ode group which is no longer 
active.  Unfortunately the tutorial, which is quite good, has some 
errors in it.  There is an errata for the document that usually contains 
corrections for any issues in the document.

In this case, the "Add covering axiom" doesn't make sense for the 
AmericanHotPizza.  In order to use the "Add covering axiom" menu, you 
need a class with subclasses.  So for instance if you have a class hierarchy


then "Add covering axiom" will create the statement that

    A = B or C.


On 11/11/2010 12:50 PM, Chuck Paterson wrote:
> 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
> Thanks
> Chuck
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing: 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list