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 03:47:24 PDT 2006


Dear Massimo,

  According to your definitions Requisito_elementare includes  
Requisito and thus it also includes Requisito-composito this goes  
angainst the condition that Requisito_elementare and Requisito- 
composito are to be disjoint. This independently from the defintion

> Class(Requisito_elementare complete
>                                    unionOf(Requisito
>
> complementOf(Requisito_composito)))

which makes the definiton of Requisito_elementare ciclic since the  
complementOf(Requisito_composito) includes Requisito_elementare


.....

Patrizia Asirelli
ISTI Istituto di Scienza e Tecnologia dell'Informazione "Alessandro  
Faedo"
CNR
Via Moruzzi, 1 - 56124 Pisa - Italy
Tel. +39 050 315 2795; mobile: +39 348 8283127; fax: +39 050 315 2810
email: Patrizia.Asirelli at isti.cnr.it



On 19/set/06, at 18:08, Massimo Coletti wrote:

> Hi,
>
> I have a global class:
>
> Class(Requisito complete
>                         unionOf(Requisito_composito
>                                 Requisito_elementare))
>
> and two subclasses:
>
> Class(Requisito_composito complete
>                                   restriction(specifica-requisito
> someValuesFrom(Requisito)))
>
> SubClassOf(Requisito_composito Requisito)
>
> DisjointClasses(Requisito_composito Requisito_elementare)
>
> and
>
> Class(Requisito_elementare complete
>                                    unionOf(Requisito
>
> complementOf(Requisito_composito)))
>
> SubClassOf(Requisito_elementare Requisito)
>
> DisjointClasses(Requisito_elementare Requisito_composito)
>
> The  restriction on the second class (complementOf) makes the
> knowledgebase inconsistent (Pellet, RACER).
>
> What's wrong?
>
> 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