- From: Pavel Klinov <klinovp@cs.man.ac.uk>
- Date: 13 May 2009 21:40:27 +0100
- To: Cédric Thiébault <cedric.thiebault@gmail.com>
- Cc: public-owl-dev@w3.org
Hello, Cédric Thiébault wrote: > Hi, > [snip] > > > When I create an individual :Pizza_mozzarella and add a property > :hasTopping on :Mozzarella individual, I can work with the inverse > property on the topping and I see that :Mozzarella :isToppingOf > :Pizza_mozzarella. It works great with individual. > > But when I try to do the same test with classes: > :Pizza_mozzarella_class :hasTopping some :Mozzarella_class > > But I cannot use the inverse property: :Mozzarella_class does not know > anything about :Pizza_mozzarella_class. > > Is this normal ? Yes. Notice that you are not making any claim here about Mozzarella_class in general. You're only saying that all instances of Pizza_mozzarella_class are related to *some* instance of Mozzarella_class. Imagine a model in which there are 10,000 mozarrellas and only one of them is used as a topping on all pizzas (it would be a satisfying model). Would you want to be able to conclude something general about 9,999 mozarellas basing on only one instance? > Are inverse properties usable only on individuals ? Well, it depends on what you mean by "using". For example, you can define a class (and an instance) of pizzas which has *all* instances of Mozzarella as toppings (although it's not that trivial). Then, of course, you'll be able to infer that :Mozzarella_class :isToppingOf some :that_weird_pizza_class. Cheers, Pavel > > Thanks for your help :-) > > Cedric > >
Received on Wednesday, 13 May 2009 21:19:35 UTC