Search Mailing List Archives
[protege-owl] "add covered axiom" as used in tutorial
tredmond at stanford.edu
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 protege-4.1-beta.213.zip
> Any pointer will be much appreciated
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl