Task: Class Definition Understanding (ontology: Legal/LKIF_Core_Ontology)

Which of the following definitions best describes 'Prohibition'?

A. the concept obliges/allows thing(s), to which therefore the predication Obliged applies, and disallows thing(s), to which therefore the predication Disallowed applies. The union of the thing(s) allowed and the thing(s) disallowed is qualified by the the concept. The things allowed and disallowed by the the concept are disjoint (and completely partition the space of things qualified). If S then O(A) means that S is qualified, S and A is obliged/allowed, and S and not A is disallowed. If S then F(A) means that S is qualified, S and A is disallowed, and S and not A is obliged/allowed. The difference between Obligation and the concept is in which part of the partition of the qualified space is explicitly described by the normative statement. Alternative label: directive
B. A the concept is the legal or moral entitlement to do or refrain from doing something or to obtain or refrain from obtaining an action, thing or recogition in civil society.
C. An the concept is used in cases where the law aims at enabling some agent to produce an effect in a particular way.
D. A legal the concept asserts that something is good or bad, is a value to be optimised or an evil to be minimised (for example “human dignity is value”, “participation ought to be promoted”);

Answer: the concept obliges/allows thing(s), to which therefore the predication Obliged applies, and disallows thing(s), to which therefore the predication Disallowed applies. The union of the thing(s) allowed and the thing(s) disallowed is qualified by the the concept. The things allowed and disallowed by the the concept are disjoint (and completely partition the space of things qualified). If S then O(A) means that S is qualified, S and A is obliged/allowed, and S and not A is disallowed. If S then F(A) means that S is qualified, S and A is disallowed, and S and not A is obliged/allowed. The difference between Obligation and the concept is in which part of the partition of the qualified space is explicitly described by the normative statement. Alternative label: directive