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 UTC