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

Massimo Coletti mailing.coletti at finnat.it
Tue Sep 19 09:08:14 PDT 2006


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.



More information about the protege-owl mailing list