Concept constructors

Dear Sirs,

I kindly ask to take into consideration the possibility to allow,  
among the propositional connectives involved in ClassExpression  
(ObjectIntersectionOf, ObjectUnionOf, and ObjectComplementOf), a  
conditional Concept expression
ObjectImplicationOf

ObjectImplicationOf(C D),

where C, D are ClassExrpessions

Under classical semantics, implication is just a macro in terms of  
union and negation,

ObjectImplicationOf(C D) is the same as  
ObjectUnionOf(ObjectComplementOf(C) D),

so is syntactic sugar.

This is, however not true in general in a "fuzzy OWL" setting and,  
thus, this kind of expressions cannot be represented in OWL 2.

Regards,

	-Umberto Straccia


           ---------------------------------------------------
          |   Umberto Straccia, PhD                           |
          |   ISTI                                            |
          |   Italian National Research Council               |
          |   Via G. Moruzzi,1                                |
          |   I-56124 Pisa (PI), ITALY                        |
          | ------------------------------------------------  |
          | WWW   : http://www.straccia.info                  |
          | E-mail: Umberto.Straccia@isti.cnr.it              |
        / ) Phone : +39.050.315 2894                          (\
       /  ) Fax   : +39.050.315 3464                          ( \
    _ (  (|___    ___________________________________________ )  )_
    (((\  \)  /  )                                    /  )  /  /)))
    (\\\\  \_/  /                                     \  \_/  ////)
     \         /                                       \         /
      \      _/                                         \_      /
-----/     /---------------------------------------------\     \--------
     /     /                                               \     \