W3C home > Mailing lists > Public > public-owl-comments@w3.org > April 2009

Concept constructors

From: Umberto Straccia <umberto.straccia@isti.cnr.it>
Date: Tue, 28 Apr 2009 10:57:54 +0200
To: public-owl-comments@w3.org
Cc: umberto straccia <straccia@isti.cnr.it>
Message-id: <3A15C84B-640C-470D-8775-0BBA3E120B81@isti.cnr.it>
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                          ( \
    _ (  (|___    ___________________________________________ )  )_
    (((\  \)  /  )                                    /  )  /  /)))
    (\\\\  \_/  /                                     \  \_/  ////)
     \         /                                       \         /
      \      _/                                         \_      /
-----/     /---------------------------------------------\     \--------
     /     /                                               \     \
Received on Tuesday, 28 April 2009 08:58:38 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 28 April 2009 08:58:38 GMT