Search Mailing List Archives
[protege-owl] Query: Subclasses or Sibling
wfitzgerald at tssg.org
Tue Apr 3 02:32:25 PDT 2007
I would have thought that you wouldn't need to do this.
That is, you defined a class of anonymous individuals that have
relationships to other individuals of other classes. hence any instance
of a class then must comply with those class restrictions in order to be
so a Class RonaldPizza that has relationship restrictions as follows:
\exist hasTopping Cheese \sqcap
\exist hasTopping Tomato \sqcap
\forall hasTopping(Cheese \sqcup Tomato)
So RonaldPizza is restricted to having Cheese and Tomato and only those
toppings. if an instance or individual is a member of this class then it
must comply with those restrictions. And it complies with different
levels of compliance based on RoanldPizza been primitive or complete.
So an instance ronpizza1 of RonaldPizza when placed in your mouth must
only have a taste of tomato and cheese and nothing else.
Hence no need to close off instances per say.
Ronald Cornet wrote:
>> 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.
William M. Fitzgerald,
Telecommunications Software & Systems Group,
Waterford Institute of Technology,
Office Ph: +353 51 302937
Mobile Ph: +353 87 9527083
More information about the protege-owl