Search Mailing List Archives
[protege-owl] Query: Subclasses or Sibling
r.cornet at amc.uva.nl
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