Search Mailing List Archives
[p4-feedback] Modeling problem
maxoid at kg.ru
Thu Apr 2 01:16:43 PDT 2009
SubPropertyOf( PropertyChain( :provides :service ) :isProviderOf )
PropertyAssertion( :provides :ProviderX :Limit )
PropertyAssertion( :service :Limit :CounsellingService )
PropertyAssertion( :hasCost :Limit :Free )
this entails the assertion
PropertyAssertion( :isProviderOf :ProviderX :CounsellingService )
Limit here is an instance of additional class, that keeps information about
the cost of service for the Proveder and maybe some more ( amount, duration,
В ответ на Ваше письмо от Tuesday 31 March 2009 18:01:42:
> 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
More information about the p4-feedback