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] Query: Subclasses or Sibling

Ronald Cornet r.cornet at
Tue Apr 3 02:21:05 PDT 2007

> I wonder if we have any Pizza developers ie. the Manchester 
> University gurus out there that cans shed some light on our queries.

I hope so!

> I am not sure if I fully understand item 2 of your request, 
> but when I build my ontology in Protege, weather a class is 
> primitive or complete I use the closure axiom (\forall) 
> across the properties that I want to restrict to certain 
> classes. In the Classes GUI on the left are a hierarchy of 
> classes and on the right you have property restrictions. 
> right click on a \exists property for example \exists 
> hasTopping XYX and then scroll to option for axiom closure.
> Has this answered your question?

No, I understand how to do this with classes, as you describe above.
I do not understand how to do this with instances.

So I instantiate a pizza, put some ingredients on it, and then want to express there aren't any other ingredients.


More information about the protege-owl mailing list