Search Mailing List Archives
[p4-feedback] Modeling problem
nick.drummond at cs.manchester.ac.uk
Wed Apr 1 09:07:11 PDT 2009
You cannot state below with value restrictions.
Are you trying to assert about a specific provider or the class Provider?
Assuming that the cost really is a feature of a service...
A specific provider:
Or all the providers that provide a service for free:
Provider and isProviderOf some (Service and hasCost value free)
Both associate a service with a cost.
2009/3/31 Mathe Maema <g07m5064 at campus.ru.ac.za>
> Hi all,
> I am trying to assert that a provider offers a specific service for
> free. I have three classes, namely: Provider, Service and Cost.
> Basically I want something like:
> isProviderOf value counsellingService that hasCost value free.
> The problem is what I have clearly doesn't necessarily state associate
> the cost with service. Any ideas would be welcomed.
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the p4-feedback