Search Mailing List Archives
[protege-owl] complement to partition individuals
Patrizia.Asirelli at isti.cnr.it
Thu Sep 21 08:07:09 PDT 2006
On 21/set/06, at 16:26, Massimo Coletti wrote:
> mmh. Requisito_elementare is a subclass of Requisito - i.e. has
> Requisito as necessary condition. In my understanding, this means that
> all the individuals of Requisito_elementare are also individuals of
> Requisito, but not the contrary.
YES, but given that later you also define Requisito_elementare as
the union of Requisito and something else
this means that Requisito-elementare also includes Requisito-
composito which contradict the disjoint condition...
> Have I misunderstood the specifications?
> This e-mail and any attachments may contain confidential and
> privileged information. If you are not the intended recipient,
> please notify the sender immediately by return e-mail, delete this
> e-mail and destroy any copies. Any dissemination or use of this
> information by a person other than the intended recipient is
> unauthorized and may be illegal.
> protege-owl mailing list
> protege-owl at lists.stanford.edu
More information about the protege-owl