As a simple prototype we take the example of a company
(A Co) that provides a service (Service B) to a customer
(C). The provision in the license is that the term is
for one year, and during the subscription period only 500
concurrent users are permitted, and during the subscription
period there can be a maximum of 500,000 transactions. If
any constraint is exceeded, then the system must consult the
policy for customer C that determines what action is to be
taken. The conditions lead to the creation of a group of ontology
tuples. Instances of domain and task concepts are
created and related to each other. The example gives these
statements: