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

OWL2 Primer Functional is inconsistent

From: Michael Wessel <wessel@racer-systems.com>
Date: Tue, 17 Nov 2009 13:04:36 +0100
To: public-owl-comments@w3.org
Cc: Thorsten Liebig <thorsten.liebig@uni-ulm.de>, Marko Luther <luther@docomolab-euro.com>, Olaf Noppens <Olaf.Noppens@uni-ulm.de>
Message-Id: <200911171304.36964.wessel@racer-systems.com>
Dear OWL2 Working Group, 

we (the "OWLlink working group") would kindly like to inform you that the 
current OWL2 Primer (in functional syntax) is inconsistent, due to the 
following axioms: 

- Fathers are Parents: 

  SubClassOf(
     :Father
     ObjectIntersectionOf( :Man :Parent )
   )

- John is a father: 

 ClassAssertion( :Father :John )

- Jack is not a parent: 

 ClassAssertion(
     ObjectIntersectionOf(
       :Person
       ObjectComplementOf( :Parent )
     )
     :Jack
   )
 
- Jack and John are the same individual: 

 SameIndividual( :John :Jack )

That is an obvious contradiction. 

It is very likely that this was not intended 
and we suggest to fix this. 


Best regards

Michael Wessel 
(for the OWLlink working group, 
 Thorsten Liebig, Olaf Noppens, Marko Luther, Michael Wessel) 

-- 
Racer Systems GmbH & Co. KG
Blumenau 50   | Tel.: +49 40/88306820
22089 Hamburg | Fax:  +49 40/88306821
Germany       | www.racer-systems.com
Received on Tuesday, 17 November 2009 12:06:29 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 17 November 2009 12:06:29 GMT