Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] complement to partition individuals

Patrizia Asirelli Patrizia.Asirelli at isti.cnr.it
Thu Sep 21 08:07:09 PDT 2006


Ciao Massimo,
piacere mio

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?
>
> Saluti,
>
> Massimo
>
>
>
> 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
> https://mailman.stanford.edu/mailman/listinfo/protege-owl




More information about the protege-owl mailing list