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: 

     ObjectIntersectionOf( :Man :Parent )

- John is a father: 

 ClassAssertion( :Father :John )

- Jack is not a parent: 

       ObjectComplementOf( :Parent )
- 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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:30 UTC